C++中std::monostate在variant中的作用是什么

在C++17引入的std::variant类型中，std::monostate是一个特殊的空类型，主要用来解决variant无法默认构造的问题，同时作为variant的空状态占位符使用。当variant的所有备选类型都不支持默认构造时，加入std::monostate可以让variant具备默认构造能力，还能明确表示当前variant处于空状态。

std::monostate的基本定义

std::monostate是定义在<variant>头文件中的一个空类类型，它没有成员变量和成员函数，唯一的作用是作为一个无意义的占位类型。它的定义非常简单，本质上就是一个空的结构体：

#include <variant>

// std::monostate的标准定义简化形式
struct monostate {};

int main() {
    // 可以直接声明std::monostate类型的变量
    std::monostate empty;
    return 0;
}

std::monostate在variant中的核心作用

1. 支持variant的默认构造

std::variant的默认构造函数会尝试构造第一个备选类型，如果第一个备选类型没有默认构造函数，那么variant就无法默认构造。此时把std::monostate作为第一个备选类型，就能让variant支持默认构造，因为std::monostate本身有默认构造函数。

比如下面的代码，没有std::monostate时variant无法默认构造：

#include <variant>
#include <string>

struct NoDefault {
    NoDefault(int val) : value(val) {} // 没有默认构造函数
    int value;
};

int main() {
    // 错误：NoDefault没有默认构造函数，std::string的默认构造也不是首选
    // std::variant<NoDefault, std::string> v; 
    
    // 正确：加入std::monostate作为第一个备选类型，variant可以默认构造
    std::variant<std::monostate, NoDefault, std::string> v; 
    return 0;
}

2. 表示variant的空状态

当variant包含std::monostate时，我们可以通过判断当前variant是否持有std::monostate类型，来表示variant是否处于空状态，比使用特殊值表示空状态更清晰明确。

可以通过std::holds_alternative函数判断variant当前持有的类型：

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

int main() {
    std::variant<std::monostate, int, std::string> v;
    
    // 判断是否为空状态
    if (std::holds_alternative<std::monostate>(v)) {
        std::cout << "当前variant处于空状态" << std::endl;
    }
    
    // 赋值后不再是空状态
    v = 100;
    if (!std::holds_alternative<std::monostate>(v)) {
        std::cout << "当前variant持有int类型，值为：" << std::get<int>(v) << std::endl;
    }
    return 0;
}

std::monostate的使用注意事项

• std::monostate作为variant的备选类型时，通常放在第一个位置，这样variant默认构造后就会处于空状态，符合使用习惯。
• 访问variant的值时，如果当前持有的是std::monostate，使用std::get获取其他类型会抛出std::bad_variant_access异常，需要先判断类型。
• 可以使用std::visit配合重载来统一处理variant的所有类型，包括std::monostate的情况：

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

// 定义访问者重载
template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;

int main() {
    std::variant<std::monostate, int, std::string> v;
    
    std::visit(overloaded {
        [](std::monostate) { std::cout << "variant为空" << std::endl; },
        [](int val) { std::cout << "variant持有int：" << val << std::endl; },
        [](const std::string& str) { std::cout << "variant持有string：" << str << std::endl; }
    }, v);
    
    v = "hello";
    std::visit(overloaded {
        [](std::monostate) { std::cout << "variant为空" << std::endl; },
        [](int val) { std::cout << "variant持有int：" << val << std::endl; },
        [](const std::string& str) { std::cout << "variant持有string：" << str << std::endl; }
    }, v);
    return 0;
}

适用场景总结

当我们需要在variant中表示空状态，或者variant的所有备选类型都不支持默认构造时，就可以使用std::monostate作为占位类型。它让variant的使用更灵活，状态表示更清晰，是C++中处理variant空场景的标准解决方案。

std::monostatestd::variant空类型占位符C++模板修改时间：2026-07-18 02:42:26