Namespaces
Variants

std:: variant_size, std:: variant_size_v

From cppreference.net
C++
Utilities library
std::variant
Определено в заголовочном файле <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-квалифицированном варианте как к константному выражению времени компиляции.

Формально,

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++17)
получает тип альтернативы, указанной по её индексу, во время компиляции
(шаблон класса) (псевдоним шаблона)
(C++11)
получает размер

для tuple
(специализация шаблона класса)