엄격한 앨리어싱 위반

Question

다음 프로그램이 엄격한 앨리어싱 규칙을 위반합니까? VS2015, clang 또는 gcc에 의해 방출

#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; 
} 

없음 경고합니다.

Answer 1

다음 프로그램이 엄격한 앨리어싱 규칙을 위반합니까?

예. std::int64_t*을 사용하여 double* (&d)을 역 참조합니다. 엄격한 앨리어싱 규칙을 위반

라인은 다음 라인을 처리하는 동안

auto& n{*nptr}; 

, 컴파일러는 반드시 당신이 nptr의 값을 설정하는 방법을 모르겠어요. double*에 대한 별명이라는 사실은 해당 행을 처리하는 동안 분명하지 않습니다.

Answer 2

예, 엄격한 앨리어싱을 위반합니다. 포인터 nptr이 double 또는 관련 유형에 대한 포인터가 아니지만 포인터 double 인 d에 액세스하고 있습니다.

컴파일러가 경고를 내 보내지 않는다고해서 그것이 위반 사항이 아님을 의미하지는 않습니다. 엄격한 위반은 UB (런타임 문제이므로)이므로 진단을 요구하지 않습니다.