厳密なエイリアス違反

Question

以下のプログラムは厳密なエイリアシング規則に違反していますか？

#include <cstdint> 

int main() 
{ 
    double d = 0.1; 

    //std::int64_t n = *reinterpret_cast<std::int64_t*>(&d); // aliasing violation 

    //auto n{*reinterpret_cast<std::int64_t*>(&d)}; // aliasing violation 

    auto nptr{reinterpret_cast<std::int64_t*>(&d)}; 
    auto& n{*nptr}; 

    ++n; 
} 

VS2015、clang又はgccによって放出された無警戒。

Answer 1

次のプログラムは厳密なエイリアシング規則に違反していますか？

はい、あります。 std::int64_t*を使用してdouble*（&d）を参照解除しています。

厳格なエイリアシング規則に違反する行は次のようになります。

auto& n{*nptr}; 

ラインの処理中に、コンパイラは、必ずしもあなたがnptrの値を設定する方法がわかりません。 double*へのエイリアスであるという事実は、その行を処理している間は明らかではありません。

Answer 2

はい、厳密なエイリアシングに違反します。 doubleのオブジェクトdにアクセスしていますが、ポインタnptrはdoubleへのポインタではありません。

コンパイラが警告を発していないということは違反ではないということではありません。厳密に発生する違反はUBです（実行時の動作の問題であるため）、したがって診断は必要ありません。