c++ - 你能用 std::aligned_union 违反严格的别名规则吗

Question

做 union 的规则，例如[class.mem] p20 还允许 std::aligned_union_t ？例如，如果我在 pair<const A, B> 中存储两对( pair<A, B> 和 std::aligned_union_t )非常量对始终处于事件状态。正在访问 pair<const A>输入是否违反了严格的别名规则？

标准似乎在 [class.mem] 中有所暗示p20 即使非 const 对处于事件状态，访问该对的 const 成员也是安全的

union U {
    std::pair<A, B> pair;
    std::pair<const A, const B> const_pair;
};

U u = {A{}, B{}};
cout << u.const_pair.first << endl;
cout << u.const_pair.second << endl;

但是对于std::aligned_union也是一样安全的有位置 new和 reinterpret_cast构建并获得正确的值(value)？

(假设A和B是标准布局)

Answer 1

当核心语言说“union”时，它的意思是“union ”，即“用class-key union 定义的类”。不是被称为 aligned_union_t 的可悲的库模仿。