Est-ce que lambda doit se désintégrer en pointeur de fonction dans le code modélisé?

Question

J'ai lu quelque part qu'une fonction lambda devrait se désintégrer au pointeur de fonction si la liste de capture est vide. La seule référence que je peux trouver maintenant est n3052. Avec g ++ (4.5 & 4.6) cela fonctionne comme prévu, à moins que le lambda ne soit déclaré dans le code du template.

Par exemple le code suivant compile:

void foo() { 
    void (*f)(void) = []{}; 
} 

Mais il ne compile pas plus quand templated (si foo est effectivement appelé ailleurs):

template<class T> 
void foo() { 
    void (*f)(void) = []{}; 
} 

Dans la référence ci-dessus, je ne Ne vois pas une explication de ce comportement. Est-ce une limitation temporaire de g ++, et sinon, y a-t-il une raison (technique) de ne pas le permettre?

Answer 1

Je ne peux penser à aucune raison que ce soit spécifiquement refusé. Je suppose que c'est juste une limitation temporaire de g ++.

J'ai essayé aussi quelques autres:

template <class T> 
void foo(void (*f)(void)) {} 

foo<int>([]{}); 

qui fonctionne.

typedef void (*fun)(void); 

template <class T> 
fun foo() { return []{}; } // error: Cannot convert. 

foo<int>()(); 

Cela ne veut pas (mais ne se foo est pas paramétrés).

Note: J'ai seulement testé en g ++ 4.5.