如何在C++中使用 std::variant 实现类型安全的多态

作者

在 C++17 之前，实现多态通常依赖于指针、虚函数或模板。随着 std::variant 的引入，我们可以在编译期确保对象只能持有预定义的几种类型，从而实现更安全、更高效的多态。下面通过一个简单的例子，演示如何使用 std::variant 来模拟多态行为。

1. 基本使用

#include <iostream>
#include <variant>
#include <string>

struct Dog {
    void speak() const { std::cout << "Woof!\n"; }
};

struct Cat {
    void speak() const { std::cout << "Meow!\n"; }
};

int main() {
    std::variant<Dog, Cat> animal;
    animal = Dog{};
    std::visit([](auto&& a){ a.speak(); }, animal);

    animal = Cat{};
    std::visit([](auto&& a){ a.speak(); }, animal);
}

这段代码里，animal 可以持有 Dog 或 Cat。std::visit 负责根据当前活跃的类型调用对应的 speak 方法。相比虚函数，variant 在编译期就能确定可能的类型，避免了运行时的动态派发开销。

2. 更复杂的多态

当派生类之间存在层级关系时，variant 的使用会更有趣。下面演示一个带有基类 Animal 的示例：

class Animal {
public:
    virtual void speak() const = 0;
    virtual ~Animal() = default;
};

class Dog : public Animal {
public:
    void speak() const override { std::cout << "Woof!\n"; }
};

class Cat : public Animal {
public:
    void speak() const override { std::cout << "Meow!\n"; }
};

如果想让 variant 同时保存具体对象和基类指针，可以使用 `std::unique_ptr

`： “`cpp using AnimalVariant = std::variant>; AnimalVariant v = std::make_unique (); std::visit([](auto&& a){ a->speak(); }, v); // 注意这里 a 是指针 “` ## 3. 访问器与错误处理 访问 `variant` 的内容时，推荐使用 `std::visit`，而不是 `get()` 或 `get_if()`，因为后者会在类型不匹配时抛出异常或返回空指针。`visit` 提供了一个统一的方式，能一次性处理所有可能的类型： “`cpp std::visit([](auto&& a){ using T = std::decay_t; if constexpr (std::is_same_v) { std::cout ) { std::cout using ChooseAnimal = std::variant, std::string>; ChooseAnimal a = Dog{}; std::visit([](auto&& x){ x.speak(); }, a); “` ## 5. 性能考量 – **大小**：`variant` 的大小是最大成员类型大小加上若干字节的标识符。对于大型对象，可能不如指针加虚表效率。 – **拷贝/移动**：`variant` 支持拷贝和移动构造/赋值，但若存储的类型大，复制成本会显著。考虑使用 `std::unique_ptr` 或 `std::shared_ptr` 作为 variant 的成员之一。 ## 6. 结语 `std::variant` 为 C++ 提供了一种类型安全、无运行时多态的方式。它特别适合需要在一组已知类型中切换、且不想使用传统虚函数的场景。通过结合 `std::visit`、模板元编程以及智能指针，可以构建既灵活又高效的系统。祝你在 C++ 代码中大胆尝试 `variant`，发现更多可能。

发表评论