std::is_bind_expression

template< class T >
struct is_bind_expression;

Si T est un type produit par un appel à std::bind (mais pas std::bind_front ou std::bind_front), ce modèle est dérivé de std::true_type. Pour tout autre type (sauf spécialisation par l'utilisateur), ce modèle est dérivé de std::false_type.

Un programme peut spécialiser ce modèle pour un type défini par le programme T afin d'implémenter UnaryTypeTrait avec la caractéristique de base de std::true_type pour indiquer que T doit être traité par std::bind comme s'il s'agissait du type d'une sous-expression de liaison : lorsqu'un objet fonction généré par bind est invoqué, un argument lié de ce type sera invoqué en tant qu'objet fonction et recevra tous les arguments non liés passés à l'objet généré par bind.

Modèle de variable d'assistance

Exemple

#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()
{
    // comme si bind(f, bind(MyBind(), _1, _2), 2)
    auto b = std::bind(f, MyBind(), 2); 
    std::cout << "Ajouter 2 à la somme de 10 et 11 donne " << b(10, 11) << '\n';
}

Ajouter 2 à la somme de 10 et 11 donne 23

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

Voir aussi