C言語のrestrictキーワードとは？ポインタ最適化の基本と注意点を解説

この記事では、C言語におけるrestrictキーワードについて詳しく解説します。restrictはC99規格で初めて導入されたキーワードで、ポインタを扱う際にコンパイラへ重要なヒントを与えるために使われます。それでは、その実際の役割と使い方を見ていきましょう。

• restrictキーワードは、ポインタ宣言時に型修飾子として使用されます。

• このキーワード自体は新しい機能を追加するものではありません。プログラマが「特定の最適化を行っても安全である」ことをコンパイラに伝えるためのものです。

• restrictをポインタに付けると、コンパイラに対して「このポインタは、その指す先のオブジェクトへアクセスする唯一の手段である」と伝えることになります。その結果、コンパイラは余分なチェックや保守的なコード生成を省き、より効率的なマシンコードを出力できます。

• ただし、プログラマがこの約束に違反するコードを書いた場合、プログラムの動作は未定義（undefined behavior）となります。非常に危険な落とし穴なので注意が必要です。

サンプルコード

#include <stdio.h>

void my_function(int* x, int* y, int* restrict z) {
    *x += *z;
    *y += *z;
}

int main(void) {
    int x = 10, y = 20, z = 30;
    my_function(&x, &y, &z);
    printf("%d %d %d", x, y, z);
    return 0;
}

実行結果

40 50 30

コードの解説

この例では、第3引数のポインタzにrestrictが付いています。これは「zが指すオブジェクトには、他のポインタ（ここではxやy）からはアクセスしない」という保証を意味します。

この保証があるため、コンパイラは*x += *z;と*y += *z;という2つの加算処理が互いに影響し合わないと判断でき、命令の並べ替えやメモリアクセスの削減といった最適化を積極的に行えます。実際、この関数はxに30を加算して40、yに30を加算して50となり、実行結果は40 50 30になります。

もしrestrictを付けたポインタと同じデータを別のポインタ経由で書き換えた場合、コンパイラの最適化と実際の動作が食い違い、予測不能な結果を招く可能性があります。restrictを使う際は、必ずこの制約を守るようにしましょう。