Come rilevare se un tipo è un'espressione lambda in fase di compilazione?

Question

Supponiamo di avere un tipo my_struct che racchiude una variabile membro, f, che è una funzione. È possibile che f sia una funzione lambda C++ 11.

Poiché è illegale assegnare oggetti lambda, vorrei implementare l'operatore di assegnazione di my_struct in modo tale che quando f è un lambda, non è assegnato.

È possibile creare un tratto di tipo is_lambda che può ispezionare un tipo per lambda-ness?

in codice:

#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

impossibile senza il supporto del compilatore, come il tipo di un lambda è solo un normale, tipo di classe non sindacale.

§5.1.2 [expr.prim.lambda] p3

Il tipo di lambda-espressione (che è anche il tipo di oggetto di chiusura) è un unico, senza nome tipo classe pseudoartrosi [...]

Answer 2

Presumibilmente non si desidera assegnare funzioni non assegnabili non lambda, quindi è possibile utilizzare std::is_assignable.