Hãy xem xét các đoạn sau:tra cứu tên phụ thuộc vào chức năng template: kêu vang từ chối, gcc chấp nhận
struct X { };
namespace foo {
template <class T>
void bar() { T{} < T{}; }
void operator<(const X&, const X&) {}
}
int main() {
foo::bar<X>();
}
kêu vang từ chối mã này, gcc chấp nhận nó. Đây có phải là lỗi gcc hay là lỗi này?
GCC sai Clang là chính xác. Thực tế là GCC nuốt mã không hợp lệ như mã mà bạn đã cho thấy cũng được đề cập trong trang tương thích của CLANG here.
Tên không đủ tiêu chuẩn được tra cứu theo các cách sau.
operator< chưa được khai báo vào thời điểm này, tra cứu không đủ tiêu chuẩn sẽ không tìm thấy.Tôi tin rằng đây là lỗi gcc, được nộp là 70099. Từ [temp.dep.res]:
Trong việc giải quyết các tên thuộc, tên từ các nguồn sau đây được coi là:
(1.1) - Khai báo rằng có thể nhìn thấy tại thời điểm định nghĩa của mẫu.
(1.2) - Tuyên bố từ các không gian tên được liên kết với các loại đối số hàm cả từ bối cảnh instantiation (14.6.4.1) và từ ngữ cảnh định nghĩa.
foo::operator<() không nhìn thấy được tại thời điểm định nghĩa của mẫu, và không phải là trong một không gian tên liên quan đến từ các đối số chức năng (X 's liên quan đến không gian tên chỉ là không gian tên toàn cầu ::). Vì vậy, tôi nghĩ rằng gcc là sai để tìm foo::operator< và kêu vang là chính xác để từ chối mã.
Tôi không thấy đó là lỗi vì loại 'T' có thể tham chiếu đến bất kỳ loại nào. Nếu kiểu đó 'T' không quá tải hoặc hỗ trợ toán tử' <'thì hàm' bar' sẽ thất bại. Vì bạn đã quá tải toán tử '<' nên tất cả đều tốt. Tôi đoán nó tất cả đi xuống để làm thế nào trình biên dịch đọc mã, nhưng ngữ nghĩa khôn ngoan nó không phải là dễ bị lỗi. – Poriferous
@ Poriferous Điều đó không có ý nghĩa gì cả. Câu hỏi đặt ra là về hành vi đúng của 'bar()' là cho các kiểu 'T' không có' toán tử <'. Hành vi đúng là: "có, nó tìm' bar :: operator <'" (trong trường hợp này, clang có lỗi) hoặc "mã bị lỗi" (trong trường hợp này, gcc có lỗi). – Barry
Điều đó không có ý nghĩa bởi vì 'bar' là một hàm và không có toán tử' thành viên <'. Vì bạn đã định nghĩa 'toán tử <' cho struct 'X', tôi thực sự không thấy vấn đề là gì ở đây. Ngay cả khi quá tải của toán tử được nhúng trong cấu trúc 'X' thì mã vẫn phải biên dịch chính xác. Để công bằng, đó là tiếng kêu có lỗi kể từ khi nó xuất hiện để giả định một loại là gì. Tôi có nghĩa là, bạn đã thử thay thế 'foo :: thanh()' với một cái gì đó như 'foo :: thanh ()' và xem nếu clang từ chối mã đó quá? –
Poriferous