ฟังก์ชันที่ส่งคืนนิพจน์แลมบ์ดา

ฉันสงสัยว่าเป็นไปได้ไหมที่จะเขียนฟังก์ชันที่ส่งคืนฟังก์ชันแลมบ์ดาใน C ++ 11 แน่นอนปัญหาหนึ่งคือวิธีการประกาศฟังก์ชันดังกล่าว แลมบ์ดาแต่ละตัวมีประเภท แต่ประเภทนั้นไม่สามารถแสดงออกได้ใน C ++ ฉันไม่คิดว่าจะได้ผล:

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

ไม่ใช่สิ่งนี้:

int(int) retFun();

ฉันไม่ทราบถึงการแปลงอัตโนมัติใด ๆ จาก lambdas เป็นพูดชี้ไปยังฟังก์ชันหรือบางอย่าง วิธีแก้ปัญหาเดียวคือการประดิษฐ์วัตถุฟังก์ชันและส่งคืนหรือไม่?

คุณไม่จำเป็นต้องใช้วัตถุฟังก์ชันที่ทำด้วยมือเพียงแค่ใช้std::functionซึ่งฟังก์ชันแลมบ์ดาสามารถแปลงสภาพได้:

ตัวอย่างนี้ส่งคืนฟังก์ชันเอกลักษณ์จำนวนเต็ม:

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

สำหรับตัวอย่างง่ายๆนี้คุณไม่จำเป็นต้องstd::functionใช้

จากมาตรฐาน§5.1.2 / 6:

ประเภทการปิดสำหรับlambda-expression ที่ไม่มีlambda-captureมีฟังก์ชันการแปลง const แบบ non-virtual ที่ไม่ชัดเจนแบบสาธารณะเป็นตัวชี้ไปที่ฟังก์ชันที่มีพารามิเตอร์และชนิดส่งคืนเดียวกันกับตัวดำเนินการเรียกฟังก์ชันของประเภทการปิด ค่าที่ส่งคืนโดยฟังก์ชันการแปลงนี้จะเป็นที่อยู่ของฟังก์ชันที่เมื่อเรียกใช้จะมีผลเช่นเดียวกับการเรียกใช้ตัวดำเนินการเรียกฟังก์ชันของประเภทการปิด

เนื่องจากฟังก์ชันของคุณไม่มีการจับภาพหมายความว่าแลมบ์ดาสามารถแปลงเป็นตัวชี้เป็นฟังก์ชันประเภทint (*)(int):

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

นั่นคือความเข้าใจของฉันแก้ไขฉันถ้าฉันผิด

คุณสามารถส่งคืนฟังก์ชันแลมบ์ดาจากฟังก์ชันแลมด้าอื่น ๆ ได้เนื่องจากคุณไม่ควรระบุประเภทการส่งคืนของฟังก์ชันแลมบ์ดาอย่างชัดเจน เพียงแค่เขียนสิ่งที่ต้องการในขอบเขตทั่วโลก:

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

แม้ว่าคำถามจะถามโดยเฉพาะเกี่ยวกับ C ++ 11 เพื่อประโยชน์ของผู้อื่นที่สะดุดกับสิ่งนี้และสามารถเข้าถึงคอมไพเลอร์ C ++ 14 ได้ตอนนี้ C ++ 14 อนุญาตให้ใช้ประเภทผลตอบแทนที่อนุมานได้สำหรับฟังก์ชันทั่วไป ดังนั้นตัวอย่างในคำถามสามารถปรับเปลี่ยนเพื่อให้ทำงานได้ตามต้องการเพียงแค่วาง-> decltype... อนุประโยคหลังรายการพารามิเตอร์ฟังก์ชัน:

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

อย่างไรก็ตามโปรดทราบว่าสิ่งนี้จะไม่ทำงานหากมีมากกว่าหนึ่งรายการreturn <lambda>;ปรากฏในฟังก์ชัน เนื่องจากข้อ จำกัด ในการหักประเภทผลตอบแทนคือคำสั่ง return ทั้งหมดต้องส่งคืนนิพจน์ประเภทเดียวกัน แต่ทุกอ็อบเจ็กต์แลมบ์ดาจะได้รับประเภทที่ไม่ซ้ำกันโดยคอมไพลเลอร์ดังนั้นreturn <lambda>;นิพจน์แต่ละรายการจะมีประเภทที่แตกต่างกัน

คุณควรเขียนดังนี้:

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

เพื่อรับผลตอบแทนของคุณเป็นฟังก์ชันและใช้มันเช่น:

int val = returnFunction(someNumber);

หากคุณไม่มี c ++ 11 และกำลังรันโค้ด c ++ ของคุณบนไมโครคอนโทรลเลอร์เช่น คุณสามารถส่งคืนตัวชี้ที่ว่างเปล่าแล้วทำการแคสต์

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();
}