方法的聲明改變符號

Question

的意義對於下面的代碼：

struct foo {}; 

struct A 
{ 
    typedef foo foo_type; 

    void foo(); 
}; 

GCC給出一個編譯器錯誤：

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 {}; 
     ^

但鐺接受它，沒有編譯器錯誤。誰是對的？

請注意，如果typedef被刪除或更改爲typedef ::foo foo_type，那麼gcc和clang都會接受該代碼。

Answer 1

GCC是正確的，但不要求鐺給診斷（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.

這是因爲類範圍是如何工作的。的void foo();的foo是類A的整個範圍內的可見光，因此void foo();聲明從指struct foo的功能foo的名字改變了的typedef foo意義。