Tuyên bố của phương pháp thay đổi ý nghĩa của biểu tượng

Question

Đối với đoạn mã sau:

struct foo {}; 

struct A 
{ 
    typedef foo foo_type; 

    void foo(); 
}; 

GCC đưa ra một lỗi biên dịch:

test.cpp:7:14: error: declaration of 'void A::foo()' [-fpermissive] 
    void foo(); 
      ^
test.cpp:1:8: error: changes meaning of 'foo' from 'struct foo' [-fpermissive] 
struct foo {}; 
     ^

Nhưng vang chấp nhận nó mà không có lỗi biên dịch. Ai đúng?

Lưu ý rằng nếu typedef bị xóa hoặc thay đổi thành typedef ::foo foo_type, cả gcc và clang sẽ chấp nhận mã.

Answer 1

gcc là đúng, nhưng kêu vang không cần thiết để đưa ra một chẩn đoán (3.3.7):

A name N used in a class S shall refer to the same declaration in its context and when re-evaluated in the completed scope of S. No diagnostic is required for a violation of this rule.

Điều này là do phạm vi lớp học làm việc như thế nào. Các foo của void foo(); có thể nhìn thấy trong toàn bộ phạm vi của lớp A, vì vậy việc kê khai của void foo(); thay đổi ý nghĩa của foo trong typedef từ đề cập đến struct foo đến tên của hàm foo.