さまざまなオブジェクトのポインタ型や関数パラメータ配列が重複するメモリ領域を指さないことをコンパイラに指示するキーワードです。したがってコンパイラは、エイリアスが生成されるために行われなかった最適化を実行できます。同じメモリ領域を指しません(また、指すことがあってはなりません)。修飾されたポインタは、異なる配列や、配列内の異なる領域を指すことができます。修飾されたポインタが重複するメモリ領域を指さないようにする必要があります。