Il decadimento lambda deve funzionare con il puntatore nel codice di modello?

Question

Ho letto da qualche parte che una funzione lambda dovrebbe decadere per funzionare con il puntatore se la lista di cattura è vuota. L'unico riferimento che posso trovare ora è n3052. Con g ++ (4.5 & 4.6) funziona come previsto, a meno che la lambda non sia dichiarata nel codice del modello.

Ad esempio, il seguente codice compilato:

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

Ma non si compila più quando su modelli (se foo è in realtà chiamato altrove):

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

Nel riferimento sopra, don vediamo una spiegazione di questo comportamento. Si tratta di una limitazione temporanea di g ++, e se no, c'è una ragione (tecnica) per non permetterlo?

Answer 1

Non riesco a pensare a nessun motivo che sarebbe stato specificamente respinto. Immagino che sia solo una limitazione temporanea di g ++.

Ho provato anche un paio di altre cose:

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

foo<int>([]{}); 

che funziona.

typedef void (*fun)(void); 

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

foo<int>()(); 

che non (ma non se foo non è parametrizzato).

Nota: ho eseguito il test solo in g ++ 4.5.