E.8 Cの整数型

以下はEmacsのCソースコード内で整数タイプを使用する際のガイドラインです。これらのガイドラインはときに相反するアドバイスを与えることがありますが一般的な常識に沿ったものがアドバイスです。

• 任意の制限の使用を避ける。たとえばsの長さをintの範囲に収めることが要求されるのでなければint len = strlen (s);を使用しないこと。
• 符号付き整数の算術演算のオーバーフローのラップアラウンドを前提としてはならない。Emacsのポート対象先によっては、これは成り立たない。実際には、符号付き整数のオーバーフローは未定義であり、コアダンプや、早晩に“非論理的”な振る舞いさえ起こし得る。符号なし整数のオーバーフローは、2のべき乗の剰余に確実にラップアラウンドされることが保証されています。
• 符号なしタイプと符号付きタイプを組み合わせるとコードが混乱するので符号なしタイプより符号付きタイプを優先すること。他のガイドラインの多くはタイプが符号付きだとみなしている。符号なしタイプを要する稀なケースでは、符号付きの符号なし版(ptrdiff_tのかわりにsize_t、intptr_tのかわりにuintptr_t)にたいして同様のアドバイスを適用できる。
• Emacsの文字コードでは、0から0x3FFFFFを優先すること。
• サイズ(たとえばすべての個別のCオブジェクトの最大サイズや、すべてのC配列の最大要素数にバインドされる整数)にたいしてはptrdiff_tを優先すること。これは符号付きタイプにたいするEmacsの一般的な優先事項である。ptrdiff_tの使用によりオブジェクトはPTRDIFF_MAXに制限されるが、より大きいオブジェクトはポインター減算を破壊するかもしれず結局のところ問題を起こす可能性があるので、これは一方的に制限を課すものではない。
• ポインターの内部表現や与えられた任意のタイミングで存在可能なオブジェクト数や割り当て可能な総バイト数にのみバインドされる整数にはintptr_tを優先すること。現在のことこEmacsはintptr_tを使用したほうがよいときに別のタイプを使用する場合がある。現在のEmacsのカレント移植先にたいして未修正でコードが動作するので修正の優先度は低い。
• Emacs Lispのfixnumへの変換や逆変換を表す値ではfixnum演算がEMACS_INTにもとづくのでEmacsで定義されたタイプEMACS_INTを優先すること。
• (ファイルサイズやエポック以降の経過秒数等の)システム値を表す際には、(off_tやtime_t等の)システムタイプを優先すること。安全だと解っていなければシステムタイプが符号付きだと仮定してはならない。たとえばoff_tは常に符号付きだがtime_tは符号付きである必要はない。
• printf族の関数を使用してプリントされ得る任意の符号付き整数かもしれない値を表す場合にはEmacsの定義タイプprintmax_tを優先すること。
• 任意の符号付き整数かもしれない値を表す場合にはintmax_tを優先すること。
• ブーリーンにはbool、false、trueを使用すること。boolの使用によりプログラムの可読性が増し、intを使用するより若干高速になる。int、0、1を使用しても大丈夫だが、この旧スタイルは段階的に廃止される。boolを使用する際には、ソースファイルlib/stdbool.in.hに文書化されているboolの代替実装の制限を尊重すれば、C99以前のプラットフォームにたいするEmacsの可搬性か保たれる。特にブーリーンのビットフィールドはboolではなく、bool_bfタイプであること。そうすれば標準のGCCでObjective Cをコンパイルするときでさえ、正しく機能する。
• ビットフィールドではintは可搬性に劣るので、intよりunsigned intかsigned intを優先すること。単一ビットのビットフィールドの値は0か1なのでunsigned intかbool_bfを使用すること。