Sollte Lambda in einem templateten Code zu einem Funktionszeiger werden?

Question

Ich habe irgendwo gelesen, dass eine Lambda-Funktion zum Funktionszeiger abfallen sollte, wenn die Aufnahmeliste leer ist. Die einzige Referenz, die ich jetzt finden kann, ist n3052. Mit g ++ (4.5 & 4.6) funktioniert es wie erwartet, es sei denn, das Lambda wird im Template-Code deklariert.

Zum Beispiel der folgende Code kompiliert:

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

Aber es mehr nicht kompilieren, wenn Templat (wenn foo tatsächlich an anderer Stelle genannt wird):

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

Im Referenz oben, ich don Ich sehe keine Erklärung für dieses Verhalten. Ist das eine vorübergehende Einschränkung von g ++, und wenn nicht, gibt es einen (technischen) Grund, dies nicht zuzulassen?

Answer 1

Ich kann keinen Grund denken, dass es speziell nicht erlaubt wäre. Ich vermute, dass es nur eine vorübergehende Einschränkung von g ++ ist.

Ich habe auch versucht ein paar andere Dinge:

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

foo<int>([]{}); 

, das funktioniert.

typedef void (*fun)(void); 

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

foo<int>()(); 

das nicht (aber tut, wenn foo nicht parametriert).

Hinweis: Ich habe nur in g ++ 4.5 getestet.