C++にrestrictキーワードは存在しない？意味と代替手段を解説

C++に「restrict」キーワードは存在しない

まず結論から述べると、C++には「restrict」というキーワードは存在しません。C++言語のキーワード一覧は、C++標準規格のセクション2.11/1に定義されており、そこに「restrict」は含まれていません。

一方、「restrict」はC99以降のC言語で導入されたキーワードです。つまり、このキーワードはC言語特有のものであり、C++の公式な言語仕様には採用されていないのです。

C言語におけるrestrict修飾子の意味

C言語において、restrict修飾子が付いたポインタ（または参照）は、コンパイラに対する一種の「約束」を表します。具体的には、以下のような意味を持ちます。

• そのポインタが有効なスコープ内において、ポインタが指す対象のデータには、そのポインタ（およびそこからコピーされたポインタ）を通してのみアクセスする
• 他のポインタが同じメモリ領域を指すことはない（エイリアシングが発生しない）

この約束により、コンパイラは「複数のポインタが同じメモリを参照している可能性」を考慮する必要がなくなります。その結果、命令の並べ替えやループの最適化などを積極的に行えるようになり、実行速度の大幅な向上が期待できます。

restrictが有効な典型例：配列演算

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

上記のように3つのポインタが互いに別の領域を指していることを保証できれば、コンパイラは各ループ処理を効率的にベクトル化できます。

C++でrestrict相当の機能を使う方法

C++の標準仕様には含まれていませんが、多くの主要コンパイラは最適化の目的で同等の機能を拡張としてサポートしています。

• GCC / Clang：__restrict__ または __restrict
• MSVC：__restrict

これらの拡張キーワードを使用すれば、C++でもC言語のrestrictと同様の最適化ヒントをコンパイラに与えることが可能です。ただし、あくまで非標準の拡張機能であるため、移植性を重視するコードでは注意が必要です。

まとめ

「restrict」はC99で導入されたC言語のキーワードであり、C++の標準仕様には存在しません。しかし、その概念自体はポインタのエイリアシングを排除して最適化を促進するための強力な手段です。C++ではGCC・Clang・MSVCが提供する__restrict__/__restrictなどの拡張機能によって、同等の効果を実現できます。パフォーマンスが重要な数値計算や画像処理などの分野では、ぜひ活用を検討してみてください。