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

bool operator==( const type_info& rhs ) const;	(1)	(noexcept с C++11) (constexpr с C++23)
bool operator!=( const type_info& rhs ) const;	(2)	(noexcept с C++11) (до C++20)

Проверяет, относятся ли объекты к одним и тем же типам.

Оператор != синтезируется из operator==.

(с C++20)

Параметры

rhs

другой объект информации о типе для сравнения

Возвращаемое значение

true, если условие сравнения выполняется, и false в противном случае.

Примечания

Макрос проверки поддержки возможности	Значение	Стандарт	Возможность
`__cpp_lib_constexpr_typeinfo`	`202106L`	(C++23)	constexpr для `std::type_info::operator==`

Пример

#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
}

Возможный вывод:

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

См. также

before

проверяет, предшествует ли рассматриваемый тип типу, на который ссылается другой type_info
объект, в порядке, определённом реализацией; то есть упорядочивает рассматриваемые типы
(открытая функция-член)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/type_info/operator_cmp