这是一个典型的严格混叠违规示例:

std::uint32_t foo(float* f, std::uint32_t* i) {
    *i = 1;
    *f = 2;
    return *i;
}

int main() {
    std::uint32_t i = 3;
    foo(reinterpret_cast<float*>(&i), &i);
}

但假设我们添加第二reinterpret_cast：

static_assert(alignof(float) == alignof(std::uint32_t));

std::uint32_t foo(float* f, std::uint32_t* i) {
    *i = 1;
    *reinterpret_cast<std::uint32_t*>(f) = 2;
    return *i;
}

int main() {
    std::uint32_t i = 3;
    std::uint32_t j = foo(reinterpret_cast<float*>(&i), &i);
    assert(j == 2);
}

这段代码正确吗(不调用未定义的行为)？

标准[expr.reinterpret.cast]如下：

注意：将“指针到＜code＞T1＜/code＞”类型的prvalue转换为“指针到和＜code＞T2是对象类型，并且＜code＞T2的对齐要求不比＜code＞T 1

我们使用 std：：uint32_t* 类型的原始指针值来访问 std：：uint32_t 类型。

当优化打开时，GCC和Clang都会生成正确的汇编代码:

foo(float*, unsigned int*):
        mov     dword ptr [rsi], 1
        mov     dword ptr [rdi], 2
        mov     eax, dword ptr [rsi]
        ret