Namespaces
Variants

    std::variant_size, std::variant_size_v

    来自 zh.cppreference.net
     
    C++
     
    工具库
    通用工具
    关系运算符 (C++20 起弃用)
    整数比较函数
    (C++20)(C++20)(C++20)    
    (C++20)
    交换 与 类型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    常用词汇类型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    std::variant
     
    定义于头文件 <variant> 
    template< class T >
struct variant_size; /* undefined */
    		(1) (C++17 起) 
    template< class... Types >
struct variant_size<std::variant<Types...>>
    : std::integral_constant<std::size_t, sizeof...(Types)> {};
    		(2) (C++17 起) 
    template< class T >
class variant_size<const T>;
    		(3) (C++17 起) 
    template< class T >
class variant_size<volatile T>;
    		(4) (C++17 起)
    (C++20 弃用) 
    template< class T >
class variant_size<const volatile T>;
    		(5) (C++17 起)
    (C++20 弃用)

    提供对可能带有 cv 限定的 variant 中候选项数量的编译期常量表达式访问。

    形式上，

    2) 满足 UnaryTypeTrait 要求，其基特性为 std::integral_constant<std::size_t, sizeof...(Types)>
    3-5) 满足 UnaryTypeTrait 要求，其基特性为 std::integral_constant<std::size_t, std::variant_size<T>::value>

    辅助变量模板

    template < class T >
    constexpr std:: size_t variant_size_v = std :: variant_size < T > :: value ;
    		(C++17 起)

    继承自 std:: integral_constant

    成员常量

    value
    [static]
    		sizeof...(Types)
    (公开静态成员常量)

    成员函数

    operator std::size_t
    		转换对象为 std:: size_t ，返回 value
    (公开成员函数)
    operator()
    (C++14)
    		返回 value
    (公开成员函数)

    成员类型

    类型 定义
    value_type std:: size_t
    type std:: integral_constant < std:: size_t , value >

    注释

    所有 std::variant_size 的特化均满足 UnaryTypeTrait 要求，其 基础特征 为 std:: integral_constant < std:: size_t , N > （其中 N 为特定值）。

    示例

    运行此代码 
    #include <any>
#include <variant>
static_assert(std::variant_size_v<std::variant<>> == 0);
static_assert(std::variant_size_v<std::variant<int>> == 1);
static_assert(std::variant_size_v<std::variant<int, int>> == 2);
static_assert(std::variant_size_v<std::variant<int, int, int>> == 3);
static_assert(std::variant_size_v<std::variant<int, float, double>> == 3);
static_assert(std::variant_size_v<std::variant<std::monostate, void>> == 2);
static_assert(std::variant_size_v<std::variant<const int, const float>> == 2);
static_assert(std::variant_size_v<std::variant<std::variant<std::any>>> == 1);
int main() {}

    参见

    (C++17)
    		在编译时获取由索引指定的备选类型
    (类模板) (别名模板)
    (C++11)
    		获取

    tuple 的大小
    (类模板特化)