C言語で厳密なエイリアシング（strict aliasing）が必要な理由とは？

はじめに

C言語のプログラミングにおいて、「厳密なエイリアシング（strict aliasing）」の概念は非常に重要です。この記事では、なぜ厳密なエイリアシングを意識する必要があるのかを、実際のコード例を通じて解説します。まずは次のコードを見て、その出力結果を分析してみましょう。

コード例

#include<stdio.h>
int temp = 5;
int* var = &temp;
int my_function(double* var) {
    temp = 1;
    *var = 5.10; //ここでtempの値が書き換えられる
    return (temp);
}
main() {
    printf("%d", my_function((double*)&temp));
}

出力結果

1717986918

一見すると、my_function を呼び出せば戻り値として 1 が返されるはずです。関数内では最初に temp に 1 を代入し、その後ポインタ経由で値を書き換えていますが、最後に return (temp) としているためです。しかし実際の出力を見ると、まったく異なる値「1717986918」が返されています。

この問題の原因は、int 型変数 temp のアドレスを double 型ポインタにキャストしてアクセスしている点にあります。C言語では「厳密なエイリアシング規則」により、異なる型のオブジェクト同士が同じメモリ領域を共有しない（エイリアスしない）ことがコンパイラに保証されています。コンパイラはこの前提のもとで最適化を行うため、double 型ポインタ経由の書き込みが int 型変数 temp に影響を与えないと判断され、予期しない動作（未定義動作）を引き起こすのです。

厳密なエイリアシング規則とは

厳密なエイリアシング規則とは、互換性のない型のポインタを使って同じオブジェクトへアクセスすることを禁じるC言語の規則です。ただし、char 型・signed char 型・unsigned char 型のポインタは、任意のオブジェクトにアクセスできる例外的な存在とされています。この規則があることで、コンパイラはより積極的で効率的な最適化を行うことが可能になります。

問題を回避するには

異なる型のデータを同じメモリ領域で扱いたい場合は、以下のような方法が推奨されます。

• 共用体（union）を使用する
• memcpy 関数を使ってバイト単位でコピーする
• char 型ポインタ経由でアクセスする

また、restrict 修飾子を使えば、「あるポインタが指すオブジェクトが他のポインタとエイリアスしていないこと」をコンパイラに対して約束できます。これによりさらなる最適化が期待できますが、この約束を破った場合の動作は保証されないため、慎重な使用が必要です。

このように、厳密なエイリアシングを正しく理解することは、最適化が有効な環境下でも安全かつ予測可能なC言語プログラムを書くために不可欠なのです。