Requisitos denominados de C++: BinaryTypeTrait (desde C++11)
De cppreference.com
Un BinaryTypeTrait es una plantilla de clase que describe una relación entre sus dos parámetros de tipo plantilla con una especialización std::integral_constant (normalmente std::bool_constant).
Requisitos
- ConstruiblePorDefecto y ConstruiblePorCopia.
- Toma dos parámetros de tipo plantilla (se permiten parámetros de plantilla adicionales opcionalmente).
- Derivado pública e inequívocamente de una especialización de std::integral_constant, conocida como su característica base.
- Los nombres delo miembros de la característica base no están ocultos y están disponibles de forma inequívoca.
Biblioteca estándar
Las siguientes plantillas de clase de la biblioteca estándar satisfacen BinaryTypeTrait:
(C++11) |
Comprueba si dos tipos son los mismos (plantilla de clase) |
(C++11) |
Comprueba si un tipo es derivado de otro tipo (plantilla de clase) |
(C++26) |
Comprueba si un tipo es una base virtual de otro tipo. (plantilla de clase) |
(C++11)(C++20) |
Comprueba si un tipo puede convertirse a otro tipo. (plantilla de clase) |
(C++20) |
Comprueba si dos tipos tienen diseño compatible. (plantilla de clase) |
| Comprueba si un tipo es una base (inicial) interconvertible-por-puntero a otro tipo. (plantilla de clase) | |
| Comprueba si un tipo puede invocarse (como si lo fuera por std::invoke) con el número de argumentos dado. (plantilla de clase) | |
(C++11) |
Comprueba si el tipo especificado admite construcción con uso de asignador. (plantilla de clase) |