Namespaces
Variants

std::type_info:: operator==, std::type_info:: operator!=

From cppreference.net
Utilities library
std::type_info
Member functions
type_info::operator== type_info::operator!=
(until C++20)
bool operator == ( const type_info & rhs ) const ;
(1) (noexcept depuis C++11)
(constexpr depuis C++23)
bool operator ! = ( const type_info & rhs ) const ;
(2) (noexcept depuis C++11)
(jusqu'à C++20)

Vérifie si les objets font référence aux mêmes types.

L'opérateur != est synthétisé à partir de operator== .

(depuis C++20)

Table des matières

Paramètres

rhs - autre objet d'information de type à comparer

Valeur de retour

true si l'opération de comparaison est vérifiée, false sinon.

Notes

Macro de test de fonctionnalité Valeur Norme Fonctionnalité
__cpp_lib_constexpr_typeinfo 202106L (C++23) Constexpr pour std::type_info::operator==

Exemple

#include <iostream>
#include <string>
#include <typeinfo>
#include <utility>
class person
{
public:
    explicit person(std::string n) : name_(std::move(n)) {}
    virtual const std::string& name() const { return name_; }
private:
    std::string name_;
};
class employee : public person
{
public:
    employee(std::string n, std::string p)
        : person(std::move(n)), profession_(std::move(p)) {}
    const std::string& profession() const { return profession_; }
private:
    std::string profession_;
};
void print_info(const person& p)
{
    if (typeid(person) == typeid(p))
        std::cout << p.name() << " is not an employee\n";
    else if (typeid(employee) == typeid(p))
    {
        std::cout << p.name() << " is an employee ";
        auto& emp = dynamic_cast<const employee&>(p);
        std::cout << "who works in " << emp.profession() << '\n';
    }
}
int main()
{
    print_info(employee{"Paul","Economics"});
    print_info(person{"Kate"});
#if __cpp_lib_constexpr_typeinfo
    if constexpr (typeid(employee) != typeid(person)) // C++23
        std::cout << "class `employee` != class `person`\n";
#endif
}

Sortie possible :

Paul is an employee who works in Economics
Kate is not an employee
class `employee` != class `person`

Voir aussi

vérifie si le type référencé précède le type référencé d'un autre type_info
objet dans l'ordre défini par l'implémentation, c'est-à-dire ordonne les types référencés
(fonction membre publique)