std::variant与std::visit：从访问者模式到类型安全联合

访问者Visitor模式想解决的是有一族结构相对稳定的类型上面要挂多种易变的操作求值、打印、序列化……又不想在每个类里无限加成员函数也不想用一长串if (dynamic_cast...)。std::variant把「只能是这几种之一」写进类型系统std::visit在运行期根据当前激活的是哪一种调用访问者里对应的分支——语义上就是Visitor 分派但常常不需要公共基类和虚函数表。本文以设计模式视角串起variant/visit/monostate/ 常见坑文末用一小节点到与 CRTP 笔记 里「异构容器」话题的弱关联不是主线。1. 访问者模式在解决什么两类变化维度维度典型变化设计上的期望元素类型结构新增一种 AST 结点、一种协议消息体相对稳定或「闭集」可枚举对元素的操作新增一种 pass、一种校验、一种 dump更频繁希望集中写在一处访问者的意图把「对每种类型的操作」收拢到一个访问者对象里通过分派把「当前到底是哪种元素」与「要执行哪段逻辑」接起来经典写法里常叫二次分派。2. 经典 OO 访问者 vsvariantvisit2.1 经典写法示意每个具体元素实现accept(Visitor)内部回调visitor.visit(*this)访问者类里 overload 一组visit(const ConcreteA),visit(const ConcreteB)……优点类型开放——以后可再派生子类配合虚函数。代价继承层次、vptr、文件分散新增一种元素类型要改多个类的visit重载。2.2variantvisit闭集访问者若你能明确说元素只会是A | B | C这几种闭集可以把元素建模为std::variantA,B,Celem;对「某一种操作」写成一个可调用对象函数对象 / lambda 集交给std::visitstd::visit(my_visitor,elem);语义仍是「带着操作走遍各种具体类型」——Visitor 的形态。实现分派由标准库实现可生成跳转表等不必手写accept也不必公共基类。代价类型集写死在variantA,B,...里新增一种类型要改variant模板参数并重新编译所有visit调用点闭集的天然限制。3.std::variant基础3.1 定义与赋值#includevariant#includestring#includeiostreamstructCircle{doubler;};structRectangle{doublew,h;};intmain(){std::variantCircle,Rectangle,intv;vCircle{1.0};// 当前持有 CirclevRectangle{2,3};// 切换为 Rectanglev42;// 第三种 alternativeintstd::coutstd::holds_alternativeint(v)\n;// 1}同一时间只有一个alternative 是「激活」的。赋值会销毁旧值、构造新值可能抛异常见 §7。3.2std::monostate第一个类型不能默认构造时variant默认构造时会默认构造第一个类型。若第一个类型没有默认构造函数用std::monostate占位作为第一个模板参数structNoDefault{explicitNoDefault(int){}};usingVstd::variantstd::monostate,NoDefault,int;// V v; // 默认构造 monostate表示「尚未放置有效值」这在「先声明、后写入」的解析器、状态机里很常见。4.std::visit把「访问者」交给标准库4.1 手写访问者类C17 起即可最清晰#includevariant#includeiostreamstructCircle{doubler;};structRectangle{doublew,h;};structAreaVisitor{doubleoperator()(constCirclec)const{return3.1415926*c.r*c.r;}doubleoperator()(constRectangler)const{returnr.w*r.h;}};intmain(){std::variantCircle,RectanglevCircle{2.0};std::coutstd::visit(AreaVisitor{},v)\n;// 约 12.56}AreaVisitor就是典型的Visitor每种operator()对应一种元素类型。4.2 多variant一起 visitstd::visit可以接受多个variant访问者需要能处理笛卡尔积里每一种组合或模板化常用于「两个联合类型配对处理」// 伪代码示意visit(visitor, v1, v2);// visitor 需对 (v1 的每种) × (v2 的每种) 有对应调用 —— 组合爆炸时要谨慎设计实际工程里更常见的是visit一个variant或把多域数据放进一个struct再variant...。4.3overload惯用法C20lambda 包成一块「访问者」把多个 lambda 合成一个可调用对象省去写具名 struct#includevariant#includeiostream#includestring// C20变参继承 推导指引templateclass...Tsstructoverloaded:Ts...{usingTs::operator()...;};templateclass...Tsoverloaded(Ts...)-overloadedTs...;intmain(){std::variantint,std::stringvhello;std::visit(overloaded{[](intx){std::coutint x\n;},[](conststd::strings){std::coutstr s\n;},},v);}C17没有上述推导指引时仍推荐手写struct访问者或显式指定overloaded...的模板实参可读性往往好于强行塞宏。5. 取值与检查get/get_if/holds_alternative/indexstd::variantint,std::stringv7;if(autopstd::get_ifint(v)){std::cout*p\n;// 安全不是 int 则 p nullptr}try{autosstd::getstd::string(v);// 类型不对则抛 std::bad_variant_access}catch(conststd::bad_variant_access){// ...}switch(v.index()){// 0 int, 1 stringcase0:/* ... */break;case1:/* ... */break;}能visit就优先visit新增 alternative 时编译器会逼你补全访问者分支若用overload全覆盖。用index()switch容易漏 case或与模板参数顺序强耦合维护成本高。6. 与「虚函数 Visitor」的对照维度虚接口 经典 Visitorvariantvisit类型集开放可再派生闭集写死在variant...分派vtable标准库实现跳转表 / 链式 if 等由实现定义堆与缓存常配合unique_ptrBase对象可内联在variant存储里新增操作给 Visitor 加接口所有元素类配合accept给visit的访问者加重载 / lambda新增类型派生 实现accept 各 Visitor overload改variant模板参数 所有visit分支选型一句话闭集、值语义、少堆分配 →variantvisit要插件式扩展类型、二进制 ABI 边界 →虚函数体系更合适。7. 常见坑7.1bad_variant_access对错误的std::getT/std::getI会抛std::bad_variant_access。get_if指针版不抛。7.2valueless_by_exception若在赋值/emplace过程中抛出异常且无法保证旧值恢复variant可能进入valueless状态此时index()为variant_npos多数操作未定义行为前应检查v.valueless_by_exception()。7.3 自赋值与大型对象variant里放大对象时赋值可能触发分配/搬移热点路径可评估是否用unique_ptrT作 alternative 减拷贝成本权衡堆分配。7.4visit的可调用对象必须无歧义覆盖所有类型overload里若两个 lambda 都能匹配同一类型会编译失败与 Visitor 里重载决议规则一致。8. 与其它现代特性的组合点到为止std::optional/std::expected常和「解析结果」一起出现不要用optionalvariant...盲目套娃——有时variantMonostate, A, B或expectedvariant..., E更清晰。C26 模式匹配inspect/match若标准化落地会是visit的语法糖方向当前生产环境仍以visitoverload为主流。9. 和CRTP 笔记 的关系弱交叉非主线crtp.md 在讨论「编译期多态接不住运行期异构容器」时把variantvisit列为异构方案之一与虚函数、手写类型擦除并列。那里的重点是CRTP 解决的是另一类问题variant不是 CRTP 的「替代品」而是当你明确只有闭集类型、又想在vector里值语义存放时的一种访问者式实现路径。主线仍应是Visitor 意图 →variant建模闭集 →visit写操作。与 CRTP 的交叉保持「知道去哪延伸阅读」即可。10. 一句话总结访问者把「对多类型的操作」聚到一处通过分派连接类型与逻辑。std::variant用类型系统表达闭集联合std::visit对该联合做类型安全的多路分派。与经典虚 Visitor互补闭集 值语义优先variant开放扩展优先虚接口。优先visit而非裸index()switch更利于穷举检查与维护。记住variant回答「是哪一种」visit回答「对这一种做什么」——合在一起就是现代 C 里的访问者骨架。