C++にrestrict（制限）修飾子は存在しない？その理由と最適化への活用方法

C++の言語仕様に「restrict」キーワードはない

結論から言うと、C++には「restrict」というキーワードは存在しません。C++の予約語（キーワード）の一覧は、C++言語規格のセクション2.11/1に定義されていますが、そこにrestrictは含まれていません。restrictはC99で導入されたC言語のキーワードであり、C++の標準規格には採用されていないのです。

restrict修飾子とは何か

C言語において、restrict修飾されたポインタ（または参照）とは、コンパイラに対する一種の「約束」です。具体的には、そのポインタが有効なスコープ内では、ポインタが指す対象のオブジェクトには、そのポインタ自身、およびそこからコピーされたポインタを通じてのみアクセスする、と開発者が保証することを意味します。

この約束によって、コンパイラはエイリアシング（複数の異なるポインタが同じメモリ領域を参照すること）の可能性を排除できます。その結果、命令の並べ替えやベクトル化といった、より積極的な最適化が可能になり、パフォーマンスの向上が期待できます。

C++コンパイラにおける扱い

多くの主要なC++コンパイラも、最適化の目的でこのセマンティクスをサポートしています。たとえば、GCCやClangでは「__restrict__」または「__restrict」、MSVCでは「__restrict」という拡張キーワードが用意されています。これらを使えば、C++でもrestrictと同等の最適化ヒントをコンパイラに与えることが可能です。

ただし、これらはあくまで各コンパイラの独自拡張であり、公式のC++言語仕様の一部ではないという点には注意が必要です。移植性を重視するコードでは、その使用可否を検討した上で導入するのがよいでしょう。

まとめ

restrictはC99由来のキーワードであり、C++の標準には存在しません。しかし、その意味論自体は多くのC++コンパイラが最適化目的でサポートしており、「__restrict」などの拡張キーワードを通じて活用することができます。標準機能ではないことを理解した上で、パフォーマンスが重要な場面で選択肢の一つとして検討するとよいでしょう。