Lambda ifadesi döndüren işlev

C ++ 11'de bir lambda işlevi döndüren bir işlev yazmanın mümkün olup olmadığını merak ediyorum. Elbette bir sorun, böyle bir işlevin nasıl beyan edileceğidir. Her lambda'nın bir türü vardır, ancak bu tür C ++ 'da ifade edilemez. Bunun işe yarayacağını sanmıyorum:

auto retFun() -> decltype ([](int x) -> int)
{
    return [](int x) { return x; }
}

Ne de bu:

int(int) retFun();

Lambdalardan, örneğin işaretçilerden işlevlere veya benzerlerine otomatik dönüşümlerin farkında değilim. Tek çözüm bir işlev nesnesini el işçiliği ile döndürmek mi?

El yapımı bir işlev nesnesine ihtiyacınız yok, sadece std::functionlambda işlevlerinin dönüştürülebildiği kullanın:

Bu örnek, tamsayı kimlik işlevini döndürür:

std::function<int (int)> retFun() {
    return [](int x) { return x; };
}

Bu basit örnek için ihtiyacınız yok std::function.

Standart §5.1.2 / 6'dan:

Bir için kapalı tip lambda ekspresyonu hiçbir ile lambda yakalama kapak tipinin işlev çağrısı operatörü olarak aynı parametre ve dönüş türleri olan işlevi için işaretçi için bir kamu sanal olmayan açık olmayan const dönüştürme işlevi vardır. Bu dönüştürme işlevi tarafından döndürülen değer, çağrıldığında, kapanış türünün işlev çağrısı operatörünü çağırmakla aynı etkiye sahip olan bir işlevin adresi olacaktır.

İşlevinizin bir yakalama içermediğinden, lambda türünün işlevine bir işaretçiye dönüştürülebileceği anlamına gelir int (*)(int):

typedef int (*identity_t)(int); // works with gcc
identity_t retFun() { 
  return [](int x) { return x; };
}

Benim anlayışım bu, yanılıyorsam düzeltin.

Lambda işlevinin dönüş türünü açıkça belirtmemeniz gerektiğinden, diğer lambda işlevinden lambda işlevini döndürebilirsiniz. Küresel kapsamda böyle bir şey yazmanız yeterli:

 auto retFun = []() {
     return [](int x) {return x;};
 };

Soru özellikle C ++ 11 hakkında soru sorsa da, bununla karşılaşan ve bir C ++ 14 derleyicisine erişimi olan başkaları uğruna, C ++ 14 artık sıradan işlevler için çıkarılmış dönüş türlerine izin veriyor. Dolayısıyla, sorudaki örnek -> decltype, fonksiyon parametre listesinden sonra ... cümlesini bırakarak sadece istendiği gibi ayarlanabilir :

auto retFun()
{
    return [](int x) { return x; }
}

Ancak, birden fazla olması durumunda bunun işe yaramayacağını unutmayın. return <lambda>; işlevde göründüğünde . Bunun nedeni, dönüş türü kesintisinin tüm dönüş ifadelerinin aynı türden ifadeler döndürmesi gerektiğidir, ancak her lambda nesnesine derleyici tarafından kendi benzersiz türü verilir, bu nedenle return <lambda>;ifadelerin her biri farklı bir türe sahip olacaktır.

Şöyle yazmalısın:

auto returnFunction = [](int x){
    return [&x](){
        return x;
    }();
};

dönüşünüzü bir işlev olarak almak ve aşağıdaki gibi kullanmak için:

int val = returnFunction(someNumber);

Örneğin, c ++ 11'e sahip değilseniz ve c ++ kodunuzu mikro denetleyiciler üzerinde çalıştırıyorsanız. Bir boşluk göstericisine geri dönebilir ve ardından bir atış yapabilirsiniz.

void* functionThatReturnsLambda()
{
    void(*someMethod)();

    // your lambda
    someMethod = []() {

        // code of lambda

    };

    return someMethod;
}


int main(int argc, char* argv[])
{

    void* myLambdaRaw = functionThatReturnsLambda();

    // cast it
    auto myLambda = (void(*)())myLambdaRaw;

    // execute lambda
    myLambda();
}