回答

キーワード restrict は、C99標準で導入されたポインタ用の仕様子です。これは、ポインタがポインタのスコープ内でメモリオブジェクトにアクセスする唯一の方法であることをコンパイラに知らせます。これにより、特に大きなバッファーで作業する際に、最適化がより効率的な機械コードを生成するのに大いに役立ちます。

例えば:

void vector_add(int * restrict a, int * restrict b, int * restrict c, size_t n) {
    for (size_t i = 0; i < n; ++i)
        c[i] = a[i] + b[i];
}

ここでは、配列 a、b、および c が重複しないと仮定されています。この要件を破ると未定義の動作および追跡が難しいエラーが発生します。

restrictの使用は、他のポインタや副次的な経路が同じメモリを指さないことが確実である場合にのみ推奨されます。

トリッキーな質問

同じメモリの値を二つのrestrictポインタを通じて同時に見ることはできますか？

回答:

いいえ、これは未定義の動作に繋がります。コンパイラが二つ目のポインタを介して行われた変更を考慮する保証はありません。例えば、以下のような致命的に間違ったコードがあります:

void f(int * restrict x, int * restrict y) {
    x[0] = 1;
    y[0] = 2;
}

int main() {
    int v;
    f(&v, &v); // restrict条件の違反
}

このトピックの詳細な知識がないことによる実際の誤りの例

---

物語

財務計算のコアで、最適化を行った配列にrestrictを追加しましたが、配列がビジネスロジックの一部の要件により重複する可能性があることを考慮しませんでした。これにより、誤ったバランス計算が引き起こされました。

---

物語

行列のバッチ乗算メソッドは、restrictを適用した後に速度が向上しましたが、あるイテレーションで結果の配列が入力配列の一つと重複してしまい、結果は予測不可能になり、バグは負荷テストによってのみ見つかりました。

---

物語

画像処理関数の一つで、同じバッファの部分に対して二つのポインタが誤ってrestrict付きで宣言されました。コンパイラとその最適化が更新された後、画像処理の結果が急に歪んだ — 理由は、コンパイラがキャッシュを積極的に再利用し、変更を無視したからです。