Ścisłe naruszenie aliasingu

Question

Czy następujący program narusza zasadę ścisłego aliasingu?

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

Brak ostrzeżenia emitowane przez VS2015, clang lub gcc.

Answer 1

Czy następujący program narusza zasadę ścisłego aliasingu?

Tak, robi. Wywołujesz dereferencję double* (&d) przy użyciu std::int64_t*.

Linia naruszające ścisłe reguły aliasingu jest:

auto& n{*nptr}; 

Podczas przetwarzania linii, kompilatory nie muszą wiedzieć, w jaki sposób ustawić wartość nptr. Fakt, że jest to alias do double*, nie jest oczywisty podczas przetwarzania tej linii.

Answer 2

Tak, to narusza ścisłe aliasing. Dostęp do obiektu d typu double, ale wskaźnik nptr, który nie jest wskaźnikiem do double lub jakiegokolwiek rodzaju z nim związany.

To, że kompilator nie emituje ostrzeżenia, nie oznacza, że ​​nie jest naruszeniem. Naruszenia o charakterze ściśle wiążącym to UB (ponieważ są one kwestią zachowania w czasie wykonywania) i dlatego nie wymagają diagnostyki.