传统 Union 的局限性与 std::variant 的引入

在 C++17 之前，若需在单一内存位置存储不同类型的数据，通常会使用 C 语言风格的 union。然而，传统 union 存在显著缺陷：首先，它缺乏类型状态追踪机制，开发者必须自行维护一个额外的标签来记录当前存储的类型，否则在读取时极易引发未定义行为；其次，对于包含非平凡构造函数或析构函数的复杂对象（如 std::string），传统 union 的支持非常有限且容易出错。

为了解决这些痛点，C++17 引入了 std::variant。它是一种类型安全的联合体，能够在编译期确定一组候选类型，并在运行期安全地存储其中任意一种类型的值。

std::variant 的基本使用与类型查询

通过 std::variant，我们可以轻松构建类似于动态类型语言（如 JavaScript）中的异构容器。结合 std::vector，能够在一个序列中混合存储多种数据类型。

#include <variant>
#include <vector>
#include <string>

using DynamicType = std::variant<int, double, bool, std::string>;

int main() {
    std::vector<DynamicType> mixed_container = {
        42, 
        false, 
        2.71828, 
        std::string("C++17")
    };
    return 0;
}

状态查询与 std::monostate

要确定 std::variant 当前存储的具体类型，可以使用 index() 方法，它会返回当前激活类型的索引（从 0 开始计算）。

DynamicType sample = std::string("Hello");
// std::string 是模板参数列表中的第四个类型，因此索引为 3
std::cout << "Current type index: " << sample.index() << std::endl;

当 std::variant 被默认初始化时，它会尝试默认构造其第一个候选类型。如果第一个类型没有默认构造函数，将导致编译失败。为了优雅地处理这种"空"状态，标准库提供了 std::monostate。将其作为第一个模板参数，可以充当安全的空状态占位符，这在某些场景下也能实现类似 std::optional 的效果。

值提取：std::get 与 std::get_if

提取 std::variant 中的值主要有两种方式。

std::get 允许通过类型或索引来提取值。模板参数必须是编译期常量。如果请求的类型或索引与当前实际存储的不匹配，将抛出 std::bad_variant_access 异常。

std::variant<int, float> num_var;
num_var = 100; // 当前持有 int

// 通过类型提取
int extracted_int = std::get<int>(num_var);

// 通过索引提取（0 代表 int）
int extracted_by_idx = std::get<0>(num_var); 

// std::get<float>(num_var); // 运行期异常：当前不持有 float
// std::get<2>(num_var);     // 编译期错误：索引越界

在许多禁用异常的现代 C++ 项目中，更推荐使用 std::get_if。它接受一个指向 variant 的指针，如果类型匹配则返回指向内部值的指针，否则返回 nullptr，从而避免了异常处理的开销。

if (auto* ptr = std::get_if<int>(&num_var)) {
    std::cout << "Integer value: " << *ptr << std::endl;
} else {
    std::cout << "Not an integer." << std::endl;
}

此外，还可以使用 std::holds_alternative<T> 来单纯检查当前是否持有特定类型 T。

std::optional 的内存模型与值语义

与 std::variant 同为 C++17 引入的词汇类型，std::optional 专门用于表示"可能存在也可能不存在"的值。它本质上是一个最多包含一个元素的容器。

在内存布局上，std::optional 通常由内部对象的存储空间加上一个布尔标志（用于指示是否有值）组成。由于内存对齐的要求，其实际大小可能会比内部对象大一个字节或更多，但绝不会在堆上分配额外内存。它完全遵循内部类型的对齐规则。

std::optional 的核心优势在于其构造行为：当处于"无值"状态时，它不会调用内部类型的构造函数。这意味着我们可以为那些构造成本高昂或缺乏默认构造函数的对象提供一个轻量级的"未初始化"状态。

#include <optional>

struct HeavyResource {
    HeavyResource() { /* 昂贵的初始化逻辑 */ }
};

std::optional<HeavyResource> empty_opt; // 不会触发 HeavyResource 的构造函数
std::optional<HeavyResource> filled_opt = HeavyResource{}; // 触发构造函数

在语义层面，std::optional 严格遵循值语义。对包含值的 optional 进行拷贝时，会执行内部对象的深拷贝，其开销与直接拷贝内部对象相同；而对无值的 optional 进行拷贝则极其廉价。同时，它完美支持移动语义，允许通过 std::move 高效地转移内部资源的所有权。