将不相关类型的对象重新解释为空类是未定义的行为吗

Question

将不相关的类型转换为空的基类是未定义的行为吗？然后使用该地址构造一个继承自该空基的派生类型？例如

class Derived : public EmptyBase {
public:
    template <typename T>
    Derived(T&& t) : EmptyBase{std::forward<T>(t)} {}
    using EmptyBase::print;
};

然后做这样的事情是不确定的

static auto shim = 1;
auto derived = Derived{*reinterpret_cast<EmptyBase*>(&shim)};
derived.print();

标准保证必须在标准布局结构中优化空基，但不确定是否允许这样的东西构造派生类

Answer 1

Derived{*reinterpret_cast<EmptyBase*>(&shim)}

Derived 的构造函数访问其参数的值表示来初始化其基类。该参数的类型为EmptyBase&&。但是该地址没有EmptyBase 对象；该地址有一个int。

因此，您正在通过与int 无关的类型的泛左值 (EmptyBase&&) 访问 int 的值表示。这违反了严格的别名。

所以不，你不能这样做。

不，EmptyBase 没有子对象并不重要。复制对象访问其值表示。即使派生类会覆盖它所做的任何事情（因为空的基类没有自己的存储空间）。