如何使用 std::variant 实现类型安全的多态？

作者

在 C++17 之后，std::variant 提供了一种优雅的方式来处理多种可能类型的值，同时保持类型安全。它类似于 union，但具有编译时类型检查和防止未初始化状态。下面通过一个典型的例子展示如何使用 std::variant 来实现一个简易的消息处理系统，支持字符串、整数和自定义结构体。

1. 定义数据类型

#include <variant>
#include <string>
#include <iostream>
#include <vector>
#include <stdexcept>

// 自定义结构体
struct Person {
    std::string name;
    int age;
};

using Message = std::variant<int, std::string, Person>;

2. 发送消息

我们用一个 `std::vector

` 来存储所有消息，模拟网络传输或事件队列。 “`cpp std::vector queue; void send_int(int value) { queue.emplace_back(value); } void send_string(const std::string& value) { queue.emplace_back(value); } void send_person(const Person& p) { queue.emplace_back(p); } “` ## 3. 接收并处理消息 使用 `std::visit` 可以根据当前 `variant` 持有的类型执行不同逻辑。我们也可以为每种类型提供专门的处理函数。 “`cpp void process_int(int v) { std::cout ; if constexpr (std::is_same_v) process_int(arg); else if constexpr (std::is_same_v) process_string(arg); else if constexpr (std::is_same_v) process_person(arg); else throw std::logic_error(“未知消息类型”); }, msg); } } “` ## 5. 示例运行 “`cpp int main() { send_int(42); send_string(“Hello, world!”); send_person({“Alice”, 30}); process_queue(); return 0; } “` 输出： “` 接收到整数: 42 接收到字符串: Hello, world! 接收到人: Alice, 年龄: 30 “` ## 6. 小结 – **类型安全**：`std::variant` 在编译期就确认了可能的类型，避免了传统 union 的未定义行为。 – **访问方式**：使用 `std::visit` 或 `std::get `（需先检查活跃索引）来访问具体类型。 – **可维护性**：当需要添加新类型时，只需在 `using Message` 里加入即可；处理逻辑只需在 `std::visit` 的 lambda 中添加新分支。 在实际项目中，`std::variant` 还能配合 `std::optional`、`std::monostate` 等使用，形成更复杂的状态机或配置系统。掌握它的基本用法后，你将能更安全、更简洁地处理多态数据。

发表评论