std::variant_size, std::variant_size_v
Начиная с ru.cppreference.net
| Определён в заголовке <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>;
|
(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
[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++11)
|
получает размер
для
|