std::convertible_to

 

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 conceptos

Conceptos del lenguaje principales
same_as derived_from convertible_to common_reference_with common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from	Conceptos de comparación equality_comparableequality_comparable_with totally_orderedtotally_ordered_with Conceptos de objetos movable copyable semiregular regular Conceptos invocables invocableregular_invocable predicate relation equivalence_relation strict_weak_order

 

Definido en el archivo de encabezado <concepts>
template <typename From, typename To> concept convertible_to = std::is_convertible_v<From, To> && requires(From (&f)()) { static_cast<To>(f()); };		(desde C++20)

El concepto convertible_to<From, To> especifica que una expresión de tipo y categoría de valor especificado por From puede ser convertido implícitamente y explícitamente al tipo To, y las dos formas de conversión son equivalentes.

Requerimientos semánticos

convertible_to<From, To> se modela solamente si, dada una función fun de tipo From () tal que la expresión fun() conserva la igualdad (véase más abajo),

• Bien
  • To no es un tipo de objeto ni un tipo de referencia a objeto, o
  • static_cast<To>(fun()) es igual a []() -> To { return fun(); }(), y

• Uno de los siguientes es verdadero:
  • From no es un tipo referencia a objeto, o
  • From es una referencia rvalue a un tipo no calificado const, y el estado resultante del objeto referenciado por fun() es válido pero no especificado después de cualquiera de las expresiones detalladas previamente; o
  • el objeto al que se refiere fun() no se modificó por ninguna de las expresiones detalladas previamente.

Conservación de la igualdad

Una expresión es conservadora de igualdad si resulta en salidas iguales dadas entradas iguales.

• Las entradas de una expresión consisten en sus operandos.
• Las salidas de una expresión consisten en su resultado y todos los operandos modificados por la expresión (si es que los hay).

Cada expresión que se requiere sea conservadora de igualdad, se requiere además que sea estable: dos evaluaciones de tal expresión con los mismos objetos de entrada debe tener salidas iguales si no se encuentra alguna modificación interventora de esos objetos de entrada.

A menos que se indique de otra manera, cada expresión utilizada en una expresión-requiere se requiere sea conservadora de igualdad y estable, y la evaluación de la expresión puede solamente modificar sus operandos no constantes. Los operandos que son constantes no deben ser modificados.

Véase también

is_convertibleis_nothrow_convertible (C++11)(C++20)

Comprueba si un tipo puede convertirse a otro tipo. (plantilla de clase)