namespace std {
template<class T> struct is_bind_expression; // see below
}
Шаблон класса is_bind_expression можно использовать для обнаружения функциональных объектов, сгенерированных bind. Шаблон функции bind используется is_bind_expression для обнаружения подвыражений.
Экземпляры is_bind_expression шаблона должны соответствовать UnaryTypeTrait требованиям. Реализация должна предоставлять определение, которое имеет базовую характеристику true_type if T является типом, возвращаемым из bind, в противном случае он должен иметь базовую характеристику false_type. Программа может специализировать этот шаблон для определяемого пользователем типа, T чтобы он имел базовую характеристику, true_type указывающую, что T следует рассматривать как подвыражение в bind вызове.