मैं निजी प्रकार पर ऑटो का उपयोग क्यों कर सकता हूं?

Question

मैं किसी भी तरह हैरान हूँ कि निम्नलिखित कोड को संकलित करता है और रन (vc2012 & gcc4.7.2)

class Foo { 
    struct Bar { int i; }; 
public: 
    Bar Baz() { return Bar(); } 
}; 

int main() { 
    Foo f; 
    // Foo::Bar b = f.Baz(); // error 
    auto b = f.Baz();   // ok 
    std::cout << b.i; 
} 

यह है कि इस कोड ठीक संकलित सही है था? और यह सही क्यों है? मैं निजी प्रकार पर auto का उपयोग क्यों कर सकता हूं, जबकि मैं इसका नाम (अपेक्षित के रूप में) का उपयोग नहीं कर सकता?

Answer 1

auto के नियम अधिकांश भाग के लिए टेम्पलेट प्रकार की कटौती के समान हैं। इसी कारण से आप टेम्पलेट कार्यों के लिए निजी प्रकार की वस्तुओं के लिए पारित कर सकते हैं उदाहरण के पोस्ट काम करता है:

template <typename T> 
void fun(T t) {} 

int main() { 
    Foo f; 
    fun(f.Baz());   // ok 
} 

और क्यों हम टेम्पलेट कार्यों के लिए निजी प्रकार की वस्तुओं पारित कर सकते हैं, आप से पूछना? क्योंकि केवल प्रकार का नाम पहुंच योग्य नहीं है। यह प्रकार अभी भी प्रयोग योग्य है, आप इसे क्लाइंट कोड पर क्यों वापस कर सकते हैं।

Answer 2

एक्सेस नियंत्रण नाम पर लागू होता है। इस उदाहरण से तुलना करें मानक से:

class A { 
    class B { }; 
public: 
    typedef B BB; 
}; 

void f() { 
    A::BB x; // OK, typedef name A::BB is public 
    A::B y; // access error, A::B is private 
} 

Answer 3

अन्य (अच्छा) उत्तर देने के लिए जोड़ने के लिए, यहां सी ++ 98 से एक उदाहरण दिखाता है कि कि इस मुद्दे को वास्तव में सभी

पर auto साथ क्या करना है नहीं करता है

class Foo { 
    struct Bar { int i; }; 
public: 
    Bar Baz() { return Bar(); } 
    void Qaz(Bar) {} 
}; 

int main() { 
    Foo f; 
    f.Qaz(f.Baz()); // Ok 
    // Foo::Bar x = f.Baz(); 
    // f.Qaz(x); 
    // Error: error: ‘struct Foo::Bar’ is private 
} 

निजी प्रकार का उपयोग प्रतिबंधित नहीं है, यह केवल प्रकार का नामकरण कर रहा था। उस प्रकार का एक अज्ञात अस्थायी बनाना ठीक है, उदाहरण के लिए, C++ के सभी संस्करणों में ठीक है।

Answer 4

इस सवाल का जवाब पहले से ही ठंडा और आर मार्टिनो फर्नांडीस द्वारा बहुत अच्छी तरह से दिया गया है।

मैं सिर्फ एक हैरी पॉटर सादृश्य के साथ एक सवाल का जवाब देने के लिए इस अवसर पारित नहीं कर सकता है:।

class Wizard 
{ 
private: 
    class LordVoldemort 
    { 
     void avada_kedavra() 
     { 
      // scary stuff 
     } 
    }; 
public: 
    using HeWhoMustNotBeNamed = LordVoldemort; 
}; 

int main() 
{ 
    Wizard::HeWhoMustNotBeNamed tom; // OK 
    Wizard::LordVoldemort not_allowed; // Not OK 
    return 0; 
}