Я понимаю, что они кодируют информацию о типе, с которым вы их создаете, но как они работают? Скажем, например, черта типа std::is_class
. Как он выполняет свою работу? Все реализации кажутся пустыми структурами, и я должен признать, что я почесываю голову.
Названия кажутся достаточно описательными, поэтому я могу понять, что они означают, но каковы типичные сценарии, которые используют черты типа?
Я не могу найти вводные ресурсы по этому вопросу (или вопросы по SO). Указатели будут оценены.