std::integral_constant

 

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) Biblioteca de macros de prueba de característica(C++20) Servicios del programa Apoyo de corrutinas(C++20) Funciones variádicas is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Comparación de tres vías 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)

 

Apoyo de tipos

Tipos básicos
Tipos fundamentales
Tipos enteros de anchura fija(C++11)
ptrdiff_t size_t max_align_t (C++11) byte (C++17)	nullptr_t (C++11) offsetof NULL
Límites numéricos
numeric_limits
Interfaz de C de límites numéricos
Información de tipo en tiempo de ejecución
type_info type_index (C++11)	bad_typeid bad_cast
Rasgos de tipos
Categorías de tipos
is_void (C++11) is_null_pointer (C++14) is_array (C++11) is_pointer (C++11) is_enum (C++11) is_union (C++11) is_class (C++11) is_function (C++11)	is_object (C++11) is_scalar (C++11) is_compound (C++11) is_integral (C++11) is_floating_point (C++11) is_fundamental (C++11) is_arithmetic (C++11)
is_reference (C++11)
is_lvalue_reference (C++11)
is_rvalue_reference (C++11)
is_member_pointer (C++11)
is_member_object_pointer (C++11)
is_member_function_pointer (C++11)

Propiedades de tipos
is_const (C++11) is_volatile (C++11) is_empty (C++11) is_polymorphic (C++11) is_final (C++14) is_abstract (C++11) is_aggregate (C++17) is_trivial (C++11)	is_trivially_copyable (C++11) is_standard_layout (C++11) is_literal_type (C++11)(hasta C++20) is_pod (C++11)(en desuso en C++20) is_signed (C++11) is_unsigned (C++11) is_bounded_array (C++20) is_unbounded_array (C++20)
has_unique_object_representations (C++17)
Constantes de rasgos de tipos
integral_constantbool_constanttrue_typefalse_type (C++11)(C++17)(C++11)(C++11)
Metafunciones
conjunction (C++17)
disjunction (C++17)
negation (C++17)
Contexto de evaluación constante
is_constant_evaluated (C++20)

Operaciones soportadas
is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11)
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)
is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)
is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11)
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11)
is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11)
has_virtual_destructor (C++11)
is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17)
Relaciones y consultas de propiedades
is_same (C++11) is_base_of (C++11) is_convertibleis_nothrow_convertible (C++11)(C++20) is_layout_compatible (C++20) is_pointer_interconvertible_base_of (C++20) is_pointer_interconvertible_with_class (C++20) is_corresponding_member (C++20)	alignment_of (C++11) rank (C++11) extent (C++11) is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)(C++17)(C++17)(C++17)
Modificaciones de tipos
remove_cvremove_constremove_volatile (C++11)(C++11)(C++11) add_cvadd_constadd_volatile (C++11)(C++11)(C++11) make_signed (C++11) make_unsigned (C++11)	remove_reference (C++11) add_lvalue_referenceadd_rvalue_reference (C++11)(C++11) remove_pointer (C++11) add_pointer (C++11) remove_extent (C++11) remove_all_extents (C++11)
Transformaciones de tipos
aligned_storage (C++11) aligned_union (C++11) decay (C++11) remove_cvref (C++20) enable_if (C++11) void_t (C++17)	conditional (C++11) common_type (C++11) common_reference (C++20) underlying_type (C++11) result_ofinvoke_result (C++11)(hasta C++20)(C++17) type_identity (C++20)

 

Definido en el archivo de encabezado <type_traits>
template<class T, T v > struct integral_constant;		(desde C++11)

std::integral_constant envuelve una constante estática del tipo especificado. Es la clase base para los rasgos de tipo de C++.

El comportamiento de un programa que añade especializaciones para integral_constant no está definido.

Plantillas auxiliares

Se define un alias de plantilla auxiliar std::bool_constant para el caso común donde T es bool.

template<bool B> using bool_constant = integral_constant<bool, B>;		(desde C++17)

Especializaciones

Se proporcionan dos declaraciones typedef para el caso común donde T es bool:

Definido en el archivo de encabezado <type_traits>
Tipo	Definición
true_type	std::integral_constant<bool, true>
false_type	std::integral_constant<bool, false>

Tipos miembro

Tipo	Definición
value_type	T
type	std::integral_constant<T, v>

Constantes miembro

Nombre	Valor
constexpr T value [estático]	v (constante miembro pública estática)

Funciones miembro

operator value_type	Devuelve el valor envuelto (función miembro pública)
operator() (C++14)	Devuelve el valor envuelto (función miembro pública)

std::integral_constant::operator value_type

constexpr operator value_type()constnoexcept;

Función de conversión. Devuelve el valor envuelto.

std::integral_constant::operator()

constexpr value_type operator()()constnoexcept;		(desde C++14)

Devuelve el valor envuelto. Esta función habilita a std::integral_constant para que sirva como fuente de objetos función en tiempo de compilación.

Posible implementación

template<class T, T v>struct integral_constant {staticconstexpr T value = v;using value_type = T;using type = integral_constant;// usando el nombre de clase inyectadoconstexpr operator value_type()constnoexcept{return value;}constexpr value_type operator()()constnoexcept{return value;}// desde c++14};

Notas

Macro de prueba de característica	Valor	Estándar	Comentario
__cpp_lib_integral_constant_callable	201304L	(C++14)	std::integral_constant::operator()
__cpp_lib_bool_constant	201505L	(C++17)	std::bool_constant

Ejemplo

Ejecuta este código

#include <type_traits>   using two_t = std::integral_constant<int, 2>;using four_t = std::integral_constant<int, 4>;   static_assert(not std::is_same_v<two_t, four_t>); static_assert(two_t::value*2== four_t::value, "2*2 != 4"); static_assert(two_t()<<1== four_t()>>0, "2*2 != 4");   enumclass E{ e1, e2 };using c1 = std::integral_constant<E, E::e1>;using c2 = std::integral_constant<E, E::e2>; static_assert(c1::value!= E::e2); static_assert(c1()== E::e1); static_assert(std::is_same_v<c2, c2>);   int main(){}

Véase también

integer_sequence (C++14)

Implementa una secuencia de enteros en tiempo de compilación. (plantilla de clase)