如何判断std::variant是否已被初始化（持有有效值）？

你已经熟练掌握std::variant结合std::get_if()、std::get()和std::visit()的用法，现在需要一种简单的布尔判断方法，确认栈上声明的std::variant是否曾被初始化（无论具体值是什么）。例如声明std::variant<int, double> data后，函数中可能初始化也可能不初始化该变量，想在函数末尾检测状态。

你尝试过index()函数，但未初始化的variant和初始化为第一个声明类型的variant都会返回0；valueless_by_exception()函数则无论是否初始化都会返回false。你想到将其与默认构造的variant比较，代码如下：

using Data = std::variant<int, double>;

Data data;

// ... 可能初始化或不初始化data的代码...

if (data == Data())
    // 未初始化
else
    // 已初始化

但不确定这种测试方法是否安全，或者是否有其他可行方法。

你的方法是否安全？ #

首先要明确：std::variant默认构造时会自动默认构造第一个备选类型，你所谓的“未初始化”其实是它处于第一个类型的默认构造状态，并非真的未初始化。

如果你的代码中不会显式将variant初始化为第一个类型的默认值（比如不会执行data = int();），那么和默认构造的Data()比较是安全的——因为只有从未赋值过的variant才会保持第一个类型的默认状态。但如果存在显式赋值第一个类型默认值的场景，这种比较会误判，把显式初始化的情况当成“未初始化”。

更可靠的替代方案 #

1. 额外标记位

这是最直观且不易出错的方法：声明一个布尔变量跟踪初始化状态，在对variant赋值时同步更新标记：

using Data = std::variant<int, double>;

Data data;
bool is_initialized = false;

// 初始化时：
data = 42;
is_initialized = true;

// 末尾判断：
if (!is_initialized) {
    // 未初始化
} else {
    // 已初始化
}

2. 增加空状态备选类型

利用std::monostate作为variant的第一个备选类型，代表“未初始化”状态。默认构造的variant会处于std::monostate状态，赋值时切换为具体的类型：

#include <variant>
#include <utility> // 用于std::monostate

using Data = std::variant<std::monostate, int, double>;

Data data; // 默认处于std::monostate状态

// 初始化时：
data = 3.14; // 切换为double类型

// 末尾判断：
if (std::holds_alternative<std::monostate>(data)) {
    // 未初始化
} else {
    // 已初始化
}

这种方法不需要额外变量，完全借助variant自身的状态区分，更符合其设计逻辑。

补充说明 #

valueless_by_exception()仅在variant因异常导致值丢失时返回true（比如赋值时抛出异常且无法回滚状态），默认构造或正常赋值的场景下始终返回false，因此不适合你的需求。

内容的提问来源于stack exchange，提问作者Joe