17.3. restrict

　restrict は C99 より導入された新しい型修飾子です。その文法は次の通りです。

• restrict修飾型ポインタによってアクセスされるオブジェクトは，そのオブジェクトへのアクセスがすべてそのポインタに限定される。[C99, 6.7.3, 7]

ポインタとオブジェクトへのアクセスが１対１対応になるということです。これは malloc によって返却されたポインタとオブジェクトの関係と同じように，他のオブジェクトとポインタに１対１対応を持たせるというものです。

　restrict修飾型の応用は，標準ライブラリ関数に見られます。

int fprintf(FILE * restrict stream, const char * restrict format,...);
int printf(const char * restrict format,...);
int snprintf(char * restrict s, size_t n, const char * restrict format,...);

* 標準出力，標準入力を参照。