std::is_bind_expression

template< class T >
struct is_bind_expression;

Si T es un tipo producido por una llamada a std::bind (pero no a std::bind_front o std::bind_front), esta plantilla se deriva de std::true_type. Para cualquier otro tipo (a menos que sea especializado por el usuario), esta plantilla se deriva de std::false_type.

Un programa puede especializar esta plantilla para un tipo definido por el programa T para implementar UnaryTypeTrait con característica base de std::true_type para indicar que T debe ser tratado por std::bind como si fuera el tipo de una subexpresión de bind: cuando se invoca un objeto función generado por bind, un argumento vinculado de este tipo será invocado como un objeto función y se le darán todos los argumentos no vinculados pasados al objeto generado por bind.

Plantilla de variable auxiliar

Ejemplo

#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()
{
    // como si fuera bind(f, bind(MyBind(), _1, _2), 2)
    auto b = std::bind(f, MyBind(), 2); 
    std::cout << "Sumar 2 a la suma de 10 y 11 da " << b(10, 11) << '\n';
}

Sumar 2 a la suma de 10 y 11 da 23

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Véase también