¿Cómo detectar si un tipo es una expresión lambda en el momento de la compilación?

Question

Supongamos que tengo un tipo my_struct que incluye una variable miembro, f, que es una función. Es posible que f sea una función C++ 11 lambda.

Dado que es ilegal asignar objetos lambda, me gustaría implementar el operador de asignación my_struct de tal forma que cuando f es un lambda, no se asigne.

¿Es posible construir un tipo de rasgo is_lambda que pueda inspeccionar un tipo de lambda-ness?

En código:

#include <type_traits> 

template<typename Function> struct is_lambda 
{ 
    // what goes here? 
}; 

template<typename Function> struct my_struct 
{ 
    Function f; 

    my_struct &do_assign(const my_struct &other, std::true_type) 
    { 
    // don't assign to f 
    return *this; 
    } 

    my_struct &do_assign(const my_struct &other, std::false_type) 
    { 
    // do assign to f 
    f = other.f; 
    return *this; 
    } 

    my_struct &operator=(const my_struct &other) 
    { 
    return do_assign(other, typename is_lambda<Function>::type()); 
    } 
}; 

Answer 1

imposible sin el apoyo del compilador, como el tipo de un lambda es sólo un tipo de clase normal, no unión.

§5.1.2 [expr.prim.lambda] p3

El tipo de la lambda-expresión (que también es el tipo del objeto de cierre) es un, sin nombre tipo de clase seudoartrosis único [...]

Answer 2

Presumiblemente, tampoco desea asignar funciones no lambda no asignables, por lo que podría usar std::is_assignable.