在传统的面向对象编程中，多态往往通过继承与虚函数实现。然而，这种方式在处理仅需要几种具体类型的情况时，往往显得笨重并且存在一定的运行时开销。C++17 引入的 std::variant 为我们提供了一种更为轻量级且类型安全的替代方案。本文将从原理、实现步骤和实际案例三个方面，系统阐述如何利用 std::variant 构建类型安全的多态。
1. 为什么要用 std::variant？
| 需求 | 传统方式 | std::variant |
|---|---|---|
| 类型安全 | 运行时类型检查（dynamic_cast） | 编译期类型检查 |
| 性能 | 虚函数表查找 | 编译期优化，可在内联 |
| 代码可读性 | 需要继承层级 | 直接写出所有可能类型 |
| 可维护性 | 难以快速扩展 | 只需在 variant 定义中添加类型 |
std::variant 是一个“可变类型”的容器，它可以在运行时持有多种类型中的任何一种，但在任何时刻都仅持有一个类型。通过访问者模式（std::visit）可以对当前持有的类型执行相应的操作。
2. 关键概念
- variant：模板参数列表定义了所有可持有的类型。
- **std::get (v)**：直接取值（如果类型不匹配则抛 `std::bad_variant_access`）。
- **std::holds_alternative (v)**：判断当前类型是否为 T。
- std::visit(visitor, v)：将访问者对象传递给 variant，访问者需要实现所有可能类型的重载函数。
3. 实例：绘图系统
3.1 场景描述
我们需要实现一个简单的绘图系统，支持 Circle、Rectangle 与 Triangle 三种图形。传统做法是定义一个 Shape 基类，并为每个派生类实现 draw() 虚函数。然而，随着图形种类的增加，继承层级会变得庞大。下面用 std::variant 重新设计。
3.2 定义图形结构
#include <variant>
#include <iostream>
#include <cmath>
#include <tuple>
struct Circle {
double radius;
};
struct Rectangle {
double width, height;
};
struct Triangle {
double a, b, c; // 三边
};
using Shape = std::variant<Circle, Rectangle, Triangle>;3.3 访问者实现
struct ShapeDrawer {
void operator()(const Circle& c) const {
std::cout << "绘制圆形，半径=" << c.radius << '\n';
}
void operator()(const Rectangle& r) const {
std::cout << "绘制矩形，宽=" << r.width << ", 高=" << r.height << '\n';
}
void operator()(const Triangle& t) const {
std::cout << "绘制三角形，边=" << t.a << ',' << t.b << ',' << t.c << '\n';
}
};3.4 绘制函数
void draw(const Shape& s) {
std::visit(ShapeDrawer{}, s);
}3.5 主函数演示
int main() {
Shape s1 = Circle{5.0};
Shape s2 = Rectangle{4.0, 3.0};
Shape s3 = Triangle{3.0, 4.0, 5.0};
draw(s1);
draw(s2);
draw(s3);
return 0;
}运行结果：
绘制圆形，半径=5
绘制矩形，宽=4, 高=3
绘制三角形，边=3,4,54. 更进一步：实现多态接口
如果业务需要让图形类实现一个公共接口（例如 area()、perimeter()），可以使用 std::variant 搭配 std::visit 与成员函数指针：
double area(const Shape& s) {
return std::visit([](auto&& shape) -> double {
using T = std::decay_t<decltype(shape)>;
if constexpr (std::is_same_v<T, Circle>) {
return M_PI * shape.radius * shape.radius;
} else if constexpr (std::is_same_v<T, Rectangle>) {
return shape.width * shape.height;
} else if constexpr (std::is_same_v<T, Triangle>) {
double s = (shape.a + shape.b + shape.c) / 2.0;
return std::sqrt(s * (s - shape.a) * (s - shape.b) * (s - shape.c));
}
}, s);
}此方式消除了虚函数表的开销，同时保持了类型安全。
5. 与 std::any 的区别
| 特点 | std::any | std::variant |
|---|---|---|
| 类型安全 | 运行时检查 | 编译期检查 |
| 持有类型 | 任意 | 预先声明 |
| 访问方式 | any_cast |
std::visit 或 get |
| 适用场景 | 需要非常通用的容器 | 已知有限类型集合的多态 |
std::variant 适合需要对几种已知类型进行多态操作的场景；若类型不确定，std::any 更合适。
6. 小结
- std::variant 通过编译期类型检查，提升了代码安全性与可读性。
- 与传统虚函数相比，它消除了运行时开销，且更易维护。
- 通过
std::visit可以实现访问者模式，实现对每种类型的专属操作。 - 结合
constexpr if，可以在一次遍历中完成多种运算（如面积、周长）。
在现代 C++ 开发中，理解并善用 std::variant 与访问者模式，能够让我们写出更简洁、可维护、性能更佳的多态代码。