以下程序是否违反严格别名规则?
#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; }
解决方法
Does the following program violate the strict aliasing rule?
是的,它确实.您正在使用std :: int64_t *取消引用double *(& d).
违反严格别名规则的行是:
auto& n{*nptr};
在处理行时,编译器不一定知道如何设置nptr的值.在处理该行时,它是double *的别名这一事实并不明显.