std::variant_size, std::variant_size_v

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos (C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación (C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos (C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos (C++17)

Biblioteca de apoyo de concurrencia (C++11)

Biblioteca de apoyo de ejecución (C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de servicios

Apoyo del lenguaje Apoyo de tipos (tipos básicos, RTTI) Macros de prueba de característica de la biblioteca (C++20) Servicios de programa Funciones variádicas initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) Apoyo de corrutinas (C++20) Apoyo de contratos (C++26) Comparación de tres vías (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Servicios generales Objetos función Manipulación de bits (C++20) bitset hash (C++11) Operadores relacionales (en desuso en C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Funciones de comparación de enteros cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Intercambio y operaciones de tipos swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Tipos vocabulario comunes pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

std::variant

Funciones miembro

variant::variant

variant::~variant

variant::operator=

Observadores

variant::index

variant::valueless_by_exception

Modificadores

variant::emplace

variant::swap

Funciones no miembro

visit

holds_alternative

get

get_if

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20)

swap

Clases auxiliares

monostate

bad_variant_access

variant_size

variant_alternative

hash

Objetos auxiliares

variant_npos

 

Definido en el archivo de encabezado <variant>
template <class T> struct variant_size; /* sin definir */	(1)	(desde C++17)
template <class... Types> struct variant_size<std::variant<Types...>> : std::integral_constant<std::size_t, sizeof...(Types)> { };	(2)	(desde C++17)
template <class T> class variant_size<const T>;	(3)	(desde C++17)
template <class T> class variant_size<volatile T>; template <class T> class variant_size<const volatile T>;	(3)	(desde C++17) (en desuso en C++20)

Proporciona acceso al número de alternativas en un variante posiblemente calificado-cv como una expresión constante en tiempo de compilación.

Formalmente,

2) cumple con los requerimientos de UnaryTypeTrait con una característica de base std::integral_constant<std::size_t, sizeof...(Types)>;

3) cumple con los requerimientos de UnaryTypeTrait con una característica de base std::integral_constant<std::size_t, variant_size<T>>.

Plantilla de variable auxiliar

template <class T> inline constexpr std::size_t variant_size_v = std::variant_size<T>::value;		(desde C++17)

Heredado de std::integral_constant

Constantes miembro

value [estático]

sizeof...(Types) (constante miembro pública estática)

Funciones miembro

operator std::size_t	Convierte el objeto a std::size_t, devuelve value. (función miembro pública)
operator() (C++14)	Devuelve value. (función miembro pública)

Tipos miembro

Tipo	Definición
value_type	std::size_t
type	std::integral_constant<std::size_t, value>

Notas

Todas las especializaciones de std::variant_size satisfacen a UnaryTypeTrait con una característica de base std::integral_constant<std::size_t, N> para algunas N.

Ejemplo

Ejecuta este código

#include <any>
#include <cstdio>
#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() { std::puts("Pasaron todas las aserciones estáticas."); }

Salida:

Pasaron todas las aserciones estáticas.

Véase también

variant_alternativevariant_alternative_t (C++17)	Obtiene el tipo de la alternativa dado su subíndice, en tiempo de compilación. (plantilla de clase) (plantilla de alias)
tuple_size	Obtiene el tamaño de una tupla en tiempo de compilación. (especialización de plantilla de clase)