Здравствуйте, Аноним, Вы писали:

А>И в чем их смысл? В частности char_traits, например.

Очень хорошо объяснено в книге "Решение сложных задач на С++" Саттера, смотри задачу 1.11

Это пример класса свойств (описание в стандарте п.17.1.18)

char_traits<T> предоставляет информацию о символоподобном типе T. Как его сравнивать например. Вообще используетсяч в тех случаях когда инофрмацию о типе желательно содержать в отдельном классе.