相关疑难解决方法(0)

当询问C中常见的未定义行为时,灵魂比我提到的严格别名规则更加开明.
他们在说什么？

我的印象是访问union除最后一个成员之外的成员是UB,但我似乎无法找到一个可靠的参考(除了声称它是UB但没有标准支持的答案).

那么,这是不确定的行为？

C++标准是否保证未初始化的POD成员在新的位置后保留其先前的值？

或者更准确地说,根据C++ 11,下面的断言是否总能得到满足？

#include <cstdlib>
#include <cassert>

struct Foo {
    int alpha; // NOTE: Uninitialized
    int beta = 0;
};

int main()
{
    void* p = std::malloc(sizeof (Foo));
    int i = some_random_integer();
    static_cast<Foo*>(p)->alpha = i;
    new (p) Foo;
    assert(static_cast<Foo*>(p)->alpha == i);
}

C++ 03的答案是否相同？