在现代C++（C++17及以后）中，std::variant 提供了一种轻量级、类型安全的方式来保存多种类型中的任意一种。相比传统的继承+虚函数多态，std::variant 可以避免运行时类型检查、虚表开销以及显式的动态转型。本文将从理论与实践两个层面，介绍如何利用 std::variant 实现多态，并通过完整的示例代码说明其用法与优势。
一、为什么选择 std::variant
| 方案 | 关键特点 | 适用场景 |
|---|---|---|
| 继承+虚函数 | 运行时多态、易于扩展 | 对象生命周期统一，支持多重继承 |
| std::variant | 编译期类型安全、无虚表 | 类型集合已知、对象大小固定、性能敏感 |
| std::any | 运行时类型信息 | 对类型不确定时使用 |
- 类型安全：
std::variant通过编译期模板参数保证只能访问合法的成员类型，避免了dynamic_cast可能出现的未定义行为。 - 无运行时开销：不像虚函数需要维护虚表，
std::variant只存储必要的类型标识（index）与数据本身。 - 可组合：可以与
std::visit、std::holds_alternative等工具配合，形成函数式编程风格。
二、基本使用
2.1 定义 Variant
#include <variant>
#include <string>
#include <iostream>
#include <vector>
using Value = std::variant<int, double, std::string>;2.2 初始化与赋值
Value v1 = 42; // int
Value v2 = 3.14; // double
Value v3 = std::string("hello"); // std::string2.3 访问内容
if (std::holds_alternative <int>(v1)) {
std::cout << "int: " << std::get<int>(v1) << '\n';
}或者使用 std::visit 统一处理：
std::visit([](auto&& arg){
std::cout << "value: " << arg << '\n';
}, v1);三、实现多态
3.1 场景描述
假设我们需要处理一个形状集合，形状可以是圆、矩形或三角形。传统实现：
struct Shape { virtual double area() const = 0; };
struct Circle : Shape { double radius; double area() const override {...} };
struct Rect : Shape { double w, h; double area() const override {...} };但若形状类型已在编译期确定，可使用 std::variant：
struct Circle { double radius; };
struct Rect { double w, h; };
struct Triangle { double a, b, c; };
using ShapeVariant = std::variant<Circle, Rect, Triangle>;3.2 计算面积
double area(const ShapeVariant& shape) {
return std::visit(overloaded{
[](const Circle& c){ return 3.14159 * c.radius * c.radius; },
[](const Rect& r){ return r.w * r.h; },
[](const Triangle& t){
double s = (t.a + t.b + t.c) / 2.0;
return std::sqrt(s * (s - t.a) * (s - t.b) * (s - t.c));
}
}, shape);
}其中
overloaded是一个常用的多重重载包装器：
template<class... Ts>
struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;3.3 示例完整代码
#include <iostream>
#include <variant>
#include <cmath>
struct Circle { double radius; };
struct Rect { double w, h; };
struct Triangle { double a, b, c; };
using Shape = std::variant<Circle, Rect, Triangle>;
template<class... Ts>
struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
double area(const Shape& s) {
return std::visit(overloaded{
[](const Circle& c){ return 3.14159265358979323846 * c.radius * c.radius; },
[](const Rect& r){ return r.w * r.h; },
[](const Triangle& t){
double s = (t.a + t.b + t.c) / 2.0;
return std::sqrt(s * (s - t.a) * (s - t.b) * (s - t.c));
}
}, s);
}
int main() {
std::vector <Shape> shapes{
Circle{5.0},
Rect{3.0, 4.0},
Triangle{3.0, 4.0, 5.0}
};
for(const auto& sh : shapes) {
std::cout << "Area: " << area(sh) << '\n';
}
}运行结果：
Area: 78.5398
Area: 12
Area: 6四、优势对比
| 维度 | 继承+虚函数 | std::variant |
|---|---|---|
| 运行时开销 | 虚表指针、指针间接 | 仅存储 index + 数据 |
| 内存布局 | 对象大小不确定 | 固定为 max(sizeof(T)) + sizeof(size_t) |
| 类型安全 | 需要 RTTI 或 manual checks | 编译期检查 |
| 可扩展性 | 子类需编译链接 | 只需添加新类型到 Variant |
| 适用场景 | 需要共享基类、接口 | 类型集合已知、对象数目有限 |
需要注意：如果形状数量极多、类型不确定，或者需要多态接口以外的行为，传统继承模式仍是更自然的选择。
五、进阶使用
5.1 组合多层 variant
可以在 variant 内嵌套另一 variant，实现更复杂的数据结构，例如 JSON 的值：
using JsonValue = std::variant<
std::nullptr_t,
bool,
int64_t,
double,
std::string,
std::vector <JsonValue>,
std::map<std::string, JsonValue>
>;5.2 与 std::any 的区别
std::any允许任意类型，访问时需要any_cast，如果类型不匹配会抛异常。std::variant的类型列表固定，访问前可以通过std::holds_alternative或std::visit检查。
六、结语
std::variant 为 C++ 开发者提供了一种高效、类型安全、无虚表的多态实现方式。它特别适合在编译期已知多种类型且对象生命周期受限的场景，例如消息系统、配置解析、形状计算等。通过 std::visit 的访问器，我们可以保持代码的可读性与可维护性，避免传统多态带来的隐藏错误。掌握 std::variant 的使用，将大大提升你在现代 C++ 项目中的开发效率与代码质量。