`typeid` în C++

Dă informații despre tipul unei expresii la rulare; pentru clase cu funcții virtuale arată tipul real al obiectului.

Sintaxă

#include <typeinfo>
typeid(tip)
typeid(expresie)   // returnează const std::type_info&

Ce face `typeid`

typeid returnează un obiect std::type_info (din <typeinfo>) care descrie un tip. Două type_info pot fi comparate cu ==, iar .name() dă un nume al tipului.

Partea utilă: pentru o referință la o clasă cu funcții virtuale (polimorfică), typeid dă tipul real al obiectului de la rulare, nu tipul declarat. Pentru restul tipurilor, rezultatul se știe deja la compilare.

Textul returnat de .name() nu este standard: GCC și clang dau nume „codificate” (i pentru int, 5Caine pentru clasa Caine), iar Visual C++ dă nume ușor de citit. Rezultatele de mai jos sunt de la clang.

Exemple

Exemplul 1: Compararea tipurilor

#include <print>
#include <typeinfo>

int main() {
    int nota = 10;
    double media = 9.5;
    std::println("nota este int: {}", typeid(nota) == typeid(int));
    std::println("media este int: {}", typeid(media) == typeid(int));
    std::println("Nume (clang): {} și {}", typeid(nota).name(), typeid(media).name());
}

Rezultat

nota este int: true
media este int: false
Nume (clang): i și d

Exemplul 2: Tipul real al unui obiect polimorfic

Referința este de tip Animal&, dar obiectul este un Caine; pentru că Animal are o funcție virtuală, typeid vede tipul real.

#include <print>
#include <typeinfo>

struct Animal { virtual ~Animal() = default; };
struct Caine : Animal {};
struct Pisica : Animal {};

void identifica(const Animal& a) {
    if (typeid(a) == typeid(Caine)) {
        std::println("Este un câine ({})", typeid(a).name());
    } else if (typeid(a) == typeid(Pisica)) {
        std::println("Este o pisică ({})", typeid(a).name());
    }
}

int main() {
    Caine rex;
    Pisica tom;
    identifica(rex);
    identifica(tom);
}