C++ STL 之 optional、variant 与 any 详解

关注

原创最新推荐文章于 2026-09-25 12:29:00 发布 635 阅读 AI 写同款· GEO 优化 ›

C++17:std::variant/std::optional/std::any设计文章目录前言稍微总结std::variant动机和设计内部实现boostSTLstd::optional动机和设计内部实现boostSTLstd::any动机和设计转换内部实现boostSTL 前言 2021年了。现在回顾一下c++17标准中的std::variant/std::optional/std::any三个库是怎么实现的。稍微总结这三个库基本都是实现可选语义： std::optional:存有T或者不存有值 std::any:存有任意类型值（可以看作带类型信息的void*） std::var 阅读详情

C++ STL 之 optional、variant 与 any 详解

一、问题

C++ 类型系统在 C++17 之前有三大短板：

函数返回值无法优雅表达"可能无值"——传统做法用指针（可能空悬）或哨兵值（如 -1、nullptr），语义含混且易误用
需要"要么 A 要么 B"的类型安全变体——只能用 union，但原始 union 不检查活跃成员，读取错误成员属于未定义行为
需要持有任意类型的值（完全的动态类型）——过去只能退化为 void* + 手动 RTTI，或继承方案

C++17 引入的 std::optional、std::variant、std::any 分别补上了这三个短板。

二、optional：可能无值的语义

2.1 基本用法

#include <optional>
#include <iostream>
#include <string>

std::optional<int> parse_int(const std::string& s) {
    try {
        return std::stoi(s);
    } catch (...) {
        return std::nullopt;  // 无值
    }
}

int main() {
    auto r1 = parse_int("42");
    auto r2 = parse_int("abc");

    // has_value
    std::cout << r1.has_value();      // 1
    std::cout << r2.has_value();      // 0

    // value_or 提供默认值
    int v = r2.value_or(-1);          // -1

    // operator* / operator->（没有安全检查，需自己保证 has_value）
    if (r1) {
        std::cout << *r1;             // 42
    }

    // value() 会抛 bad_optional_access
    // r2.value();  // 抛异常
}

2.2 注意事项

optional<T> 会存储额外的 bool 标记，如果 T 自身可以被默认构造为"空"状态（如 std::string），不一定比哨兵值更省
optional<T&> 是 C++17 不支持的（C++23 才引入），引用包装推荐用 std::reference_wrapper 或裸指针
value_or 的参数是按值传入的，即使 T 是移动成本高的类型也会拷贝，注意用 std::move 或手动短路 if(opt)

三、variant：类型安全的联合体

3.1 基本用法

#include <variant>
#include <string>
#include <iostream>

// 定义一个 "要么 int 要么 string" 的类型
std::variant<int, std::string> v = 42;

// 赋值另一个类型
v = "hello";

// 获取值——类型不匹配时抛 bad_variant_access
int i = std::get<int>(v);      // 抛异常，当前是 string
std::string s = std::get<std::string>(v);  // OK

// get_if 返回指针，失败返回 nullptr
if (auto* p = std::get_if<int>(&v)) {
    std::cout << *p;
} else {
    std::cout << "不是 int";
}

3.2 std::visit：编译期分派

std::visit 是 variant 的核心武器——它根据 variant 当前活跃的索引，在编译期生成所有分支的分派表，运行时只需查偏移：

auto visitor = [](auto&& arg) {
    using T = std::decay_t<decltype(arg)>;
    if constexpr (std::is_same_v<T, int>)
        std::cout << "int: " << arg;
    else if constexpr (std::is_same_v<T, std::string>)
        std::cout << "string: " << arg;
};

std::visit(visitor, v);  // 编译期分派，零虚函数开销

对比虚函数方案：std::visit 的分派时间与 variant 的备选类型数量是 O(1) 的（查索引跳转表），而虚函数需要一次虚表查址加一次间接调用。两种都很便宜，但 visit 不需要类层次继承，组合更灵活。

3.3 variant vs 传统 union

3.4 注意事项

variant 的默认构造会构造第一个类型的默认值，如果第一个类型不可默认构造，variant 也不能默认构造。可以用 std::monostate 作为第一备选来做"空"语义
访问不活跃成员抛异常：std::get 抛 std::bad_variant_access，std::get_if 返回 nullptr
valueless_by_exception()：赋值时如果异常发生，variant 可能进入无值状态，一般情况下应避免让其进入此态

四、any：类型擦除的通用容器

4.1 基本用法

#include <any>
#include <iostream>
#include <string>

std::any a = 42;               // 存 int
a = std::string("hello");      // 存 string
a = 3.14;                      // 存 double

// 取出时必须类型完全一致
try {
    double d = std::any_cast<double>(a);  // OK
    int i = std::any_cast<int>(a);        // 抛 bad_any_cast
} catch (const std::bad_any_cast& e) {
    std::cout << e.what();
}

// any_cast 指针版本，失败返回 nullptr
if (auto* p = std::any_cast<double>(&a)) {
    std::cout << *p;
}