ค่าปิดของแลมบ์ดาสามารถส่งผ่านเป็นพารามิเตอร์อ้างอิง rvalue ได้

ฉันพบว่าการlvalueปิดแลมบ์ดาสามารถส่งผ่านเป็นrvalueพารามิเตอร์ฟังก์ชันได้เสมอ

ดูการสาธิตง่ายๆดังต่อไปนี้

#include <iostream>
#include <functional>

using namespace std;

void foo(std::function<void()>&& t)
{
}

int main()
{
    // Case 1: passing a `lvalue` closure
    auto fn1 = []{};
    foo(fn1);                          // works

    // Case 2: passing a `lvalue` function object
    std::function<void()> fn2 = []{};
    foo(fn2);                          // compile error

    return 0;
}

กรณีที่ 2 เป็นพฤติกรรมมาตรฐาน (ฉันเพิ่งใช้std::functionเพื่อวัตถุประสงค์ในการสาธิต แต่ประเภทอื่น ๆ จะทำงานเหมือนกัน)

เคส 1 ทำงานอย่างไรและทำไม? สถานะการfn1ปิดหลังจากฟังก์ชั่นกลับมาคืออะไร?

เคส 1 ทำงานอย่างไรและทำไม?

กล่าวอ้างfooต้องใช้อินสแตนซ์ของstd::function<void()>ผูกไปยังที่อ้างอิง rvalue std::function<void()>สามารถสร้างจากวัตถุที่สามารถโทรได้ใด ๆที่เข้ากันได้กับvoid()ลายเซ็น

ประการแรกชั่วคราววัตถุถูกสร้างขึ้นมาจากstd::function<void()> []{}ตัวสร้างที่ใช้คือ # 5 ที่นี่ซึ่งคัดลอกการปิดลงในstd::functionอินสแตนซ์:

template< class F >
function( F f );

std::move(f)เริ่มต้นเป้าหมายด้วย ถ้าfเป็นตัวชี้โมฆะในการทำงานหรือตัวชี้โมฆะให้กับสมาชิก*thisจะว่างเปล่าหลังจากการโทร

จากนั้นfunctionอินสแตนซ์ชั่วคราวจะถูกผูกไว้กับการอ้างอิง rvalue

สถานะของการปิด fn1 คืออะไรหลังจากฟังก์ชั่นกลับมา?

เหมือนเมื่อก่อนเพราะมันถูกคัดลอกไปยังstd::functionอินสแตนซ์ การปิดต้นฉบับไม่ได้รับผลกระทบ

std::functionแลมบ์ดาไม่ได้เป็น การอ้างอิงที่ไม่ได้ผูกโดยตรง

กรณีที่ 1 ใช้งานได้เพราะ lambdas สามารถแปลงเป็นstd::functions ได้ ซึ่งหมายความว่าชั่วคราวstd::functionมีรูปธรรมโดยการคัดลอก fn1กล่าวว่าชั่วคราวสามารถที่จะถูกผูกไว้กับการอ้างอิง rvalue และเพื่อให้อาร์กิวเมนต์ตรงกับพารามิเตอร์

และคัดลอกเป็นเหตุผลที่ได้รับผลกระทบทั้งหมดโดยสิ่งที่เกิดขึ้นในfn1foo

สถานะของการปิด fn1 คืออะไรหลังจากฟังก์ชั่นกลับมา?

fn1 ไร้สัญชาติเพราะมันจับอะไร

เคส 1 ทำงานอย่างไรและทำไม?

มันทำงานได้เนื่องจากข้อโต้แย้งเป็นประเภทที่แตกต่างจากประเภทที่อ้างอิง rvalue เนื่องจากมีประเภทที่แตกต่างกันจึงมีการพิจารณาการแปลงโดยนัย ตั้งแต่แลมบ์ดาเป็น Callable สำหรับอาร์กิวเมนต์ของเรื่องนี้มันเป็นโดยปริยายแปลงสภาพให้แก่มันผ่านแม่แบบการแปลงสร้างของstd::function std::functionผลลัพธ์ของการแปลงคือค่า prvalue และสามารถถูกรวมกับการอ้างอิง rvalue