23 General utilities library [utilities]

23.14 Function objects [function.objects]

23.14.11 Function object binders [func.bind]

23.14.11.2 Class template is_­placeholder [func.bind.isplace]

namespace std {
  template<class T> struct is_placeholder;      // see below
}

Шаблон класса is_­placeholder может быть использован для обнаружения стандартных заполнителей _­1, _­2и так далее. Шаблон функции bind используется is_­placeholder для обнаружения заполнителей.

Экземпляры is_­placeholder шаблона должны соответствовать UnaryTypeTrait требованиям. Реализация должна предоставлять определение, которое имеет базовую характеристику integral_­constant<int, J> if T is the type std​::​placeholders​::​_­J, в противном случае оно должно иметь базовую характеристику integral_­constant<int, 0>. Программа может специализировать этот шаблон для определяемого пользователем типа, T чтобы он имел базовую характеристику integral_­constant<int, N> with, N > 0 чтобы указать, что он T должен рассматриваться как тип-заполнитель.