Bir derleme zamanında türün lambda ifadesi olup olmadığı nasıl belirlenir?

Question

Bir işlev olan f üye değişkeni içeren bir tür my_struct varsayalım. f'un C++ 11 lambda fonksiyonu olması mümkündür.

Lambda nesnelerine atamak yasadışı olduğu için, f bir lambda olduğunda, atanmamış my_struct'un görevlendirme işlecini uygulamak istiyorum.

Bir tür yazım denetimi için is_lambda türünde bir çerçeve oluşturmak mümkün mü? kodda

: Bir lambda tipi sadece normal olmayan birlik sınıf tipi olduğu gibi, derleyici desteksiz

#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

imkansız.

(aynı zamanda kapatma nesne türü) lambda ifade tipi

§5.1.2 [expr.prim.lambda] p3

benzersiz, isimsiz kaynamayan sınıf tipi [...]

Answer 2

olduğu Muhtemelen, atanamaz, lambda olmayan işlevleri de atamak istemiyorsanız, std::is_assignable'u kullanabilirsiniz.