c++ - 严格的混叠违规

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

Does the following program violate the strict aliasing rule?

是的，确实如此。您正在使用 std::int64_t* 取消引用 double* (&d)。

违反严格别名规则的行是:

auto& n{*nptr};

在处理该行时，编译器不一定知道您如何设置nptr 的值。它是 double* 的别名这一事实在处理该行时并不明显。