c++ - C++: ユニオンを介して厳密なエイリアスをバイパスし、__restrict 拡張機能を使用する

Question

一般的な厳密なエイリアシングまたは -O2/-O3 最適化をそれぞれ維持しながら、厳密なエイリアシング要件を特別に設計されたケースに合わせて調整することが可能かどうか疑問に思います。

より正確に言えば、必要な場合は、厳密なエイリアシングを無名共用体を使用してバイパスできます (こことここで指摘されているように):

#define PTR_CAST(type, x) &(((union {typeof(*x) src; type dst;}*) &(x))->dst)

このようなキャストによって取得されたポインターを使用__restrictすると、コンパイラーでエイリアスなしの最適化が再び有効になるのでしょうか (または、そのようなポインターとそのすべてのコピーが常に潜在的にエイリアシングされていると見なされるのでしょうか)。このような：

void bar(float* __restrict a, float* __restrict b) {
   // Do something with a and b assuming they don't overlap.
}

void baz(float* c) { /* Do something with c... */ }

void foo() {
   int32_t* buffer = new int32_t[1000];
   // Do something with buffer...

   float* bufCast1 = PTR_CAST(float, buffer);
   float* bufCast2 = PTR_CAST(float, buffer + 500);

   // Can the arguments be successfully __restrict-ed in this case?
   bar(bufCast1, bufCast2);

   // Also, would bufCast1 be treated as potentially aliasing inside of baz()?
   baz(bufCast1);
}