std:: is_bind_expression

Wenn T ein Typ ist, der durch einen Aufruf von std::bind erzeugt wird (jedoch nicht std::bind_front oder std::bind_back ), ist diese Template-Spezialisierung von std::true_type abgeleitet. Für jeden anderen Typ (sofern nicht benutzerdefiniert spezialisiert) ist diese Template-Spezialisierung von std::false_type abgeleitet.

Ein Programm kann diese Vorlage für einen programmdefinierten Typ T spezialisieren, um UnaryTypeTrait mit Basiseigenschaft von std::true_type zu implementieren, um anzuzeigen, dass T von std::bind so behandelt werden sollte, als wäre es der Typ eines Bind-Subausdrucks: Wenn ein bind-erzeugtes Funktionsobjekt aufgerufen wird, wird ein gebundenes Argument dieses Typs als Funktionsobjekt aufgerufen und erhält alle ungebundenen Argumente, die an das 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