C++标准视角：空类型间placement new构造合规性及空容器优化问询

1. 基础场景的合规性：不同空结构体的placement new #

先看你给出的代码：

struct S1 {};
struct S2 {};

S1 s1;
S2* s2 = new (&s1) S2;

这段代码在C++标准下是合规且安全的。

标准依据 #

根据C++标准[basic.types.general]条款：空类型（无非静态数据成员、无虚函数或虚基类、无用户声明的构造/析构/赋值运算符的类型）的大小至少为1字节，以保证每个对象都有唯一的内存地址。
根据[expr.new]条款：placement new要求提供的内存区域大小足以容纳目标类型的对象，且对齐方式满足目标类型的要求。对于空类型而言，sizeof(S1)和sizeof(S2)均为1，对齐要求也一致（通常为1），因此&s1指向的内存完全满足构造S2的条件。
根据[basic.life]条款：当在原对象的内存区域上构造新对象时，原对象的生命周期立即结束。由于两个空类型都没有成员需要访问，后续对s2的合法操作（如显式析构）不会触发未定义行为。

2. 任意空类型X和Y的通用情况 #

对于任意满足std::is_empty<X>::value和std::is_empty<Y>::value的类型X和Y，只要遵循以下规则，这种用法就是合规的：

• 确保用于placement new的内存区域大小（sizeof(X)）不小于sizeof(Y)——由于空类型大小至少为1，多数实现中均为1，该条件天然满足。
• 内存的对齐要求满足Y的对齐需求——空类型的对齐要求通常不高于基础对齐（如1或4），X作为空类型的对齐也会满足这一点；若类型有自定义alignas修饰，则需额外保证对齐匹配。
• 必须显式调用析构函数：原X对象的生命周期已被覆盖，Y对象的析构不会被自动调用，因此需要手动调用static_cast<Y*>(ptr)->~Y()来结束Y对象的生命周期。

3. 针对ManuallyConstructed<T>的优化方案 #

你希望当T是空类型时，ManuallyConstructed<T>也成为空类型，从而受益于[[no_unique_address]]。可以通过模板特化实现：

优化后的代码 #

#include <type_traits>

// 通用版本：适用于非空类型
template <typename T, bool IsEmpty = std::is_empty_v<T>>
class ManuallyConstructed {
public:
    ManuallyConstructed() = default;
    ~ManuallyConstructed() = default;

    void Init() {
        new (storage_) T();
    }

    void Destroy() {
        reinterpret_cast<T*>(storage_)->~T();
    }

    T& operator*() {
        return *reinterpret_cast<T*>(storage_);
    }

private:
    alignas(T) char storage_[sizeof(T)];
};

// 空类型特化版本
template <typename T>
class ManuallyConstructed<T, true> {
public:
    ManuallyConstructed() = default;
    ~ManuallyConstructed() = default;

    void Init() {
        // 空类型构造无实际内存操作，若需跟踪初始化状态可添加标记
        initialized_ = true;
    }

    void Destroy() {
        // 空类型析构无实际内存操作，重置初始化状态
        initialized_ = false;
    }

    T& operator*() {
        // 利用空类型地址复用特性，直接将this转换为T*
        return *reinterpret_cast<T*>(this);
    }

private:
    // 可选：若不需要跟踪初始化状态，可删除该成员，使类完全为空类型
    bool initialized_ = false;
};

关键说明 #

• 特化版本中，由于T是空类型，我们可以直接将this指针转换为T*——这符合空类型placement new的规则，相当于在ManuallyConstructed自身的内存上构造T对象。
• 如果不需要跟踪初始化状态，可删除initialized_成员，让ManuallyConstructed<T>成为真正的空类型，此时被[[no_unique_address]]修饰时会自动触发内存优化。
• 若保留initialized_，类将不再是空类型，需根据业务需求权衡是否需要状态跟踪。

内容的提问来源于stack exchange，提问作者jacobsa