, lambda değerini veya referansı geçmeyi kolaylaştırır.

Question

Daha önce benzer bir question sorulmuştur, ama hala kafam karıştı. STL, inanıyorum ki, sadece referans olarak geçmek, çok parçalı bir ortamda sonuçlara yol açabileceğinden, sadece değere göre geçer. İki veya daha fazla iş parçacığı değişebilir bir lambda yürütürken, deyin.

template <typename F> 
inline void invoke(F&& f) 
{ 
    f(); 
} 

Bu, herhangi bir fonksiyon nesnesine bağlanan sadece const& yaptığınız gibi, ama belki de inlining için kötü bir fikir: Ben sadece bir lambda çağırmak istediğinizde Şu anda evrensel referans kullanın. Bir lambda, kopyalayıcı tarafından derleyici tarafından inline daha kolay aktarılıyor mu? Geçilen lambdaların mümkün olduğunca "inline" olmasını isterim.

Answer 1

bir işlev çağrısı operatörü ile küçük bir nesne olarak bir lambda Think:

Yani

class FooLambda { 
    int foo; 
    public: 
    FooLambda(int foo) : foo(foo) {} 
    int operator()(){ return foo; } 
}; 
// ... 
int foo = 1000; 
FooLambda f(foo); 

Gördüğünüz, fonksiyon vücut kendisi eğer o satır içine yerleştirilmiş olabilir:

int foo = 1000; 
auto f = [=]() ->int { return foo; }; 

için biraz eşdeğerdir Aynı çeviri biriminde görüldüğü gibi (ve muhtemelen daha akıllı bazı derleyiciler tarafından olmasa da) görülür. Senin invoke bir şablon olduğundan, bu lamdba gerçek türünü bilir ve büyük bir inlining inhibitörü olan işlev-işaretçi çemberler aracılığıyla atlamak için zorlamazsın. invoke değer veya referans ile çağrılabilir nesne alma

tespit eder bunların önbelleğinde olacak anlamına geliyorsa bir fark işlev gövdesi ya da değil, lokal olarakele değişkenler.