"const restrict"ポインタ引数のエイリアスは正当ですか？

Question

float dot_product(const float* restrict a, const float* restrict b, unsigned n); 

が

dot_product(x, x, x_len) 

でそれを呼び出すことと同じようにdot_productが宣言されている場合は、C99標準に従って、 "未定義" で？

編集

xx_lenがunsignedで、メモリのsizeof(float) * x_lenバイトを指し、当然のポインタです。この質問はエイリアシングに関するものです。

Answer 1

私はオリジナルのC99（すなわち、ISO9899：1999）テキストを持っていません。私はISO9899:2007:TC3のコピーを持っています。私は、この文書の111ページから取り上げたこのテキストは、C99標準のテキストと非常によく似ていると思います。

6.7.3.1 Formal definition of restrict 

... 

10. EXAMPLE 3 

The function parameter declarations 

    void h(int n, int * restrict p, int * restrict q, int * restrict r) 
    { 
     int i; 
     for (i = 0; i < n; i++) 
      p[i] = q[i] + r[i]; 
    } 

illustrate how an unmodified object can be aliased through two restricted 
pointers. In particular, if a and b are disjoint arrays, a call of the form 
h(100, a, b, b) has defined behavior, because array b is not modified within 
function h. 

これは、エイリアスポインタが読み取り専用アクセスに使用されていれば、動作を定義したと尋ねたフォームの機能を明確に示しているようです。エイリアスポインタのいずれかを使用して書き込むと、未定義の動作が呼び出されます。

Answer 2

はい。定義されていない動作が呼び出されます。 restrictキーワードを使用すると機能は次のように宣言されている場合

：

float dot_product(const float* restrict a, const float* restrict b, unsigned n); 

コンパイラは別の場所にそのaとbポイントを想定させ、1つのポインタを更新すると、他のポインタには影響しません。コンパイラではなく、プログラマがの責任を負い、ポインタが同一の場所を指していないことを保証します。

あなたの関数呼び出しは、関数に同じポインタxを渡して

dot_product(x, x, x_len) 

あるので、aまたはbのいずれかを更新することは、他の原因未定義の動作に影響を与えます。

Answer 3

まず、呼び出し自体がUBであるとは思わないが、パラメータとして渡されるポインタがrestrictの仕様と矛盾する方法で使用される場合、UBは関数内でのみ発生する可能性があります。 （UBはコールがあまり意味を持たないので、それが禁止されていれば、UBではなく制約違反になっているはずです）。restrictに関連するUBは、オブジェクトに指さしているものは、「何らかの形で」変更されます。したがって、ベクトルが変更されていない限り、すべて正常です。関数内では、constの資格があるため、これは発生しません。そして、外部のもの（別のスレッドやシグナルハンドラなど）があなたのベクトルを変更すると、あなたは何とかしています。