C 未定義動作（Undefined behavior）

C言語において、"undefined behavior"（未定義動作）プログラムの動作がC言語標準で明確に定義されておらず、どのような結果にもなり得ることを指します。

つまり、プログラムが未定義動作を起こした場合、プログラムのクラッシュ、データ破損、セキュリティホール、さらには正常に動作しているように見えることなど、予測不可能な結果を引き起こす可能性があります。

未定義動作はプログラムの正確性と安全性に関わるため、C言語において重要な概念です。

以下は、未定義動作を引き起こす可能性のある一般的な状況です：

配列の範囲外の要素、つまり配列の0番目の要素より前や配列の長さを超えた要素にアクセスしようとすると、コンパイラはアクセスしたメモリ領域に何が格納されているかを判断できないため、未定義動作を引き起こします。例えば：

int arr[3] = {1, 2, 3};
printf("%d\n", arr[5]); // 越界访问，结果未定义

ヌルポインタに対して参照外しを行おうとすると、コンパイラはアクセスするメモリ領域に格納されている内容を判断できないため、未定義動作を引き起こします。例えば：

int *ptr = NULL;
printf("%d\n", *ptr); // 解引用空指针，结果未定义

初期化されていないローカル変数を使用すると、その値は未定義であるため、未定義動作を引き起こします。例えば：

int x;
printf("%d\n", x); // x 未初始化，结果未定义

浮動小数点数をゼロで除算しようとすると、結果は未定義になります。例えば：

float x = 1.0;
float y = x / 0.0; // 浮点数除以零，结果未定义

整数をゼロで除算しようとすると、結果は未定義になります。例えば：

int x = 10;
int y = x / 0; // 整数除以零，结果未定义

整数演算の結果が整数型で表現できる範囲を超えた場合、結果は未定義になります。例えば：

signed char x = 127;
x = x + 1; // signed char 溢出，结果未定义

シフト演算を実行する際、シフトするビット数がオペランドのビット数以上の場合、結果は未定義になります。例えば：

int x = 1;
int y = x << 32; // 位移操作数太大，结果未定义

安全でない型変換を行うと、結果は未定義になります。例えば：

int *ptr = (int *)malloc(sizeof(int));
float *fptr = (float *)ptr; // 错误的类型转换，结果未定义

解放済みまたは未割り当てのメモリにデータを書き込むと、結果は未定義になります。例えば：

int *ptr = (int *)malloc(sizeof(int));
free(ptr);
*ptr = 10; // 内存越界，结果未定义

例えば、2つのNaN（非数）値が等しいかどうかを比較することは、未定義動作です。例えば：

float x = sqrt(-1);
float y = sqrt(-1);
if (x == y) {
    printf("NaN values are equal\n");
}

他にもいくつかの未定義動作があります：

未定義の浮動小数点数の特性を使用する：浮動小数点数の精度や丸め動作など、特定のハードウェアや実装に依存する浮動小数点数の動作に依存すること。
関数の引数の数の不一致：関数呼び出し時に提供する引数の数が関数定義と一致しない場合。例えばprintf("%s %d", "Name")。
文字列リテラルの変更：文字列リテラルの内容を変更しようとすること。例えばchar *str = "Hello"; str[0] = 'h';。
未定義のプログラム状態の使用：グローバル変数の初期値など、未定義のプログラム状態に依存すること。
厳密な構文規則への違反：宣言されていない識別子の使用など、C言語の厳密な構文規則に違反すること。
マルチスレッドにおける競合状態：マルチスレッド環境では、同期されていない共有リソースへのアクセスが未定義動作を引き起こす可能性があります。
未定義の標準ライブラリ関数の動作を使用する：特定の条件下での標準ライブラリ関数の動作は未定義の場合があります。例えば、fscanf() が入力を何もマッチしなかった場合の動作などです。

これらはすべてプログラミング中に避けるべき状況です。異なる環境でプログラムが不確定な動作を引き起こし、コードの移植性を損ない、プログラムのエラーにつながる可能性があるからです。

未定義動作を避けるために、開発プロセスでは以下が必要です：

C言語標準を注意深く読み、遵守すること：どの操作が未定義動作を引き起こす可能性があるかを理解し、それらの操作を避けること。
静的解析ツールを使用すること：これらのツールは潜在的な未定義動作を検出するのに役立ちます。
徹底的なテストを実施すること：プログラムのさまざまな実行経路をテストし、あらゆる状況でプログラムが正しく動作することを確認すること。
未定義動作に依存しないこと：未定義動作が特定の結果を生むと想定しないこと。
安全な関数とライブラリを使用すること：標準ライブラリが提供する明確に定義された関数を使用し、未定義動作を引き起こす可能性のある非標準または安全でない関数の使用を避けること。

未定義動作はC言語において複雑で危険な概念であり、開発者にC言語の規則に対する深い理解と、それを回避するための適切な対策を求めます。ベストプラクティスに従い、適切なツールを使用することで、未定義動作のリスクを最小限に抑え、プログラムの信頼性と安全性を高めることができます。

その他の拡張

C 標準ライブラリ