C++ 参考手册

位置:首页 > C++ 参考手册 >工具库 >std::variant > std::variant_size, std::variant_size_v

定义于头文件 <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>;

template <class T> class variant_size<volatile T>;

template <class T> class variant_size<const volatile T>;
(3) (C++17 起)

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

正式地,

2) 满足基特征 (BaseCharacteristic) 为 std::integral_constant<std::size_t, sizeof...(Types)>一元类型特征 (UnaryTypeTrait) 要求
3) 满足基特征 (BaseCharacteristic) 为 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>基特征 (BaseCharacteristic)一元类型特征 (UnaryTypeTrait)

示例

本节未完成
原因:暂无示例

参阅

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