std::is_bind_expression

template< class T >
struct is_bind_expression;

Wenn T ein Typ ist, der durch einen Aufruf von std::bind erzeugt wurde (aber nicht std::bind_front oder std::bind_front), dann ist diese Vorlage von std::true_type abgeleitet. Für jeden anderen Typ (sofern nicht benutzerspezialisiert) ist diese Vorlage von std::false_type abgeleitet.

Ein Programm kann diese Vorlage für einen programmdefinierten Typ T spezialisieren, um UnaryTypeTrait mit der Basischarakteristik std::true_type zu implementieren. Dies zeigt an, dass T von std::bind so behandelt werden soll, als wäre es der Typ eines Bind-Teilausdrucks: Wenn ein von `bind` erzeugtes Funktionsobjekt aufgerufen wird, wird ein gebundenes Argument dieses Typs als Funktionsobjekt aufgerufen und erhält alle nicht gebundenen Argumente, die an das von `bind` erzeugte Objekt übergeben wurden.

Hilfsvariablen-Template

Beispiel

#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

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Siehe auch