std::bind_front, std::bind_back — cppreference.com

bind-partial return type

Объекты-элементы

The returned object behaves as if it holds:

1,3) Объект-элемент fd типа std::decay_t<F> инициализированный напрямую не списком из std::forward<F>(f), и

1-4) Объект std::tuple tup, созданный с помощью std::tuple<std::decay_t<Args>...>(std::forward<Args>(args)...), за исключением того, что поведение присваивания возвращаемого объекта не указано, а имена предназначены только для пояснения.

Конструкторы

Тип возвращаемого значения bind-partial ведёт себя так, как будто его конструкторы копирования/перемещения выполняют копирование/перемещение по элементам. Он CopyConstructible, если все его объекты-элементы (указанные выше) являются CopyConstructible, и MoveConstructible иначе.

Функция-элемент operator()

Учитывая объект G, полученный в результате более раннего вызова (1,3) bind-partial(f, args...) или (2,4) bind-partial<ConstFn>(args...), когда glvalue g, обозначающее G, вызывается в выражение вызова функции g(call_args...), происходит вызов хранимого объекта, как если бы:

1) std::invoke(g.fd, std::get<Ns>(g.tup)..., call_args...), где bind-partial это std::bind_front,

2) std::invoke(ConstFn, std::get<Ns>(g.tup)..., call_args...), где bind-partial это std::bind_front,

3) std::invoke(g.fd, call_args..., std::get<Ns>(g.tup)...), где bind-partial это std::bind_back,

4) std::invoke(ConstFn, call_args..., std::get<Ns>(g.tup)...), где bind-partial это std::bind_back,

где

• Ns целочисленный пакет 0, 1, ..., (sizeof...(Args) - 1),
• g является значением lvalue в выражении std::invoke, если оно является значением lvalue в выражении вызова, и значением rvalue иначе. Таким образом, std::move(g)(call_args...) может перемещать связанные аргументы в вызов, где g(call_args...) будет копироваться.

Программа некорректна, если g имеет volatile-квалифицированный тип.

Элемент operator() является noexcept, если вызываемое им выражение std::invoke является noexcept (другими словами, он сохраняет спецификацию исключения базового оператора вызова).

#include <cassert>
#include <functional>

int minus(int a, int b)
{
    return a - b;
}

struct S
{
    int val;
    int minus(int arg) const noexcept { return val - arg; }
};

int main()
{
    auto fifty_minus = std::bind_front(minus, 50);
    assert(fifty_minus(3) == 47); // эквивалентно: minus(50, 3) == 47

    auto member_minus = std::bind_front(&S::minus, S{50});
    assert(member_minus(3) == 47); //: S tmp{50}; tmp.minus(3) == 47

    // noexcept спецификация сохраняется:
    static_assert(!noexcept(fifty_minus(3)));
    static_assert(noexcept(member_minus(3)));

    // Связывание лямбды:
    auto plus = [](int a, int b) { return a + b; };
    auto forty_plus = std::bind_front(plus, 40);
    assert(forty_plus(7) == 47); // эквивалентно: plus(40, 7) == 47

#if __cpp_lib_bind_front >= 202306L
    auto fifty_minus_cpp26 = std::bind_front<minus>(50);
    assert(fifty_minus_cpp26(3) == 47);

    auto member_minus_cpp26 = std::bind_front<&S::minus>(S{50});
    assert(member_minus_cpp26(3) == 47);

    auto forty_plus_cpp26 = std::bind_front<plus>(40);
    assert(forty_plus(7) == 47);
#endif

#if __cpp_lib_bind_back >= 202202L
    auto madd = [](int a, int b, int c) { return a * b + c; };
    auto mul_plus_seven = std::bind_back(madd, 7);
    assert(mul_plus_seven(4, 10) == 47); //: madd(4, 10, 7) == 47
#endif

#if __cpp_lib_bind_back >= 202306L
    auto mul_plus_seven_cpp26 = std::bind_back<madd>(7);
    assert(mul_plus_seven_cpp26(4, 10) == 47);
#endif
}

• C++26 стандарт (ISO/IEC 14882:2026):

• 22.10.14 Шаблоны функции bind_front and bind_back [func.bind.partial]

• C++23 стандарт (ISO/IEC 14882:2023):

• 22.10.14 Шаблоны функции bind_front and bind_back [func.bind.partial]

• C++20 стандарт (ISO/IEC 14882:2020):

• 20.14.14 Шаблон функции bind_front [func.bind.front]