Tại sao tôi nhận được lỗi khấu trừ loại cho lambda trả về lambda với nhiều đường dẫn trả về?

Question

Tôi có đoạn mã sau:

int main() { 
    auto f = [] { 
     if (1) return [] { return 1; }; 
     else return [] { return 2; }; 
    }; 
    return f()(); 
} 

điều này làm tăng lỗi biên dịch sau đây sử dụng GCC 5.2.1:

error: inconsistent types ‘main()::<lambda()>::<lambda()>’ and 
     ‘main()::<lambda()>::<lambda()>’ deduced for lambda 
     return type else return [] { return 2; }; 

Bây giờ rõ ràng là hai loại nhìn giống nhau, vì vậy tôi không chắc chắn nếu đây là GCC với một thông báo lỗi gây hiểu lầm hoặc nếu nó thực sự là một lỗi. Theo kiến ​​thức của tôi, điều này sẽ được biên dịch; kiểu trả về lambda nên được suy ra là std::function<int()>. Thật thú vị, nếu tôi khai báo trước lambda return và trả về cùng một biến hai lần, nó hoạt động.

Có ai có thể làm sáng tỏ điều gì đang xảy ra không? Tôi đã tìm thấy các câu hỏi tương tự, nhiều lỗi do lỗi GCC, nhưng điều này có vẻ khác.

Answer 1

Bây giờ rõ ràng là hai loại là như nhau,

Không, họ không phải vậy. Kiểu của mọi biểu thức lambda là một kiểu riêng biệt, độc đáo.

Từ [expr.prim.lambda]/3:

Các loại lambda-biểu (mà cũng là kiểu của đối tượng đóng) là một độc đáo, chưa đặt tên lớp phi công đoàn loại - được gọi là loại đóng cửa - thuộc tính được mô tả bên dưới.

Do đó, kiểu trả về khấu trừ cho fkhông và không dẫn đến std::function<int()>. Sau này là một loại thư viện không liên quan mà không phải bằng cách nào đó kỳ diệu là "loại phổ biến" của bất kỳ loại đóng cửa nào.

Tất nhiên mỗi loại đóng cửa độc đáo có thể chuyển-std::function<int()>, vì vậy nếu bạn cung cấp các loại trở lại, mọi thứ hoạt động:

auto f = []() -> std::function<int()> { 
    return 1 ? []() { return 1; } 
      : []() { return 2; }; 
}; 

Hoặc, như một chức năng đơn giản:

std::function<int()> f() { 
    return 1 ? []() { return 1; } 
      : []() { return 2; }; 
} 

Answer 2

Mọi lambda đều có loại duy nhất của riêng nó:

Th biểu thức lambda e xây dựng một đối tượng tạm thời không xác định tên là duy nhất loại không tổng hợp phi đoàn kết chưa được đặt tên [...].

Từ here, nhấn mạnh tôi.

Ngoài ra, lambdas không có gì để làm với std::function, đó là một loại khác.Đặc biệt,

[] { return 1; } 

và

[] { return 2; } 

có các loại khác nhau. Đây là lý do tại sao khấu trừ không thành công.

Answer 3

Các loại đó là không phải là giống nhau. Mỗi lambda là một thể hiện của một kiểu duy nhất, chưa được đặt tên. std::function là mẫu có thể được chuyển đổi hoàn toàn từ các đối tượng có thể gọi thích hợp bao gồm lambdas, nhưng không có sự khởi tạo nào của std::function là loại hoặc loại gốc của bất kỳ lambda nào để không thể suy ra.

Tuy nhiên, bạn có thể nói với trình biên dịch mà bạn muốn nó trở lại std::function và nó sẽ làm việc:

auto f = []() -> std::function<int()> { 
    if (1) return [] { return 1; }; 
    else return [] { return 2; }; 
}