При определении шаблона функции экземпляры параметров шаблона, как правило, неизвестны. Признаки типа можно использовать для получения некоторой информации во время компиляции. Например, вот тривиальное применение is_pointer:
template <typename T>
void foo(T p) { cout << is_pointer<T>::value << endl; }
У меня такой вопрос: бывает ли когда-нибудь ситуация в не шаблонной функции, когда функции времени компиляции, подобные трейтам, могут предоставить полезную информацию?
Да:
#include <iostream>
#include <limits>
int main()
{
std::cout << "Max value of an int on your platform is "
<< std::numeric_limits<int>::max() << "\n";
}
Это первый пример, который пришел на ум. Я уверен, что есть много других. В более общем плане он позволяет выполнять «поиск» во время компиляции по ключевому типу. Очевидно, что в ситуации без шаблона того же можно добиться с помощью определений макросов (INT_MAX и т. д.).
Если только не проверять информацию о времени компиляции базового типа, например, максимальное и минимальное значение для целочисленных типов или что-то еще.
Настоящая польза от признаков типа заключается в том, чтобы помочь метапрограммированию шаблона, либо путем добавления потока управления с помощью sfinae, либо для создания лучшей ошибки при использовании неправильного типа.
