İşaretli kodda lambda bozunumunu işlev işaretçisi mi çalıştırmalı?

Question

Yakalama listesi boşsa, lambda işlevinin işaretçiyi işlevini bozması için bir yere okuyorum. Şimdi bulabildiğim tek referans n3052. G ++ (4.5 & 4.6) ile, lambda şablon kodu içinde beyan edilmedikçe, beklendiği gibi çalışır.

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

Ama şablonlu zaman (foo aslında başka bir yerde denir ise) artık derleme değil:

Örneğin aşağıdaki kod derler yukarıdaki referans olarak

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

, ı don Bu davranışın bir açıklamasını görmüyorum. Bu, g ++ 'nın geçici bir sınırlamasıdır ve eğer değilse, buna izin vermemek için bir (teknik) neden var mıdır?

Answer 1

Özellikle izin verilmeyecek bir sebep düşünemiyorum. Sanırım bu sadece g ++ 'nın geçici bir sınırlaması.

Ben de birkaç şey denedik: çalışır

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

foo<int>([]{}); 

. (foo parametreli değilse ama yok) değil

typedef void (*fun)(void); 

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

foo<int>()(); 

.

Not: Yalnızca g ++ 4.5 sürümünde test ettim.