std::variant_size, std::variant_size_v

来自cppreference.com
< cpp‎ | utility‎ | variant
 
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(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> 定义
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>;
template <class T> class variant_size<const volatile T>;
(3) (C++17 起)
(C++20 中弃用)

提供作为编译时常量表达式,对可有 cv 限定的 variant 中可选项数量的访问。

正式地,

2) 满足基特征为 std::integral_constant<std::size_t, sizeof...(Types)>一元类型特性 (UnaryTypeTrait) 要求
3) 满足基特征为 std::integral_constant<std::size_t, variant_size<T>>一元类型特性 (UnaryTypeTrait) 要求

辅助变量模板

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

继承自 std::integral_constant

成员常量

value
[静态]
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 的特化都满足以某些 Nstd::integral_constant<std::size_t, N>基特征一元类型特性 (UnaryTypeTrait)

示例

#include <any>
#include <cstdio>
#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() { std::puts("All static assertions passed."); }

输出:

All static assertions passed.

参阅

在编译时获得以其下标指定的可选项的类型
(类模板) (别名模板)
在编译时获得 tuple 的大小
(类模板特化)