不定である

(*1)ポインタを含む変換として, このsectionでは

• "整数型 (+ or -) ポインタ"のときの"整数 -> オフセット"の変換
• "一つの配列の中のオブジェクトを指す, 二つのポインタの間の減算" のときの, "結果 -> オブジェクト間の距離"の変換
• "整数0 -> 任意の型のポインタ"の変換. ヌルポインタになる.
• "void* -> 任意の型のポインタ"の変換.

(*2) char型のオブジェクトでは, 厳密な整合の要求はもっとも少ない. ポインタをvoid*に変換して, そこから変更なしに戻すことも可能.

A7 - 式

• 演算子の優先順位と結合規則は完全に指定されているが, 式の評価順序は, 部分式が副作用を伴うものであっても, 例外を除き定義されていない.
• オーバーフロー, 除算のチェック, 他の例外の処理は, この言語では定義されてない.
• Cの既存のコンパイラの大部分では, 符号付き整数の式の評価および代入におけるオーバーフローは無視されるが, その振る舞いは保証されない.
• 0での除算と浮動小数点演算でのすべての例外の扱いは処理系によって異なり, 非標準のライブラリ関数によって調整可能なこともある.

A7.3.2 - 関数呼び出し

仮引数に型を明示しないスタイル. ちなみに, gcc-2.95.3では

/* Test of old style function declaration */
#include 

/* Old style declaration */
int f(x, y);

int main(int argc, char** argv)
{
  printf("Calling f\n");
  f("Hello", 4, 5);
  return 0;
}

int f(int x, int y)
{
  printf("f was called\n");
  printf("%d\n", x + 3);
  return 0;
}

A7.4.8 - sizeof演算子

• sizeofの結果は符号なし整数定数となる. どの整数型であるかは処理系による. <stddef.h>では, この型はsize_tと定義されている.

A7.6 - 乗法演算子

• 商を求めるとき(/), 余りを求めるとき(%), 第2の被演算数が0のとき, 結果は不定となる.
• 両方の被演算数が非負であれば, 余りは非負で, 割る数より小さい. そうでなければ, 余りの絶対値が割る数の絶対値より小さいことのみが保証される.

A7.7 - 加法演算子

じゃあ, Pが配列の最後から一つ前の要素を指すときの(P + 2) - Pは?

A7.8 - シフト演算子

• シフト演算子で, 右の被演算数が負であったり, 左側の式の型のビット長以上であった場合は, 結果は不定となる.
• 右シフトE1 >> E2で, E1がunsignedか負でない値を持つときには, 結果は2^E2に等しくなるが, そうでなければ結果は不定.

A7.9 - 関係演算子

• ポインタの比較は,
  • 二つのポインタが同じ単純なオブジェクトを指す場合は, 等しい
  • 同じ構造体のメンバを指す場合は, 後の方で宣言されているメンバへのポインタの方が大きい
  • 同じ共用体のメンバを指すときは, 等しい.
  • 同じ配列の要素を参照するときには, 対応する添字の比較と同じ. ただし, Pが配列の最後の要素を指すものであれば, P + 1がたとえ外側を指していても, P + 1はPより大きい.
  というルールによって行われ, 上記のいずれにも当てはまらない場合は, 定義されない.

A8.2 - 型指定子

• volatileオブジェクトについては, 処理系に依存しない意味付けは行われていない.

A8.3 - 構造体と共用体の宣言

• ビットフィールド(構造体や共用体の中で, そのメンバに使用するビット数が 指定されたメンバ)は型int, unsigned int, signed intのいずれかを持つが, intのフィールドが符号つきとして扱われるかどうかは処理系次第である.
• 構造体中の隣接するビットフィールドのメンバは, 処理系依存のメモリ単位に, 処理系依存の方向へパックされる.

K&Rには, 注として「ビットフィールドを格納するためのこの言語規則は 無条件に"処理系依存"と読むことをおすすめする」とか「この方法は, メモリのレイアウトをビットレベルで記述する移植不可能な方法として 使うことができる」とか書かれている.

A8.7 - 初期化

• 明示的に初期化されない自動(auto)オブジェクトの初期値は, 不定である.

A10.2 - 外部宣言

• 処理系によっては, 仮の定義(externを含まない外部的なオブジェクト宣言)という考えを 一般化して, これをゆるくしているものもある. UNIXシステムで一般的になっていて, ANSI標準でも共通の拡張として認められているもう一つの別の形式化においては, 外部的にリンクされたオブジェクトに対する仮の定義はすべて, 各翻訳単位で別個にではなく, 一緒にして考える. プログラムのどこかで 定義が行われると, 仮の定義は単に宣言となるが, 定義が出てこないと, 仮の定義はすべて, 初期値式が0の単一の定義となる. (TODO: 何のこっちゃ)

A12 - 前処理(プリプロセッサ)

• スペースおよび水平タブ以外の空白文字の効果は, プリプロセッサ行の中では不定である.

A12.3 - マクロの定義と展開

たとえば

#define cat(x, y) x ## y

cat(cat(1, 2), 3)

A12.4 - ファイルの包含

• #include <...>
  

  で, ファイル名のところに", ', \, \*のいずれかが含まれていると, その効果は不定である.

• #include "..."
  

  で, ファイル名の中に', \, \*のいずれかが含まれていると, その効果は不定である.
• 上の二つにマッチしない

  #include ...
  

  という形は, 結果として<...>か"..."のうち一つが生成され, それが上に書いたように扱われる.

A12.8 - プラグマ

• #pragma ...
  

  は, 処理系に依存する行動をプリプロセッサにとらせるためのものである. 認識できないプラグマは無視される.