在 C++17 之后，std::variant 成为标准库中一个非常强大的类型安全联合体，它可以容纳多种类型中的任意一种，但在任何时刻只能持有其中一种。相比传统的基类指针或 void*，std::variant 更加安全、类型检查更严格，也能在编译时捕捉到错误。本文将通过几个典型示例，演示如何利用 std::variant 设计一个简易的消息处理系统，以及如何在需要多态行为时结合 std::visit 实现运行时多态。
1. 设计一个可变类型的消息结构
假设我们需要处理三种不同类型的消息：文本、图片和音频。传统做法是用一个基类 Message，然后派生 TextMessage, ImageMessage, AudioMessage。如果不小心忘记实现析构函数，或者忘记把基类构造函数设为虚函数，往往会导致内存泄漏或未定义行为。使用 std::variant 可以消除这些风险：
#include <variant>
#include <string>
#include <vector>
#include <iostream>
#include <filesystem>
#include <cstdint>
// 三种消息类型
struct TextMessage {
std::string text;
};
struct ImageMessage {
std::filesystem::path image_path;
std::vector <uint8_t> thumbnail; // 仅为演示
};
struct AudioMessage {
std::filesystem::path audio_path;
double duration; // 秒
};
// 消息统一包装
using Message = std::variant<TextMessage, ImageMessage, AudioMessage>;
这样 Message 就是一个值类型，复制、移动都非常安全。我们可以把它放进任何容器中：
std::vector <Message> inbox;
2. 通过 std::visit 访问具体类型
读取或处理消息时，需要根据具体类型做不同的处理。使用 std::visit 可以在编译时对每种可能性都给出处理逻辑：
void handleMessage(const Message& msg) {
std::visit([](auto&& m){
using T = std::decay_t<decltype(m)>;
if constexpr (std::is_same_v<T, TextMessage>) {
std::cout << "Text: " << m.text << '\n';
} else if constexpr (std::is_same_v<T, ImageMessage>) {
std::cout << "Image: " << m.image_path << '\n';
std::cout << "Thumbnail size: " << m.thumbnail.size() << " bytes\n";
} else if constexpr (std::is_same_v<T, AudioMessage>) {
std::cout << "Audio: " << m.audio_path << ", duration: " << m.duration << "s\n";
}
}, msg);
}
上面利用了 C++17 的 if constexpr，避免了多余的 std::get_if 调用。std::visit 的参数可以是任意可调用对象（lambda、函数对象等），这让处理逻辑非常灵活。
3. 与 std::any 对比
有人会问：为什么不用 std::any？std::any 允许存储任意类型，但在访问时必须知道具体类型，否则会抛异常或返回 nullptr。std::variant 的优势在于：
- 编译时类型安全：所有可选类型在定义时就确定，编译器能检查缺失分支。
- 无运行时开销：不需要保存完整类型信息，存储的是索引 + 数据。
- 可做多态：借助
std::visit，实现多态行为，且不需要虚表。
当然，如果你需要一个“任意类型”且在运行时动态判断的场景，std::any 仍然是合适的选择。
4. 结合 std::optional 与 std::variant
在某些情况下，消息可能包含可选字段。例如 ImageMessage 的缩略图是可选的。可以在 variant 内部使用 std::optional，或者在 variant 的整体外部包一层 optional：
struct ImageMessage {
std::filesystem::path image_path;
std::optional<std::vector<uint8_t>> thumbnail; // 缩略图可选
};
处理时：
if (m.thumbnail) {
std::cout << "Thumbnail size: " << m.thumbnail->size() << '\n';
}
5. 性能小贴士
- 大小与对齐：
std::variant 的大小等于最大类型大小加上存储索引所需的空间（通常是 std::size_t）。如果你有很多非常大的类型，考虑使用 std::variant<std::shared_ptr<Base>> 或 std::unique_ptr<Base>。
- 移动语义：
variant 的移动构造和移动赋值会调用被包装类型的对应移动构造/赋值，效率与直接使用该类型相当。
6. 完整示例
#include <variant>
#include <string>
#include <vector>
#include <iostream>
#include <filesystem>
#include <cstdint>
#include <optional>
struct TextMessage { std::string text; };
struct ImageMessage { std::filesystem::path path; std::optional<std::vector<uint8_t>> thumbnail; };
struct AudioMessage { std::filesystem::path path; double duration; };
using Message = std::variant<TextMessage, ImageMessage, AudioMessage>;
void handleMessage(const Message& msg) {
std::visit([](auto&& m){
using T = std::decay_t<decltype(m)>;
if constexpr (std::is_same_v<T, TextMessage>) {
std::cout << "Text: " << m.text << '\n';
} else if constexpr (std::is_same_v<T, ImageMessage>) {
std::cout << "Image: " << m.path << '\n';
if (m.thumbnail) std::cout << "Thumbnail size: " << m.thumbnail->size() << " bytes\n";
} else if constexpr (std::is_same_v<T, AudioMessage>) {
std::cout << "Audio: " << m.path << ", duration: " << m.duration << "s\n";
}
}, msg);
}
int main() {
std::vector <Message> inbox;
inbox.emplace_back(TextMessage{"Hello, world!"});
inbox.emplace_back(ImageMessage{"/tmp/img.png", std::nullopt});
inbox.emplace_back(AudioMessage{"/tmp/sound.mp3", 3.14});
for (auto& msg : inbox) {
handleMessage(msg);
}
}
运行结果：
Text: Hello, world!
Image: /tmp/img.png
Audio: /tmp/sound.mp3, duration: 3.14s
结语
std::variant 与 std::visit 的组合为 C++ 提供了一种类型安全、可读性高且性能优秀的多态实现方式。无论是消息系统、事件总线还是插件接口，利用 variant 都能让代码更易维护、错误更易捕捉。尝试把它加入你下一个项目吧！
