Beyanı aşağıdaki kodu için sembol

Question

anlamını değiştirir:

struct foo {}; 

struct A 
{ 
    typedef foo foo_type; 

    void foo(); 
}; 

GCC bir derleyici hata veriyor:

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

Ama clang derleyici hataları olmadan kabul eder. Kim haklı? typedef typedef ::foo foo_type kaldırıldı veya değiştirilirse, gcc, clang hem kod kabul etmesini

Not.

Answer 1

gcc doğru fakat çınlama tanısal (3.3.7) verecek şekilde gerekli değildir:

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.

Bunun nedeni sınıf kapsamı nasıl çalıştığının olduğunu. void foo(); arasında foo sınıfı A arasında tüm kapsamında görünür, yani void foo(); beyanı fonksiyonu foo adına struct foo atıfta gelen Typedef içinde foo anlamını değiştirir.