23 General utilities library [utilities]

23.14 Function objects [function.objects]

23.14.11 Function object binders [func.bind]

В этом подпункте описывается унифицированный механизм привязки аргументов вызываемых объектов.

23.14.11.1 Class template is_bind_expression [func.bind.isbind]

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 ifT является типом, возвращаемым изbind, в противном случае он должен иметь базовую характеристикуfalse_type. Программа может специализировать этот шаблон для определяемого пользователем типа,T чтобы он имел базовую характеристику,true_type указывающую, что T следует рассматривать как подвыражение в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> ifT is the type std::placeholders::_J, в противном случае оно должно иметь базовую характеристикуintegral_constant<int, 0>. Программа может специализировать этот шаблон для определяемого пользователем типа,T чтобы он имел базовую характеристикуintegral_constant<int, N> with,N > 0 чтобы указать, что онT должен рассматриваться как тип-заполнитель.

23.14.11.3 Function template bind [func.bind.bind]

В следующем тексте:

(1.1)
FD это типdecay_t<F>,
(1.2)
fd является l-значением типа,FD построенным изstd::forward<F>(f),
(1.3)
$T_{i}$ это $i^{th}$ тип в пакете параметров шаблонаBoundArgs,
(1.4)
${TD}_{i}$ это типdecay_t< $T_{i}$ >,
(1.5)
$t_{i}$ является $i^{th}$ аргументом в параметре функции пакетаbound_args,
(1.6)
${td}_{i}$ является l-значением типа, ${TD}_{i}$ построенным изstd::forward< $T_{i}$ >( $t_{i}$ ),
(1.7)
$U_{j}$ - $j^{th}$ выведенный типUnBoundArgs&&... параметра оболочки переадресации вызовов, а
(1.8)
$u_{j}$ это $j^{th}$ аргумент , связанный с $U_{j}$ .

template<class F, class... BoundArgs> unspecified bind(F&& f, BoundArgs&&... bound_args);

Requires: is_constructible_v<FD, F> будетtrue. Для каждого $T_{i}$ вBoundArgs,is_constructible_v< ${TD}_{i}$ , $T_{i}$ > должно бытьtrue. INVOKE(fd, $w_{1}$ , $w_{2}$ , …, $w_{N}$ ) ([func.require]) Должен быть допустимым выражением для некоторых значений $w_{1}$ , $w_{2}$ , ..., $w_{N}$ , где N имеет значениеsizeof...(bound_args). Квалификаторы cvcv оболочки вызоваg, как указано ниже, не должны быть ни,volatile ниconst volatile.

Returns: forwarding call wrapperg. Эффектg( $u_{1}$ , $u_{2}$ , …, $u_{M}$ ) должен быть

INVOKE(fd, std::forward< $V_{1}$ >( $v_{1}$ ), std::forward< $V_{2}$ >( $v_{2}$ ), …, std::forward< $V_{N}$ >( $v_{N}$ ))

где значения и типы связанных аргументов $v_{1}$ , $v_{2}$ ..., $v_{N}$ определяются , как указано ниже. Конструктор копирования и конструктор перемещения оболочки перенаправляющего вызова должны вызывать исключение тогда и только тогда, когда соответствующий конструкторFD любого из типов ${TD}_{i}$ вызывает исключение.

Throws: Ничего, если конструкция fd или одно из значений не ${td}_{i}$ вызывает исключение.

Remarks: Тип возвращаемого значения должен удовлетворять требованиямMoveConstructible. Если всеFD и ${TD}_{i}$ удовлетворяют требованиямCopyConstructible, то тип возвращаемого значения должен удовлетворять требованиямCopyConstructible. [ Note: Это подразумевает, что все такFD и ${TD}_{i}$ естьMoveConstructible. ] — end note

template<class R, class F, class... BoundArgs> unspecified bind(F&& f, BoundArgs&&... bound_args);

Requires: is_constructible_v<FD, F> будетtrue. Для каждого $T_{i}$ вBoundArgs,is_constructible_v< ${TD}_{i}$ , $T_{i}$ > должно бытьtrue. INVOKE(fd, $w_{1}$ , $w_{2}$ , …, $w_{N}$ ) должен быть допустимым выражением для некоторых значений $w_{1}$ , $w_{2}$ , ..., $w_{N}$ , где N имеет значениеsizeof...(bound_args). Квалификаторы cvcv оболочки вызоваg, как указано ниже, не должны быть ни,volatile ниconst volatile.

Returns: forwarding call wrapperg. Эффект g( $u_{1}$ , $u_{2}$ , …, $u_{M}$ ) должен быть

INVOKE<R>(fd, std::forward< $V_{1}$ >( $v_{1}$ ), std::forward< $V_{2}$ >( $v_{2}$ ), …, std::forward< $V_{N}$ >( $v_{N}$ ))

Throws: Ничего, если конструкция fd или одно из значений не ${td}_{i}$ вызывает исключение.

Эти значенияbound arguments $v_{1}$ , $v_{2}$ , ..., $v_{N}$ и соответствующие их типы $V_{1}$ , $V_{2}$ , ..., в $V_{N}$ зависимости от типов , ${TD}_{i}$ полученных от вызоваbind и CV-классификаторовcv обертки вызоваg следующим образом :

(10.1)
если ${TD}_{i}$ естьreference_wrapper<T>, аргумент равен ${td}_{i}$ .get() и его тип $V_{i}$ равенT&;
(10.2)
если значениеis_bind_expression_v< ${TD}_{i}$ > равноtrue, аргумент равен ${td}_{i}$ (std::forward< $U_{j}$ >( $u_{j}$ )...) и его тип $V_{i}$ равен invoke_result_t< ${TD}_{i}$ cv &, $U_{j}$ ...>&&;
(10.3)
если значениеj вis_placeholder_v< ${TD}_{i}$ > не равен нулю, аргументstd::forward< $U_{j}$ >( $u_{j}$ ) и ее тип $V_{i}$ является $U_{j}$ &&;
(10.4)
в противном случае значение равно, ${td}_{i}$ а его тип $V_{i}$ - ${TD}_{i}$ cv &.

23.14.11.4 Placeholders [func.bind.place]

namespace std::placeholders {
  // M is the implementation-defined number of placeholders
  see below _1;
  see below _2;
              .
              .
              .
  see below _M;
}

Все типы заполнителей должны бытьDefaultConstructible и CopyConstructible, а их конструкторы по умолчанию и конструкторы копирования / перемещения не должны вызывать исключений. Это определяется реализацией ли типы заполнителей являютсяCopyAssignable.CopyAssignable Операторы присваивания копий заполнителей не должны вызывать исключений.

Заполнители следует определять как:

inline constexpr unspecified _1{};

Если это не так, они должны быть объявлены как:

extern unspecified _1;