Namespaces
Variants

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

From cppreference.net
C++
Utilities library
Type support
std::type_info
Member functions
type_info::operator== type_info::operator!=
(until C++20)
(C++11)
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== .

(since 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`

Смотрите также

проверяет, предшествует ли указанный тип указанному типу другого type_info
объекта в определяемом реализацией порядке, т.е. упорядочивает указанные типы
(public member function)