Namespaces
Variants

std:: variant_size, std:: variant_size_v

From cppreference.net
C++
Utilities library
std::variant
定义于头文件 <variant>
template < class T >
struct variant_size ; /* 未定义 */
(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 限定符的变体类型中备选方案数量的访问，以编译时常量表达式形式呈现。

正式来说，

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 的大小
(类模板特化)