std::variant_npos

来自cppreference.com
< cpp‎ | utility‎ | variant
 
 
工具库
语言支持
类型支持(基本类型、RTTI)
库功能特性测试宏 (C++20)
动态内存管理
程序工具
协程支持 (C++20)
变参数函数
调试支持
(C++26)
三路比较
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)

 
 
在标头 <variant> 定义
inline constexpr std::size_t variant_npos = -1;
(C++17 起)

这是一个等于类型 std::size_t 最大可表示值的特殊值,用作 index()valueless_by_exception()true 时的返回值。

#include <iostream>
#include <stdexcept>
#include <string>
#include <variant>
 
struct Demon
{
    Demon(int) {}
    Demon(const Demon&) { throw std::domain_error("复制构造函数"); }
    Demon& operator= (const Demon&) = default;
};
 
int main()
{
    std::variant<int, Demon> var{42};
    std::cout
        << std::boolalpha
        << "index == npos: " << (var.index() == std::variant_npos) << '\n';
 
    try { var = Demon{666}; } catch (const std::domain_error& ex)
    {
        std::cout
            << "异常: " << ex.what() << '\n'
            << "index == npos: " << (var.index() == std::variant_npos) << '\n'
            << "valueless: " << var.valueless_by_exception() << '\n';
    }
}

可能的输出:

index == npos: false
异常: 复制构造函数
index == npos: true
valueless: true

参阅

返回 variant 所保有可选项的零基索引
(公开成员函数)
检查 variant 是否在非法状态
(公开成员函数)