E.10 Cの整数型

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

• 任意の制限の使用を避ける。たとえばsの長さをintの範囲に収めることが要求されるのでなければint len = strlen (s);を使用しないこと。
• 符号付き整数の算術演算のオーバーフローのラップアラウンドを前提としてはならない。Emacsのポート対象先によっては成立しない。実際には符号付き整数のオーバーフローは未定義であり、コアダンプや早晩に非論理的な振る舞いさえ起こし得る。符号なし整数のオーバーフローは2のべき乗の剰余に確実にラップアラウンドされることが保証されている。
• 符号なしタイプと符号付きタイプを組み合わせるとコードが混乱するので符号なしタイプより符号付きタイプを優先すること。他のガイドラインの多くはタイプが符号付きだとみなしている。符号なしタイプを要する稀なケースでは、符号付きの符号なし版(ptrdiff_tのかわりにsize_t、intptr_tのかわりにuintptr_t)にたいして同様のアドバイスを適用できる。
• 0から0x3FFFFFまでの範囲ではEmacs文字コードにはintを優先すること。より一般的には、たとえばスクリーン列数のようにint範囲と既知である整数にはintを優先すること。
• サイズ(たとえばすべての個別のCオブジェクトの最大サイズや、すべてのC配列の最大要素数にバインドされる整数)にたいしてはptrdiff_tを優先すること。これは符号付きタイプにたいするEmacsの一般的な優先事項である。ptrdiff_tの使用によりオブジェクトはPTRDIFF_MAXに制限されるが、より大きいオブジェクトはポインター減算を破壊するかもしれず結局のところ問題を起こす可能性があるので、これは一方的に制限を課すものではない。
• ssize_t関連の制限をもつ低レベルAPIト対話する際を除いてssize_tを避けること。これは典型的なプラトフォームではptrdiff_tと等価だとしても、ssize_tは範囲が狭いときがあり使用によりサイズ関連の計算がオーバーフローするかもしれない。同じくptrdiff_tはより一般的で標準化されており、標準的なprintfフォーマットをもち、Emacsの内部的なサイズオーバーフローのチェックの基礎である。ssize_tを使用する際にはPOSIXガ-からSSIZE_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の代替実装の制限を尊重すること。特にブーリーンのビットフィールドはboolではなくbool_bfタイプであること。そうすれば標準のGCCでObjective Cをコンパイルするときでさえ正しく機能する。
• ビットフィールドではintは可搬性に劣るので、intよりunsigned intかsigned intを優先すること。単一ビットのビットフィールドの値は0か1なのでunsigned intかbool_bfを使用すること。