Fonksiyon aşırı yük kullanarak lambda fonksiyonu imza

Question

foo çağrısı belirsiz olduğu söylenir çünkü bu, derleme değil

void foo(const std::function<int()>& f) { 
    std::cout << f() << std::endl; 
} 

void foo(const std::function<int(int x)>& f) { 
std::cout << f(5) << std::endl; 
} 

int main() { 
    foo([](){return 3;}); 

    foo([](int x){return x;}); 
} 

aşağıdaki örneği inceleyin. Anlayabildiğim kadarıyla, bu lambda işlevi bir std::function priori değil, ama o döküm edilmeli ve keyfi bir argüman alır bir std::function yapıcı vardır. Birisi bana neden herhangi birinin keyfi bir argümanı alan örtülü bir kurucu oluşturacağını açıklayabilir. Ancak benim akut soru, bir foo fonksiyonunu aşırı yüklemek için lambda fonksiyonlarının fonksiyon imzasını kullanmasına izin veren bir geçici çözüm olup olmadığıdır. İşlev işaretçileri denedim, ancak bu işe yaramadı çünkü lambda işlevlerini yakalamak normal bir işlev işaretçisine dönüştürülemiyor.

Herhangi bir yardım en hoş geldiniz.

Answer 1

Derleyiciniz, C++ 11'e göre doğrudur. C++ 14'te, argüman türü aslında std::function argüman türleri ile değiştirilemediği sürece, kurucu şablonunun aşırı yüklenmeye katılmayacağını söyleyen bir kural eklenir. Bu nedenle, bu kod C++ 14'te derlenip C++ 11'de derlenmemelidir. Bunu C++ 11'de bir gözetleme olarak düşünün.

Şimdilik, açık dönüşüm ile bu çalışabilirsiniz:

foo(std::function<int()>([](){return 3;})); 

Answer 2

http://coliru.stacked-crooked.com/a/26bd4c7e9b88bbd0

alternatif std için :: fonksiyon şablonları kullanmaktır. Şablonlar std :: function ile ilişkili bellek ayırma yükünden kaçınır. Şablon tipi kesinti makineleri, arama sahası kalıbının ortadan kalkması için iletilen lambda'nın doğru türünü çıkartacaktır. Bununla birlikte, hala sahip olduğunuz, arketörlerin kasalarına karşı aşırı yükleri ortadan kaldırır.

Bunu, enable_if ile benzer davranan son dönüş türlerine sahip bir numara kullanarak yapabilirsiniz.

template<typename Callable> 
auto baz(Callable c) 
    -> decltype(c(5), void()) 
{ 
    std::cout << c(5) << std::endl; 
} 

Baz yukarıda aşırı yük yalnızca şablon parametresi Callable bunu yapmak için bu üstündeki daha gelişmiş mekanizmalar koyabilirsiniz 5.

bir argümanla çağrılabilir geçerli bir aşırı yük aday olacak daha genel (yani, uyumsuzluğa dönüşen değişkenli paket genişlemesi) ancak temel mekanizmanın çalışmasını göstermek istedim.