bind_front.md

bind_front

• functional[meta header]
• std[meta namespace]
• function template[meta id-type]
• cpp20[meta cpp]

namespace std {
  template <class F, class... Args>
  constexpr unspecified bind_front(F&&, Args&&...);
}

• unspecified[italic]

概要

関数の引数を先頭から順に部分適用する。

この関数は、メンバ関数とレシーバー (*this) を束縛して持ち運び、引数をあとで渡して呼び出す、というユースケースで使用する。そのようなケースでは、const性の伝播が難しいラムダ式やstd::bind()よりも容易になる。

using namespace std::placeholders;

// 4引数をもつメンバ関数Strategy::process
struct Strategy { double process(std::string, std::string, double, double); };

// 1. ラムダ式の場合、非constメンバ関数を呼び出すためにmutableを付けなければならないため、
// シンプルなメンバ関数のラップができない。
// コーナーケースとしては、decltype(auto)の考慮もときに必要になる
auto f1 = [s = Strategy{}] (auto&&... args) mutable {
  return s.process(std::forward<decltype(args)>(args)...);
};

// 2. std::bind()の場合、引数の数をユーザーが知っており、
// プレースホルダーを適切に設定しなければならない
auto f2 = std::bind(&Strategy::process, Strategy{}, _1, _2, _3, _4);

// 3. std::bind_front()の場合、const性の伝播が自動的に行われ、
// プレースホルダーを指定する必要がない
auto f3 = bind_front(&Strategy::process, Strategy{});

• std::bind[link bind.md]
• std::placeholders[link placeholders.md]
• _1[link placeholders.md]
• _2[link placeholders.md]
• _3[link placeholders.md]
• _4[link placeholders.md]
• std::forward[link /reference/utility/forward.md]

ただし、この関数はメンバ関数とレシーバーを受け取る専用にはなっておらず、「引数を先頭から順に束縛する」という汎用的な機能になっているため、「メンバ関数ポインタのみを束縛」「関数と引数の一部を束縛」といった利用もできる。

テンプレートパラメータ制約

decay_t<F>を適用した型をFD、 std::decay_t<Args>...を適用した型パラメータパックをBoundArgsであるとして、

• FDがstd::move_constructible要件を満たすこと
• BoundArgsのそれぞれの型Tiがオブジェクト型である場合、std::move_constructible要件を満たすこと

適格要件

• conjunction_v<is_constructible<FD, F>, is_move_constructible<FD>, is_constructible<BoundArgs, Args>..., is_move_constructible<BoundArgs>...>がtrueであること

戻り値

呼び出し可能なfをstd::invoke()で呼び出した時に必要な引数列に前方一致するfとargs...を完全転送して保持し、後から残りの引数リストを渡すことでfを呼び出せる未規定の関数オブジェクトを返す。

返される関数オブジェクトは渡された引数（f, args...）を参照として保持せず、適切にコピー/ムーブして保持する。

例外

• 関数オブジェクトfのムーブによって任意の例外が送出される可能性がある

例

#include <iostream>
#include <functional>

struct X {
  void f(int a, int b, int c) {
    std::cout << a << ',' << b << ',' << c << std::endl;
  }
};

void g(int a, int b, int c) {
  std::cout << a << ',' << b << ',' << c << std::endl;
}

int main() {
  {
    // メンバ関数ポインタと*thisを束縛する
    X x;
    auto f = std::bind_front(&X::f, x);

    // メンバ関数の引数を渡して呼び出す
    f(1, 2, 3);
  }

  // 「メンバ関数ポインタと*thisの束縛」という機能に限定されてはおらず、
  // 先頭から順に束縛できる (関数オブジェクトの指定だけは必須)
  {
    X x;
    std::bind_front(&X::f)(x, 1, 2, 3);
    std::bind_front(&X::f, x, 1)(2, 3);

    std::bind_front(g)(1, 2, 3);
    std::bind_front(g, 1)(2, 3);
  }
}

• std::bind_front[color ff0000]

出力

1,2,3
1,2,3
1,2,3
1,2,3
1,2,3

バージョン

言語

• C++20

処理系

• Clang:
• GCC: 9.1 [mark verified]
• Visual C++: ??

参照

• P0356R5 Simplified partial function application
• P1651R0 bind_front should not unwrap reference_wrapper