在 C++17 之后，std::variant 成为处理多种可能类型的强大工具，它类似于 Rust 的 enum 或 Swift 的 Result。然而，当我们需要在某些情况下使用“空值”或者默认值时，std::monostate 的存在就显得尤为重要。本文将通过实例讲解如何使用 std::variant 以及 std::monostate 来实现安全的多态数据结构，并在此基础上实现一个简单的“配置文件解析器”。
1. std::variant 简介
std::variant<T...> 是一个类型安全的和类型擦除容器，它可以存储指定类型中的任意一个。与 std::any 不同，variant 的类型必须在编译期已知，且可以在运行时查询当前存储的类型。
#include <variant>
#include <string>
#include <iostream>
int main() {
std::variant<int, double, std::string> v;
v = 42; // 存储 int
v = 3.14; // 存储 double
v = std::string("hello"); // 存储 std::string
std::visit([](auto&& arg){ std::cout << arg << '\n'; }, v);
}2. std::monostate 的作用
std::monostate 是一个空的占位类型，常用于 variant 的默认值或空值情况。它没有任何数据成员，且不构造任何资源。使用 monostate 可以让 variant 在未设置任何值时保持安全。
std::variant<std::monostate, int, std::string> maybeValue;此时，maybeValue 默认持有 std::monostate，表示“无值”。
3. 一个简单的配置文件解析器
假设我们要解析一个类似 INI 的配置文件，每个键对应多种可能的值：整数、浮点数、字符串或者无值。我们可以用 variant<std::monostate, int, double, std::string> 来存储每个键的值。
#include <variant>
#include <string>
#include <unordered_map>
#include <sstream>
#include <fstream>
#include <iostream>
using ConfigValue = std::variant<std::monostate, int, double, std::string>;
using ConfigMap = std::unordered_map<std::string, ConfigValue>;
ConfigMap parseConfig(const std::string& filename) {
ConfigMap cfg;
std::ifstream file(filename);
std::string line;
while (std::getline(file, line)) {
// 去掉注释和空行
if (line.empty() || line[0] == '#') continue;
auto pos = line.find('=');
if (pos == std::string::npos) continue; // 格式错误
std::string key = line.substr(0, pos);
std::string valueStr = line.substr(pos + 1);
// 去除前后空格
key.erase(0, key.find_first_not_of(" \t"));
key.erase(key.find_last_not_of(" \t") + 1);
valueStr.erase(0, valueStr.find_first_not_of(" \t"));
valueStr.erase(valueStr.find_last_not_of(" \t") + 1);
// 判断值类型
if (valueStr.empty()) {
cfg[key] = std::monostate{};
} else {
std::istringstream ss(valueStr);
if (valueStr.find('.') != std::string::npos) {
double d; ss >> d;
if (!ss.fail()) cfg[key] = d;
else cfg[key] = std::string(valueStr);
} else {
int i; ss >> i;
if (!ss.fail()) cfg[key] = i;
else cfg[key] = std::string(valueStr);
}
}
}
return cfg;
}
void printConfig(const ConfigMap& cfg) {
for (const auto& [k, v] : cfg) {
std::cout << k << " = ";
std::visit([](auto&& val){
using T = std::decay_t<decltype(val)>;
if constexpr (std::is_same_v<T, std::monostate>)
std::cout << "(empty)";
else
std::cout << val;
}, v);
std::cout << '\n';
}
}
int main() {
auto cfg = parseConfig("app.conf");
printConfig(cfg);
}4. 关键点回顾
- 类型安全：
std::variant在编译期已知所有可能类型，避免了裸指针或错误的类型转换。 - 空值处理：
std::monostate让我们能在variant中明确表示“无值”，避免了使用nullptr或者单独的布尔标志。 - 易用性：
std::visit能对不同类型做分支处理，代码简洁。
5. 进一步扩展
- 自定义解析器：为
variant创建自定义fromString解析逻辑，以支持更复杂的类型，如std::chrono::duration或自定义enum。 - 错误处理：可以结合
std::expected（C++23）或第三方库提供更细粒度的错误信息。 - 模板元编程：使用
std::apply与std::tuple把所有键值对一次性转换为更结构化的类型。
通过使用 std::variant 与 std::monostate，我们可以在保持类型安全的同时，实现灵活、可扩展的数据结构。无论是配置解析、事件系统还是多态容器，这两个工具都值得在现代 C++ 开发中熟练掌握。