当前位置：首页 > news >正文

现代嵌入式C++教程：std::variant

news 2026/5/12 2:21:18

现代嵌入式C++教程：`std::variant`

写这篇文章前请想像一个场景：你有一个盒子，有时候装int，有时候装std::string，有时候装别的东西。传统union是那种老派盒子——节省空间但没有标签，容易把int当成std::string来读，后果就是 undefined behavior。std::variant就是现代的智能盒子：带标签、会照顾持有对象的构造/析构，并且在你试图错误读取时会大声给你抛出异常。

基本概念

std::variant<Ts...>表示“在一时刻仅持有Ts...中某一个类型”的类型安全联合体。它记录当前持有哪一个类型，构造/析构正确处理，并且提供访问、检查和访问者（visitor）机制。

最简单的例子

#include<variant>#include<string>#include<iostream>intmain(){std::variant<int,std::string>v;// 默认构造，持有 int（索引0）v=42;// 现在持有 intstd::cout<<std::get<int>(v)<<"\n";// 42v=std::string("hello variant");// 现在持有 std::string// 安全访问：if(std::holds_alternative<std::string>(v)){std::cout<<std::get<std::string>(v)<<"\n";}// 推荐方式：使用 std::visit（统一处理所有可能类型）std::visit([](auto&&x){std::cout<<x<<"\n";},v);}

默认构造会构造第一个备选类型（上例中是int）。
std::get<T>(v)：尝试以T访问，若v当前不是T，会抛std::bad_variant_access。
std::holds_alternative<T>(v)：检查当前类型是否为T。
std::visit(visitor, v)：由 visitor（可调用对象）处理当前持有的值，是最推荐也最安全的访问方式。

为什么优于裸`union`

std::variant自动管理对象生命周期（会调用析构函数），在访问时进行类型检查（抛异常而不是 UB），并与std::visit配合能写出清晰的模式匹配风格代码。它也比std::any更“精确”——std::any可以装任意类型，但类型信息查找不如variant明确，且没有visit的静态分支优势。

推荐访问方式：`std::visit`与重载集合

std::visit是variant的中心舞台。要同时处理多种类型，一个常见用法是利用“重载集”技巧来把多个 lambda 拼成一个可调用对象：

#include<variant>#include<iostream>#include<string>template<class...Ts>structoverloaded:Ts...{usingTs::operator()...;};template<class...Ts>overloaded(Ts...)->overloaded<Ts...>;// C++17 方便的模板推导intmain(){std::variant<int,double,std::string>v=3.14;std::visit(overloaded{[](inti){std::cout<<"int: "<<i<<"\n";},[](doubled){std::cout<<"double: "<<d<<"\n";},[](conststd::string&s){std::cout<<"string: "<<s<<"\n";}},v);}

好处是清晰、类型安全，编译器会在你漏写某个类型时给出提示（视情况而定），读代码的人也能一眼看出每个分支要干什么。

常见误区与坑（务必读）

不要用std::get<T>在不确定类型时访问—— 它会抛std::bad_variant_access。用std::get_if<T>或std::visit更安全。
默认构造选第一个类型——std::variant<int, std::string> v;会构造int（值为 0），不是空的。需要“空值”语义可用std::monostate作为第一种类型。
不能直接做递归variant——std::variant<int, std::variant<...>>会引起不完整类型问题。用std::unique_ptr或std::shared_ptr包装递归类型：
```
structNode{std::variant<int,std::unique_ptr<Node>>next;};
```
引用类型问题——std::variant<int&, double&>是可写的但容易错。通常用std::reference_wrapper<T>或保存指针更明确。
异常与析构—— 如果替换当前持有类型时新类型的构造抛异常，variant保证要么保持原值，要么变成valueless_by_exception（可以用v.valueless_by_exception()检查）。此状态下std::visit将抛出bad_variant_access。
大小（内存）——variant的大小由最“宽”类型决定（加上一点元数据），有时比单个类型要大。权衡内存与便利性。

进阶技巧

安全获取指针：std::get_if<T>(&v)返回T*或nullptr，避免异常。
按索引访问：std::get<0>(v)直接按索引（不推荐，容易错位，但在模板编程中有用）。
in-place 构造：v.emplace<std::string>("hello")可以避免拷贝/临时并直接在variant内构造目标类型。
元编程查看类型：std::variant_size_v<decltype(v)>，std::variant_alternative_t<I, decltype(v)>。
处理无值状态：调用v.valueless_by_exception()检查是否处于异常导致的无值状态（极少见，但处理代码中可以考虑）。
noexcept/移动语义：variant的移动/拷贝/析构是否noexcept取决于备选类型的对应操作是否noexcept。注意移动/拷贝开销可能来自某个昂贵备选类型。

把`std::variant`用到项目里去

假设你在处理一个消息队列，消息有三种：心跳（Heartbeat）、文本（Text），和二进制（Blob）。std::variant非常适合：

#include<variant>#include<string>#include<vector>#include<iostream>structHeartbeat{intid;};structText{std::string s;};structBlob{std::vector<uint8_t>data;};usingMessage=std::variant<Heartbeat,Text,Blob>;voidprocess(Messageconst&m){std::visit(overloaded{[](Heartbeatconst&h){std::cout<<"HB "<<h.id<<"\n";},[](Textconst&t){std::cout<<"Text: "<<t.s<<"\n";},[](Blobconst&b){std::cout<<"Blob size: "<<b.data.size()<<"\n";}},m);}