厳密なエイリアシングとstd :: arrayとCスタイルの配列

Question

gcc 4.7（g ++ - mp-4.7（GCC）4.7.0のMacPortsをOS Xで構築）で次のコードをコンパイルすると、一見矛盾した結果になります。

std::arrayのセクションをuint32_tとして再解釈して間接参照しようとすると、コンパイラは文句を言いませんが、Cスタイルの配列を使用しているときはそれを行います。

例コード：

#include <array> 
#include <cstdint> 

int main() {  
    std::array<uint8_t, 6> stdarr; 
    *reinterpret_cast<uint32_t*>(&stdarr[0]) = 0; // OK 

    uint8_t arr[6]; 
    *reinterpret_cast<uint32_t*>(&arr[0]) = 0; 
    //^error: dereferencing type-punned pointer will break strict-aliasing rules [-Werror=strict-aliasing] 
} 

コンパイラのコマンドは次のとおりです。

$ g++ -o test -std=c++0x -Wall -Wextra -Werror main.cpp 

彼らは異なる方法で処理されているのはなぜ？

Answer 1

std::arrayのアドレスを取得する場合、式arr[0]はなくポインタ演算式(arr + 0)より、リファレンスを返す関数呼び出しarr.operator[](0)と等価です。おそらくコンパイラは、エイリアス警告を生成するときにoperator[]ファンクションコールを「見る」ことを試みません。