std:: is_bind_expression

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

プログラムは、このテンプレートを プログラム定義型 T に対して特殊化し、 UnaryTypeTrait を実装することができます。この際、基底特性として std::true_type を指定することで、 T が std::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++規格に対して遡及的に適用されました。

関連項目