std::variant_size, std::variant_size_v
来自 cppreference.cn
定义于头文件 <variant> |
||
template< class T > struct variant_size; /* 未定义 */ |
(1) | (C++17 起) |
template< class... Types > struct variant_size<std::variant<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 中候选项数量的访问,作为编译时常量表达式。
形式上,
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() {}
[编辑] 参阅
在编译时根据索引获取可选类型的类型 (类模板) (别名模板) | |
(C++11) |
获取 tuple 的大小一个 |