Không có dấu ngoặc đơn trên một hàm tạo không có đối số một tiêu chuẩn ngôn ngữ?

Question

Tôi đã biên soạn một chương trình C++ trong Cygwin bằng cách sử dụng g ++ và tôi đã có một lớp có hàm tạo không có đối số. Tôi đã có dòng:

MyClass myObj(); 
myObj.function1(); 

Và khi cố gắng để biên dịch nó, tôi nhận được tin nhắn:

lỗi: yêu cầu cho thành viên 'Function1' trong 'myObj', mà là loại phi lớp 'MyClass()() '

Sau một ít nghiên cứu, tôi thấy rằng bản sửa lỗi là thay đổi dòng đầu tiên thành MyClass myObj;

Tôi có thể thề là tôi đã thực hiện khai báo hàm dựng rỗng với dấu ngoặc đơn trong C++ trước đây. Đây có lẽ là một hạn chế của trình biên dịch tôi đang sử dụng hay không các tiêu chuẩn ngôn ngữ thực sự nói không sử dụng dấu ngoặc đơn cho một constructor mà không có đối số?

Answer 1

Mặc dù MyClass myObj(); có thể được phân tích cú pháp dưới dạng định nghĩa đối tượng bằng trình khởi chạy trống hoặc khai báo hàm theo tiêu chuẩn ngôn ngữ xác định rằng sự mơ hồ luôn được giải quyết có lợi cho khai báo hàm. Trình khởi tạo dấu ngoặc đơn trống được cho phép trong các ngữ cảnh khác, ví dụ: trong biểu thức new hoặc xây dựng giá trị được khởi tạo tạm thời.

Answer 2

Tiêu chuẩn không yêu cầu dấu ngoặc đơn.

int* x = new int; 

là cú pháp pháp.

Trong trường hợp của bạn myclass myobj(); là mẫu thử nghiệm chức năng. Trong khi đó, myclass myobj; là một biến.

Answer 3

Một lần truy cập phân tích cú pháp khác. Xem ví dụ Sort function does not work with function object created on stack?

Answer 4

Dòng của bạn làm cho trình biên dịch nghĩ rằng bạn đang khai báo hàm có tên myObj, không có đối số và trả về MyClass. Độ phân giải không rõ ràng này thực sự gây phiền nhiễu.

Answer 5

Đây là vấn đề khá nổi tiếng và không phụ thuộc vào trình biên dịch. Về cơ bản, những gì bạn đang làm là tuyên bố một hàm trả về kiểu MyObj. Không ngạc nhiên, bạn không thể gọi hàm tạo của nó. Xem số C++ faq lite để được giải thích tốt

Answer 6

Đây được gọi là vấn đề phân tích cú pháp gây tranh cãi nhất. Khi phân tích cú pháp thấy

MyClass myObj(); 

Nó nghĩ rằng bạn đang định nghĩa một hàm gọi là myObj mà không có tham số và trả về một MyClass.

Để có được xung quanh nó, sử dụng:

MyClass myObj; 

Answer 7

MyClass myObj(); 

Đó là phân tích cú pháp như một khai báo hàm, hàm được gọi myObj, không có đối số và trả về MyClass đối tượng. Tôi chưa bao giờ thấy một trình biên dịch chấp nhận điều đó. Mặt khác, MyClass* myPtr = new MyClass(); là chấp nhận được, có thể khiến bạn bối rối?

Answer 8

Tôi tìm thấy điều này trong tiêu chuẩn C++ (§8.5.8):

An object whose initializer is an empty set of parentheses, i.e.,(), shall be value-initialized.

[Note: since() is not permitted by the syntax for initializer,

X a(); 

is not the declaration of an object of class X, but the declaration of a function taking no argument and returning an X. The form () is permitted in certain other initialization contexts (5.3.4, 5.2.3, 12.6.2). —end note ]