घोषणा में परिवर्तन प्रतीक

Question

का अर्थ निम्न कोड के लिए:

struct foo {}; 

struct A 
{ 
    typedef foo foo_type; 

    void foo(); 
}; 

जीसीसी एक संकलक त्रुटि देता है:

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 ::foo foo_type में बदल दिया गया है, तो दोनों जीसीसी और क्लैंग कोड स्वीकार करते हैं।

Answer 1

जीसीसी सही है, लेकिन बजना एक नैदानिक ​​(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(); की घोषणा समारोह foo के नाम के struct foo की चर्चा करते हुए से typedef में foo के अर्थ बदल जाता है।