4. bind_front

最終更新日時(UTC):
が更新

履歴 編集

function template
<functional>

std::bind_front(C++20)

namespace std {
  template <class F, class... Args>
  constexpr unspecified bind_front(F&& f, Args&&... args);  // (1) C++20

  template <auto f, class... Args>
  constexpr unspecified bind_front(Args&&... args);         // (2) C++26
}

概要

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

この関数は、メンバ関数とレシーバー (*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{});

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

事前条件

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

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

適格要件

戻り値

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

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

例外

  • (1) : 関数オブジェクトfのムーブによって任意の例外が送出される可能性がある
  • (2) : bound_argsの初期化による任意の例外が送出される可能性がある

例

#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);
  }
}

出力

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

バージョン

言語

  • C++20

処理系

参照