C++ Academy · Lección

Consulta de tipos

Inspeccione tipos en tiempo de compilación

Consulta de tipos es una lección gratuita de C++ Academy en CoddyKit. Esta es la lección 1 de 4. Puedes leer la lección completa abajo gratuitamente — luego la practicas en el navegador con un editor de código integrado y un tutor de IA 24/7. Forma parte de la ruta de aprendizaje de C++ Academy, y tu progreso se sincroniza en la web y la app de CoddyKit. El curso de C++ Academy incluye 4 lecciones en total.

¿Qué son los type traits?

La cabecera <type_traits> permite consultar información sobre los tipos en tiempo de compilación. Cada trait es una plantilla que expone una constante ::value o un tipo miembro.

is_integral

std::is_integral<T>::value es true para tipos enteros como int y char, y false en los demás casos.

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_integral<int>::value << "\n";
    std::cout << std::is_integral<double>::value << "\n";
    return 0;
}

El atajo _v

C++17 añadió las plantillas de variables _v, de modo que puede escribir std::is_integral_v<T> en lugar de ::value.

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_integral_v<long> << "\n";
    std::cout << std::is_floating_point_v<float> << "\n";
    return 0;
}

Traits de categoría

Muchos traits clasifican los tipos.

is_pointer
is_reference
is_array
is_class
is_enum

#include <iostream>
#include <type_traits>

struct S {};

int main() {
    std::cout << std::is_pointer_v<int*> << "\n";
    std::cout << std::is_class_v<S> << "\n";
    std::cout << std::is_reference_v<int&> << "\n";
    return 0;
}

Traits de relación

Algunos traits comparan dos tipos.

is_same<A,B>
is_base_of<Base,Derived>
is_convertible<From,To>

#include <iostream>
#include <type_traits>

struct Base {};
struct Derived : Base {};

int main() {
    std::cout << std::is_same_v<int, int> << "\n";
    std::cout << std::is_base_of_v<Base, Derived> << "\n";
    return 0;
}

Traits de propiedades

Los traits de propiedades informan sobre calificadores y capacidades.

is_const
is_signed
is_trivially_copyable
is_default_constructible

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_const_v<const int> << "\n";
    std::cout << std::is_signed_v<unsigned> << "\n";
    return 0;
}

Usar traits en static_assert

Los traits se combinan perfectamente con static_assert para imponer requisitos en tiempo de compilación.

#include <type_traits>
#include <iostream>

template <typename T>
T add(T a, T b) {
    static_assert(std::is_arithmetic_v<T>, "T must be a number");
    return a + b;
}

int main() {
    std::cout << add(2, 3) << "\n";
    return 0;
}

Cómo funcionan los traits

Un trait es simplemente una plantilla de tipo struct. La plantilla general hereda de false_type; una especialización para el tipo coincidente hereda de true_type. El compilador elige la coincidencia más adecuada.

integral_constant

Todos los traits booleanos se derivan de std::integral_constant. true_type y false_type son simplemente alias de este con value igual a true o false.

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::true_type::value << "\n";
    std::cout << std::false_type::value << "\n";
    return 0;
}

Consultar dentro de plantillas

Los traits permiten que las plantillas elijan una rama según el tipo que reciben, lo que permite crear código genérico que se adapta de forma distinta a tipos int, float, puntero o clase.

Solo en tiempo de compilación

Las consultas de traits no tienen ningún coste en tiempo de ejecución; se evalúan durante la compilación. El resultado queda incorporado al código generado.

Comprobación rápida

Recuerde la sintaxis práctica de C++17.

Resumen

Ha aprendido a consultar tipos.

<type_traits> responde preguntas en tiempo de compilación
::value o el atajo _v devuelve un bool
Traits de categoría, relación y propiedades
Combínelos con static_assert para imponer restricciones

Preguntas frecuentes

¿La lección «Consulta de tipos» es gratis?

Sí — el texto completo de «Consulta de tipos» es gratis para leer aquí en la web. Para practicarla de forma interactiva (editor de código integrado y tutor de IA 24/7) y desbloquear el resto del curso de C++ Academy, actualiza a CoddyKit PRO. El curso de C++ Academy incluye 4 lecciones en total.

¿Qué aprenderé en «Consulta de tipos»?

Inspeccione tipos en tiempo de compilación Practicas C++ Academy con código real que ejecutas directamente en el navegador, y un tutor de IA 24/7 responde tus preguntas mientras trabajas en la lección.

¿Necesito experiencia previa para empezar C++ Academy?

No se requiere experiencia previa. C++ Academy en CoddyKit está estructurado para principiantes hasta estudiantes avanzados, así que puedes empezar aquí o desde el inicio y avanzar a tu ritmo. Esta es la lección 1 de 4.

¿Cuánto tiempo toma la lección «Consulta de tipos»?

La mayoría de las lecciones de CoddyKit toman alrededor de 5–10 minutos. Cada una es compacta e interactiva, así que avanzas constantemente y retomas exactamente por donde dejaste en la web y la app.

¿Puedo escribir y ejecutar código en esta lección de C++ Academy?

Sí. Cada lección de C++ Academy incluye un editor de código integrado, así que escribes y ejecutas código real directamente en tu navegador y obtienes retroalimentación instantánea de IA — sin configuración local necesaria.

Todas las lecciones de este curso

← Volver a C++ Academy