在 C++20 之前，面向对象编程经常使用继承和虚函数来实现多态，但这会带来多态对象的堆分配、运行时类型检查以及潜在的内存泄漏等问题。C++17 引入的 std::variant 以及 C++20 的 std::visit 让我们可以在编译期安全地管理多种类型，且不需要动态分配。本文将通过一个完整的例子演示如何使用 std::variant 实现类型安全的多态，涵盖以下几个关键点：
- 定义多种实现类型
- 使用
std::variant包装这些类型 - 使用
std::visit进行类型安全的访问 - 处理错误与异常
- 性能比较与适用场景
1. 定义多种实现类型
假设我们需要实现一个“形状”系统，支持 Circle、Rectangle 和 Triangle 三种形状。每个形状都需要实现 area() 方法，但不想使用虚函数。我们可以为每个形状单独实现一个结构体：
#include <cmath>
#include <iostream>
#include <variant>
#include <stdexcept>
struct Circle {
double radius;
double area() const { return M_PI * radius * radius; }
};
struct Rectangle {
double width, height;
double area() const { return width * height; }
};
struct Triangle {
double base, height;
double area() const { return 0.5 * base * height; }
};2. 用 std::variant 包装类型
现在我们用 std::variant 包装这三种形状。std::variant 是一个类型安全的联合体，只能持有其中之一：
using Shape = std::variant<Circle, Rectangle, Triangle>;通过构造函数或 std::in_place_type_t 我们可以创建不同类型的 Shape：
Shape s1 = Circle{5.0};
Shape s2 = Rectangle{4.0, 6.0};
Shape s3 = Triangle{3.0, 7.0};3. 使用 std::visit 进行类型安全访问
最核心的部分是如何访问当前持有的形状并调用对应的 area()。使用 std::visit 并提供一个 lambda 表达式（或者函数对象）即可：
auto compute_area = [](const auto& shape) {
return shape.area();
};
std::cout << "Circle area: " << std::visit(compute_area, s1) << '\n';
std::cout << "Rectangle area: " << std::visit(compute_area, s2) << '\n';
std::cout << "Triangle area: " << std::visit(compute_area, s3) << '\n';这里的 auto 使得 lambda 可以接受任意形状类型，编译器在编译期确定具体类型，确保类型安全。
4. 处理错误与异常
如果我们想对 Shape 做进一步的类型检查，例如仅允许 Circle 计算面积，可以使用 std::get_if：
if (auto* ptr = std::get_if <Circle>(&s1)) {
std::cout << "Circle area via pointer: " << ptr->area() << '\n';
} else {
throw std::runtime_error("s1 is not a Circle");
}std::get_if 在类型不匹配时返回 nullptr，避免异常。
5. 性能比较与适用场景
- 内存占用：
std::variant只占用足够存储最大成员的空间，加上类型信息，通常比多态对象的虚表指针+堆分配更紧凑。 - 运行时开销：
std::visit通过内部的switch或者表驱动实现，开销与传统虚函数相当或更低。 - 类型安全：编译期就能发现类型错误，减少运行时错误。
- 适用场景：适用于对象类型有限、可枚举、且不需要继承链的情况，例如协议解析、表达式树、事件系统等。
代码完整示例
#include <iostream>
#include <variant>
#include <cmath>
struct Circle {
double radius;
double area() const { return M_PI * radius * radius; }
};
struct Rectangle {
double width, height;
double area() const { return width * height; }
};
struct Triangle {
double base, height;
double area() const { return 0.5 * base * height; }
};
using Shape = std::variant<Circle, Rectangle, Triangle>;
int main() {
Shape s1 = Circle{5.0};
Shape s2 = Rectangle{4.0, 6.0};
Shape s3 = Triangle{3.0, 7.0};
auto compute_area = [](const auto& shape) { return shape.area(); };
std::cout << "Circle area: " << std::visit(compute_area, s1) << '\n';
std::cout << "Rectangle area: " << std::visit(compute_area, s2) << '\n';
std::cout << "Triangle area: " << std::visit(compute_area, s3) << '\n';
return 0;
}运行结果：
Circle area: 78.5398
Rectangle area: 24
Triangle area: 10.5小结
使用 std::variant 与 std::visit 可以在不使用虚函数的情况下实现类型安全的多态。它不仅避免了堆分配与虚表开销，还能让编译器在编译期捕获类型错误。对于需要处理有限且可枚举类型的场景，std::variant 是一个非常优雅且高效的选择。