std::variant_alternative, std::variant_alternative_t

 

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 <std::size_t I, class T> struct variant_alternative; /* sin definir */	(1)	(desde C++17)
template <std::size_t I, class... Types> struct variant_alternative<I, variant<Types...>>;	(2)	(desde C++17)
template <std::size_t I, class T> class variant_alternative<I, const T>;	(3)	(desde C++17)
template <std::size_t I, class T> class variant_alternative<I, volatile T>; template <std::size_t I, class T> class variant_alternative<I, const volatile T>;	(3)	(desde C++17) (en desuso en C++20)

Proporciona accesso de subíndice en tiempo de compilación a los tipos de las alternativas del variante posiblemente calificado-cv, combinando las calificaciones-cv del variante (si es que las hay) con las calificaciones-cv de la alternativa.

Formalmente,

2) cumple con los requerimientos de TransformationTrait con una definición de tipo (typedef) miembro type igual al tipo de la alternativa con subíndice I;

3) cumple con los requerimientos de TransformationTrait con una definición de tipo (typedef) miembro type que denomina, respectivamente, a std::add_const_t<std::variant_alternative_t<I,T>>, std::add_volatile_t<std::variant_alternative_t<I,T>>, y std::add_cv_t<std::variant_alternative_t<I,T>>.

Tipos miembro

Tipo miembro	Definición
type	El tipo de la I-ésima alternativa del variante, donde I debe estar en [0, sizeof...(Types)); de lo contrario, el programa está mal formado.

Plantilla de alias auxiliar

template <size_t I, class T> using variant_alternative_t = typename variant_alternative<I, T>::type;		(desde C++17)

Ejemplo

Ejecuta este código

#include <variant>
#include <iostream>

using my_variant = std::variant<int, float>;
static_assert(std::is_same_v
    <int,   std::variant_alternative_t<0, my_variant>>);
static_assert(std::is_same_v
    <float, std::variant_alternative_t<1, my_variant>>);
// calificación-cv sobre el tipo variante se propaga al tipo alternativo extraído.
static_assert(std::is_same_v
    <const int, std::variant_alternative_t<0, const my_variant>>);

int main()
{
    std::cout << "Pasaron todas las aserciones estáticas.\n";
}

Salida:

Pasaron todas las aserciones estáticas.

Informes de defectos

Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

ID	Aplicado a	Comportamiento según lo publicado	Comportamiento correcto
LWG 2974	C++17	Subíndice fuera de límites resultaba en comportamiento indefinido	Se hizo mal formado

Véase también

variant_sizevariant_size_v (C++17)	Obtiene el tamaño de la lista de alternativas del variante en tiempo de compilación. (plantilla de clase) (plantilla de variables)
tuple_element	Obtiene el tipo del elemento especificado. (especialización de plantilla de clase)