寻求类似std::optional无内部标志的内存包装类，适配非默认构造类型

现成第三方库方案 #

Boost.Uninitialized #

Boost.Core库提供的boost::uninitialized<T>完全匹配你的需求：

• 内存占用严格等于sizeof(T)，无任何额外标志开销
• 支持延迟构造（包括非默认构造的T类型），通过emplace()方法传递构造参数
• 支持移入/复制赋值，通过assign()方法安全替换对象
• 提供get()方法访问已构造的对象，但要求你自行保证访问时对象已完成初始化
• 需手动调用destroy()方法析构对象，避免资源泄漏

示例代码：

#include <boost/core/uninitialized.hpp>
#include <iostream>
#include <string>

int main() {
    // 声明未初始化的string，不触发任何构造函数
    boost::uninitialized<std::string> uninit_str;

    // 用非默认构造函数初始化对象
    uninit_str.emplace("Hello, uninitialized!");

    // 访问并使用对象
    std::cout << *uninit_str.get() << '\n';

    // 移入新对象（会先析构旧对象再构造新的）
    uninit_str.assign(std::string("Updated value"));

    // 手动析构对象，释放资源
    uninit_str.destroy();
}

标准库轻量实现（无需第三方依赖） #

如果不想引入Boost，你可以基于标准库的std::aligned_storage_t写一个极简封装，代码量很小且完全符合要求：

#include <type_traits>
#include <iostream>
#include <string>

template <typename T>
struct uninitialized {
private:
    std::aligned_storage_t<sizeof(T), alignof(T)> storage_;

public:
    // 构造对象，支持任意构造参数
    template <typename... Args>
    void emplace(Args&&... args) noexcept(std::is_nothrow_constructible_v<T, Args...>) {
        new (&storage_) T(std::forward<Args>(args)...);
    }

    // 移入赋值：先析构旧对象，再构造新的
    void assign(T&& value) noexcept(std::is_nothrow_move_constructible_v<T>) {
        get()->~T();
        emplace(std::move(value));
    }

    // 获取对象指针（需自行保证已初始化）
    T* get() noexcept { return reinterpret_cast<T*>(&storage_); }
    const T* get() const noexcept { return reinterpret_cast<const T*>(&storage_); }

    // 手动析构对象
    void destroy() noexcept(std::is_nothrow_destructible_v<T>) {
        get()->~T();
    }

    // 禁止自动拷贝/移动，避免生命周期管理混乱
    uninitialized() = default;
    ~uninitialized() = default;
    uninitialized(const uninitialized&) = delete;
    uninitialized& operator=(const uninitialized&) = delete;
    uninitialized(uninitialized&&) = delete;
    uninitialized& operator=(uninitialized&&) = delete;
};

// 使用示例
int main() {
    uninitialized<std::string> uninit;
    uninit.emplace("Test uninitialized wrapper");
    std::cout << *uninit.get() << '\n';
    uninit.destroy();
}

关键注意事项 #

这类无状态包装器不跟踪对象是否初始化，所以你必须严格遵守生命周期规则：

• 仅在对象未初始化时调用emplace()或assign()
• 访问对象前必须确保已经完成构造
• 不再使用时必须手动调用destroy()，否则会导致资源泄漏或未定义行为

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