std::is_bind_expression

template< class T >
struct is_bind_expression;

T が std::bind の呼び出しによって生成された型である場合（ただし std::bind_front または std::bind_front は除く）、このテンプレートは std::true_type から派生します。その他の型（ユーザーが特殊化した場合を除く）については、このテンプレートは std::false_type から派生します。

プログラムは、このテンプレートを プログラム定義型 Tに対して特殊化し、ベース特性として std::true_type を持つ UnaryTypeTrait を実装することで、T が bind 部分式の型であるかのように std::bind によって扱われるべきことを示すことができます。bind によって生成された関数オブジェクトが呼び出されると、この型の束縛された引数は関数オブジェクトとして呼び出され、bind によって生成されたオブジェクトに渡されたすべての未束縛引数が与えられます。

ヘルパー変数テンプレート

例

#include <functional>
#include <iostream>
#include <type_traits>
struct MyBind
{
    typedef int result_type;
    int operator()(int a, int b) const { return a + b; }
};
namespace std
{
    template<>
    struct is_bind_expression<MyBind> : public true_type {};
}
int f(int n1, int n2)
{
    return n1 + n2;
}
int main()
{
    // as if bind(f, bind(MyBind(), _1, _2), 2)
    auto b = std::bind(f, MyBind(), 2); 
    std::cout << "Adding 2 to the sum of 10 and 11 gives " << b(10, 11) << '\n';
}

Adding 2 to the sum of 10 and 11 gives 23

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目