В соответствии с cplusplus.com функция std::type_info::before()...
Возвращает true, если тип предшествует типу rhs в порядке сортировки.
Порядок сортировки - это всего лишь внутренний порядок, поддерживаемый конкретной реализацией, и не обязательно связан с отношениями наследования или объявлением порядка.
Итак, для чего это полезно?
Предположим, вы хотите поместить ваши объекты type_info в качестве ключей в map<type_info*, value>. type_info не имеет operator <, поэтому вы должны предоставить свой собственный компаратор. Единственное, что гарантируется для работы с интерфейсом type_info, это функция before(), так как ни адреса type_info, ни name() не должны быть уникальными:
struct compare {
bool operator ()(const type_info* a, const type_info* b) const {
return a->before(*b);
}
};
std::map<const type_info*, std::string, compare> m;
void f() {
m[&typeid(int)] = "Hello world";
}
Это полезно для определения порядка на объектах типаinfo, например. чтобы поместить их в std:: map. Очевидный следующий вопрос: почему он не написал оператор <()? Я не знаю ответа на этот вопрос.
Он дает заказ.
Это требуется, если вы хотите хранить значения в некоторых контейнерах, например std:: map.
Подумайте об этом как о менее чем (<) для объектов type_info. Если вы когда-либо хотели хранить в упорядоченной коллекции - такой набор карт, вы можете использовать его для создания соответствующего компаратора. Это надежный и предпочтительный способ, в отличие от, скажем, использования имени типа, которое может быть не уникальным.