Aritmética racional en tiempo de compilación

 

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 metaprogramación

Rasgos de tipo
Categorías de tipo is_void (C++11) is_null_pointer (C++11)(DR*) 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_reference (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_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_implicit_lifetime (C++23) is_trivial (C++11)(en desuso en C++26) 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) is_scoped_enum (C++23) has_unique_object_representations (C++17) Constantes de rasgos de tipo integral_constantbool_constanttrue_typefalse_type (C++11)(C++17)(C++11)(C++11) Metafunciones conjunction (C++17) disjunction (C++17) negation (C++17)	Operaciones admitidas 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_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) reference_constructs_from_temporary (C++23) reference_converts_from_temporary (C++23) is_base_of (C++11) is_virtual_base_of (C++26) 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)(en desuso en C++23) aligned_union (C++11)(en desuso en C++23) decay (C++11) remove_cvref (C++20) result_ofinvoke_result (C++11)(hasta C++20*)(C++17) conditional (C++11) common_type (C++11) common_reference (C++20) underlying_type (C++11) type_identity (C++20) enable_if (C++11) void_t (C++17)
Aritmética racional en tiempo de compilación
Secuencias de enteros en tiempo de compilación
integer_sequence (C++14)

 

Aritmética racional en tiempo de compilación

ratio (C++11)

Aritmética

ratio_add (C++11)

ratio_subtract (C++11)

ratio_multiply (C++11)

ratio_divide (C++11)

Comparación

ratio_equal (C++11)

ratio_not_equal (C++11)

ratio_less (C++11)

ratio_less_equal (C++11)

ratio_greater (C++11)

ratio_greater_equal (C++11)

 

La plantilla de clase std::ratio y las plantillas asociadas proporcionan apoyo para la aritmética racional en tiempo de compilación. Cada instanciación de esta plantilla representa exactamente cualquier número racional finito.

Fracciones en tiempo de compilación

Definido en el archivo de encabezado <ratio>
ratio (C++11)	Representa una fracción racional exacta. (plantilla de clase)

La biblioteca estándar proporciona varias definiciones de tipo convenientes que corresponden a las razones del Sistema Internacional de Unidades (abreviado SI, del francés Système international d'unités):

Definido en el archivo de encabezado <ratio>
Tipo	Definición
yocto	std::ratio<1, 1000000000000000000000000>, si std::intmax_t puede representar el denominador
zepto	std::ratio<1, 1000000000000000000000>, si std::intmax_t puede representar el denominador
atto	std::ratio<1, 1000000000000000000>
femto	std::ratio<1, 1000000000000000>
pico	std::ratio<1, 1000000000000>
nano	std::ratio<1, 1000000000>
micro	std::ratio<1, 1000000>
milli	std::ratio<1, 1000>
centi	std::ratio<1, 100>
deci	std::ratio<1, 10>
deca	std::ratio<10, 1>
hecto	std::ratio<100, 1>
kilo	std::ratio<1000, 1>
mega	std::ratio<1000000, 1>
giga	std::ratio<1000000000, 1>
tera	std::ratio<1000000000000, 1>
peta	std::ratio<1000000000000000, 1>
exa	std::ratio<1000000000000000000, 1>
zetta	std::ratio<1000000000000000000000, 1>, si std::intmax_t puede representar el numerador
yotta	std::ratio<1000000000000000000000000, 1>, si std::intmax_t puede representar el numerador

Artimética racional en tiempo de compilación

Se proporcionan varias plantillas de alias que realizan operaciones aritméticas en objetos ratio en tiempo de compilación.

Definido en el archivo de encabezado <ratio>
ratio_add (C++11)	Agrega dos objetos ratio en tiempo de compilación. (plantilla de alias)
ratio_subtract (C++11)	Resta dos objetos ratio en tiempo de compilación. (plantilla de alias)
ratio_multiply (C++11)	Multiplica dos objetos ratio en tiempo de compilación. (plantilla de alias)
ratio_divide (C++11)	divide dos objetos ratio en tiempo de compilación. (plantilla de alias)

Comparación racional en tiempo de compilación

Se proporcionan varias plantillas de clase que realizan operaciones de comparación en objetos ratio en tiempo de compilación.

Definido en el archivo de encabezado <ratio>
ratio_equal (C++11)	Compara la igualdad de dos objetos ratio en tiempo de compilación. (plantilla de clase)
ratio_not_equal (C++11)	Compara la desigualdad de dos objetos ratio en tiempo de compilación. (plantilla de clase)
ratio_less (C++11)	Compara dos objetos ratio para menor que en tiempo de compilación. (plantilla de clase)
ratio_less_equal (C++11)	Compara dos objetos ratio para menor o igual que en tiempo de compilación. (plantilla de clase)
ratio_greater (C++11)	Compara dos objetos ratio para mayor que en tiempo de compilación. (plantilla de clase)
ratio_greater_equal (C++11)	Compara dos objetos ratio para mayor o igual que en tiempo de compilación. (plantilla de clase)