C++ variant是什么？如何用它实现类型安全的union替代方案

在C++17标准之前，如果想让一个变量在不同时刻保存不同类型的值，很多人会想到用union。但union本身不记录当前存了哪种类型，很容易因错误读取导致未定义行为。std::variant作为标准库提供的类型安全联合，能够明确限制可容纳的类型，并自动跟踪当前活跃类型，是传统union的理想替代方案。

什么是std::variant

std::variant定义于头文件 <variant>，它是一个模板类，接受一组类型参数，表示这个对象可能持有的类型集合。同一时间，variant只持有其中某一个类型的实例，并记住该类型索引。

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

// 定义一个variant，可能持有int、double或std::string
std::variant<int, double, std::string> v;

int main() {
    v = 10;          // 当前持有int
    v = 3.14;        // 当前持有double
    v = "hello";     // 当前持有std::string
    std::cout << std::get<std::string>(v) << std::endl;
    return 0;
}

如何安全地访问variant的值

直接调用std::get<T>在类型不匹配时会抛出std::bad_variant_access异常。我们也可以使用std::holds_alternative先判断，或用std::get_if获取指针。

使用holds_alternative与get_if

• std::holds_alternative<T>(v) 返回bool表示是否持有T
• std::get_if<T>(&v) 返回指向内部值的指针，若无则为nullptr

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

int main() {
    std::variant<int, std::string> v = 42;
    if (std::holds_alternative<int>(v)) {
        std::cout << "int: " << std::get<int>(v) << std::endl;
    }
    // 使用get_if避免异常
    if (auto p = std::get_if<std::string>(&v)) {
        std::cout << "str: " << *p << std::endl;
    } else {
        std::cout << "not a string" << std::endl;
    }
    return 0;
}

用std::visit处理多类型分发

当variant支持多种类型且希望对每种类型执行不同逻辑时，手写判断会很繁琐。std::visit配合重载的visitor可以简洁地实现类型分发。

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

struct Printer {
    void operator()(int x) const { std::cout << "int: " << x << std::endl; }
    void operator()(double x) const { std::cout << "double: " << x << std::endl; }
    void operator()(const std::string& s) const { std::cout << "string: " << s << std::endl; }
};

int main() {
    std::variant<int, double, std::string> v = 2.718;
    std::visit(Printer{}, v);
    v = std::string("variant");
    std::visit(Printer{}, v);
    return 0;
}

variant与union的对比

小结

std::variant通过编译期类型列表和运行时类型跟踪，提供了比union更安全的多类型容器方案。配合std::visit可以写出清晰且不易出错的代码，是现代C++中处理变体数据的推荐做法。

C++_variant类型安全std::visit修改时间：2026-07-29 02:00:24