**使用 C++17 的 std::variant 实现类型安全的多态**

作者

在传统的面向对象编程中，多态往往依赖虚函数和继承体系，这使得类层次结构变得庞大且难以维护。C++17 引入了 std::variant，一种类型安全的联合体，允许在同一个容器中存放多种类型，并通过模式匹配来安全访问。这种方式在实现多态行为时提供了更高的灵活性与类型安全。

1. 什么是 std::variant

std::variant<Ts...> 是一种“变体类型”，其内部值只能是给定类型列表中的一种。不同于传统的 union，variant 具备构造、析构和赋值等完整的生命周期管理，并且能够在编译期确定当前持有哪一种类型。

std::variant<int, double, std::string> v;
v = 42;                // 持有 int
v = 3.14;              // 持有 double
v = std::string("abc"); // 持有 std::string

2. 模式匹配（std::visit）

要访问 variant 的值，最安全的方式是使用 std::visit，它会根据当前持有的类型调用对应的处理函数。这样可以避免手动检查 index() 或 holds_alternative()，从而减少错误。

std::visit([](auto&& arg){
    using T = std::decay_t<decltype(arg)>;
    if constexpr (std::is_same_v<T, int>)
        std::cout << "int: " << arg << '\n';
    else if constexpr (std::is_same_v<T, double>)
        std::cout << "double: " << arg << '\n';
    else if constexpr (std::is_same_v<T, std::string>)
        std::cout << "string: " << arg << '\n';
}, v);

3. 用 variant 替代传统多态

假设我们需要一个“形状”对象，它可以是圆形、矩形或三角形。传统做法是创建基类 Shape，并为每种形状实现派生类。使用 variant，我们可以直接在一个变量中存放任何一种形状，并通过访问函数实现多态行为。

struct Circle { double radius; };
struct Rectangle { double width, height; };
struct Triangle { double a, b, c; };

using Shape = std::variant<Circle, Rectangle, Triangle>;

double area(const Shape& s) {
    return std::visit([](auto&& shape){
        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));
        }
        else
            return 0.0;
    }, s);
}

4. 优点与局限

优点：

  • 类型安全：编译期确定类型，避免运行时错误。
  • 内存占用：variant 的大小是所有可能类型中最大的那个，避免了虚函数表的开销。
  • 灵活性：不需要继承树，新增形状只需改动 variant 的类型列表即可。

局限：

  • 可扩展性：如果形状种类非常多，variant 的类型列表会变长，导致编译时间增长。
  • 运行时开销：visit 仍然需要动态决策，尽管比虚函数表开销低，但在极高频调用时可能不如纯虚函数。

5. 进一步阅读

  • C++17 标准草案中 std::variant 章节（10.6.2.3）
  • 《Effective Modern C++》— Scott Meyers 对 variant 的使用建议
  • 《C++ 设计模式》— 章节讨论使用 variant 替代传统多态

通过上述示例，我们可以看到 std::variant 在实现类型安全的多态时提供了一种简洁、高效且易维护的方案。随着 C++ 标准的进一步发展，variant 与 std::optional、std::any 等类型将成为构建现代 C++ 代码库的重要工具。

发表评论