errnoを常に正と仮定するのは安全ですか？

Question

私は、使用されているライブラリ関数のほとんどがエラー時に-1を返し、errnoをに設定したプログラムを書いています。プログラムの動作は、エラーが発生した場合に終了するようなものです。正確な出口点とプログラム（gdbを使用する例）外部からの誤差を決定するために、私は次のメソッドを使用します：

err = func_1(..arglist_1..); 
if(err != 0) 
{ 
    perror("func(..arglist..)"); 
    return ((1u << 8) | errno); 
} 
//.. 
//.. some more funcs 
//.. 
err = func_n(..arglist_n..); 
if(err != 0) 
{ 
    perror("func(..arglist_n..)"); 
    return (((unsigned)n << 8) | errno); 
} 

をここでの問題は安全な仮定です。

現実：のerrnoが常に正である：のerrnoの値は常に未満255
仮定2：errnoにはextern int errno;
errno.h内部仮定1として宣言されます。

errno.hで定義されているすべてのエラー定数（EAGAINなど）に基づいて、これらの仮定は現在真です。これらは将来も真実であると仮定できますか？

P .:私はperror()に依存して終了点を決定したくありません。

Answer 1

プログラムの終了ステータスは0..255に制限されているため、これらの戻りステートメントがmain()プログラムからのものである場合、上位ビットは関係ありません。 int型とローカルストレージ 期間スレッドた

errno
変更左辺^{201に展開される）}：

C標準（ISO/IEC 9899：2011§7.5エラー<errno.h>）と言いますその値はいくつかのライブラリ関数によって正のエラー数に設定されます。

マクロerrnoは、オブジェクトの識別子である必要はありません。関数呼び出しの結果として変更可能な左辺値 に展開される可能性があります（たとえば、*errno()）。

C規格では、エラーが正であると想定しています。 POSIX（IEEE STD 1003.1 2013年版）<errno.h>に対する状態：

<errno.h>ヘッダタイプintと定数式を整数に展開しなければならない以下のマクロを定義し、（下記のよう除く）異なる正の値、及びそのなければなりません#if前処理指令で使用するのに適したものでなければならない：...だから

、あなたは合理的に安全にエラー番号が正であること（生成システム）を想定することができますが、あなたのコードは、負errno（またはゼロ）を設定することができます。現時点では、POSIXシステムでは200以下のエラー番号は生成されません。したがって、255に制限されていると仮定すると、短期間では安全ですが、おそらく長期間は安全ではありません。彼らがそのように限られているべき理由はありません。

主張している「現実」は、スレッド化されていないプログラムにのみ適用されます。スレッドサポートのためにコンパイルする場合は、errnoは単にextern int errno;と宣言されておらず、いかなる場合でもerrnoを宣言してください。 を宣言する安全な方法は、<errno.h>ヘッダーを使用することです。