厳密なエイリアシングのパフォーマンス上のメリット

Question

Cでは、厳密なエイリアシングを観察する際に生じるパフォーマンスのメリットは何ですか？

Answer 1

エイリアシングを非常に詳しく説明しているページがあります。here

また、いくつかのトピックがありますhereとhere。要約すると、コンパイラは、異なるタイプの2つのポインタが同じ場所にアクセスしている（つまり、毎回値を読み込んで最適化できない）場合、データの値を仮定することはできません。

これは、厳密なエイリアシングが強制されていない場合にのみ発生します。厳密なエイリアシングオプション：

• GCC：-fstrictエイリアシング[デフォルト]と-fno-厳密エイリアシング
• MSVC： 厳密なエイリアシングがデフォルトでオフになっています。 （誰かがそれをオンにする方法を知っている場合は、 そう言ってください。）

---

例

のmain.cにこのコードをコピー＆ペースト：

void f(unsigned u) 
{ 
    unsigned short* const bad = (unsigned short*)&u; 
} 

int main(void) 
{ 
    f(5); 

    return 0; 
} 

その後これらのオプションを使用してコードをコンパイルします。

gccのmain.cの-Wall -O2

そして、あなたが取得します：

のmain.c：3： を警告：逆参照型punned ポインタが厳しいエイリアシング ルール

を中断します

GCC main.cの-fno-厳密-別名：と

無効エイリアシング -Wall -O2

警告が消えます。 （または、壁を取り出すだけですが、コンパイルしないでコンパイルしないでください）

私はMSVCで警告を受けることができないかもしれません。