Gọi mơ hồ đến chức năng tĩnh quá tải

Question

Tôi đang bối rối bởi tình huống này và googling đã không cho tôi câu trả lời. Về cơ bản tôi có mã đơn giản sau đây mà không biên dịch:

#include <iostream> 

class A 
{ 
public: 
    int a(int c = 0) { return 1; } 
    static int a() { return 2; } 
}; 

int main() 
{ 
    std::cout << A::a() << std::endl; 
    return 0; 
} 

Trong biên soạn này, GCC 4.2 cho biết cuộc gọi đến A::a() trong main() không rõ ràng với cả hai phiên bản a() ứng cử viên hợp lệ. Trình biên dịch LLVM của Apple 3.0 biên dịch không có lỗi.

Tại sao gcc nhầm lẫn về chức năng tôi muốn gọi? Tôi nghĩ rõ ràng là bằng cách đủ điều kiện a() với A:: Tôi yêu cầu phiên bản static của hàm. Đương nhiên mã này vẫn không biên dịch nếu tôi xóa chức năng statica(), vì A::a() không phải là cú pháp hợp lệ để gọi số .

Cảm ơn mọi nhận xét!

Answer 1

Lý do cho điều này là vì C++ xác định rằng điều này không rõ ràng. Độ phân giải quá tải chỉ định rằng đối với A::a, vì this không nằm trong phạm vi, danh sách đối số trong cuộc gọi đó được tăng thêm bởi contrived Đối số đối tượng, thay vì *this. Độ phân giải quá tải không loại trừ các chức năng thành viên không tĩnh, nhưng thay vào đó là

Nếu danh sách đối số được tăng cường bởi đối tượng contrived và độ phân giải quá tải chọn một trong các chức năng thành viên không tĩnh của T, cuộc gọi bị hỏng .

Điều này gần đây đã được thảo luận rộng rãi cả trong ủy ban theo ngữ cảnh core issue 1005. Xem core issue 364 xem xét việc thay đổi quy tắc này nhưng không làm như vậy.

Answer 2

Lý do là độ phân giải tên xảy ra trước bất kỳ trình biên dịch nào khác, như tìm ra chức năng quá tải để sử dụng.

Đủ điều kiện chức năng với A:: chỉ cần yêu cầu trình biên dịch "nhìn vào bên trong của A để tìm tên a". Nó không thực sự giúp giải quyết chức năng mà bạn đang đề cập đến.

EDIT

Và như vậy khi bạn gõ A::a(), đầu tiên trình biên dịch cho rằng "nhìn vào A cho một hàm thành viên hoặc thành viên những người có thể sử dụng operator()".

Sau đó trình biên dịch cho rằng, "Ok, hai khả năng ở đây, cái nào được nhắc đến? a() hoặc a(int c = 0) với một mặc định c=0. Không chắc.

Nếu bạn loại bỏ các từ khóa tĩnh và gọi là các chức năng như obj.a() , vẫn sẽ là một sự mơ hồ.

WRT phân tích cú pháp LLVM của

tôi sẽ nói rằng nó làm một số công việc bổ sung cho bạn, mà không được yêu cầu của tiêu chuẩn, đó sẽ là giả sử A::a() là tĩnh.