Tại sao một lambda chuyển đổi thành một bool có giá trị là đúng?

Question

#include <iostream> 

void IsTrue(const bool value) { 
    if (value) { 
    std::cout << "value is True!\n"; 
    } 
} 

int main() 
{ 
    IsTrue([]() { ; /* some lambda */ }); 

    return 0; 
} 

Output:

value is True! 

Tại sao lambda đánh giá để true trên GCC & Clang? MSVC không thể xây dựng này (không thể chuyển đổi lambda thành bool).

Đây có phải là lỗi trình biên dịch không? Hoặc đoạn nào của tiêu chuẩn cho phép điều này?

Answer 1

Tiêu chuẩn C++ 14 (§5.1.2) nói:

Kiểu đóng cửa cho một lambda-biểu hiện không chung không có lambda-chụp có một tổ chức phi công chuyển đổi const không ảo rõ ràng chức năng đến con trỏ tới hàm với liên kết ngôn ngữ C++ (7.5) có cùng tham số và kiểu trả về với kiểu kết thúc là toán tử gọi hàm . Giá trị trả về bởi hàm chuyển đổi này sẽ là địa chỉ của hàm mà khi được gọi, có cùng hiệu lực khi gọi toán tử gọi hàm của loại đóng.

Vì con trỏ hàm được chuyển đổi hoàn toàn thành bool, bạn nhận được kết quả bạn đã hiển thị. Điều này hoàn toàn hợp pháp.

MSVC không biên dịch điều này vì toán tử chuyển đổi này bị quá tải với các quy ước gọi điện khác nhau (__stdcall, __cdecl, v.v.). Khi biên dịch cho x64 tất cả các quy ước gọi đó không được sử dụng, do đó, chỉ có một toán tử chuyển đổi và nó biên dịch tốt.