Согласно cplusplus.com, функция std :: type_info :: before ()
...
Возвращает истину, если тип предшествует тип rhs в порядке сопоставления.
Порядок сопоставления - это просто внутренний порядок, поддерживаемый конкретной реализацией и не обязательно связанный с отношениями наследования или порядком объявления.
Так для чего это полезно?