Đây có phải là mã C++ 0x chính xác không?

Question

Đã thử điều này trong GCC 4.6 và nó biên dịch và liên kết, nhưng đưa ra thông báo "lỗi bus" khi chạy trên MacOS. VS2010 thậm chí không biên dịch nó.

Nhưng câu hỏi đặt ra là, liệu điều này có thực sự hoạt động ở chuẩn C++ 0x không?

#include <cstdio> 
int (*main)()=[]()->int{printf("HEY!\n");return 0;}; 

Có, điều bạn đang cố làm là định nghĩa "chính" làm hàm lambda.

Answer 1

Đây không phải là chương trình C++ hợp lệ, vì biểu tượng main không được định nghĩa là hàm, mà là một con trỏ để hoạt động. Đó là lý do tại sao bạn nhận được lỗi phân đoạn - thời gian chạy là cố gắng thực hiện một con trỏ.

Answer 2

Không, điều này không chính xác.

Chính là một chức năng đặc biệt và có những yêu cầu nghiêm ngặt đối với nó (thậm chí nghiêm ngặt hơn chức năng thông thường), nhưng bạn cũng đang gây nhầm lẫn giữa hàm là gì và con trỏ trỏ đến hàm nào.

Vấn đề logic là có sự khác biệt giữa hàm và biến chứa con trỏ trỏ đến hàm (bạn muốn chính). Một hàm có địa chỉ cố định trong bộ nhớ, do đó, để gọi một hàm mà địa chỉ được gọi đơn giản. Một con trỏ đến một hàm điểm đến một địa chỉ trong bộ nhớ, do đó, để gọi hàm bạn cần trước tiên để đọc những gì con trỏ trỏ đến và sau đó gọi địa chỉ đó.

Một con trỏ tới hàm có mức độ khác nhau của tính không xác định từ một hàm.

Cú pháp giống nhau ... tức là nếu x là con trỏ đến hàm bạn có thể viết x(42), nhưng mã máy được tạo khác nếu x thay vào đó là hàm (trong trường hợp con trỏ, giá trị phải được tra cứu và địa chỉ cuộc gọi được xác định tại thời gian chạy, với một hàm địa chỉ được cố định - lên để di dời - và được xác định tại thời gian liên kết).

Answer 3

Để di chuyển giữa các trình biên dịch và triển khai thư viện chuẩn, printf() phải là tiêu chuẩn :: printf() khi #including <cstdio>. Và các nội dung khác về chính không hợp lệ().

Answer 4

Bây giờ, nó thậm chí không nên biên dịch. Biểu thức lambda tạo ra một kiểu (một hàm functor). Không có chuyển đổi ẩn từ kiểu sang con trỏ hàm.

Tùy thuộc vào trình biên dịch, chức năng main có thể có liên kết C++ hoặc C (được thực hiện được xác định). Biểu thức Lambda trả về kiểu C++ với toán tử gọi hàm, do đó liên kết C++.