命名空间
变体
操作

std::variant_size, std::variant_size_v

来自 cppreference.cn
< cpp‎ | 工具库‎ | 变体
 
 
 
 
定义于头文件 <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 限定符的 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
[静态]
sizeof...(Types)
(public static 成员常量)

成员函数

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

成员类型

类型 定义
value_type std::size_t
类型 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() {}

[编辑] 参阅

在编译时根据索引获取可选类型的类型
(类模板) (别名模板)[编辑]
获取 tuple 的大小

一个 tuple
(类模板特化) [编辑]