เหตุใดฉันจึงใช้รถยนต์เป็นประเภทส่วนตัว

ฉันรู้สึกประหลาดใจอย่างยิ่งที่โค้ดต่อไปนี้รวบรวมและทำงาน (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กับประเภทส่วนตัวในขณะที่ฉันไม่สามารถใช้ชื่อได้ (ตามที่คาดไว้)

กฎสำหรับautoส่วนใหญ่เหมือนกับการลดประเภทเทมเพลต ตัวอย่างที่โพสต์ทำงานได้ด้วยเหตุผลเดียวกันกับที่คุณสามารถส่งผ่านวัตถุประเภทส่วนตัวไปยังฟังก์ชันเทมเพลต:

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

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

และทำไมเราสามารถส่งวัตถุประเภทส่วนตัวไปยังฟังก์ชันเทมเพลตคุณถาม เพราะเฉพาะชื่อของประเภทที่ไม่สามารถเข้าถึงได้ ประเภทตัวเองยังคงใช้งานได้ซึ่งเป็นเหตุผลที่คุณสามารถส่งคืนรหัสลูกค้าได้เลย

การควบคุมการเข้าถึงถูกนำไปใช้ชื่อ เปรียบเทียบกับตัวอย่างนี้จากมาตรฐาน:

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
}

คำถามนี้ได้รับการตอบรับอย่างดีจากทั้งเย็นและ R. Martinho Fernandes

ฉันไม่สามารถทิ้งโอกาสที่จะตอบคำถามด้วยการเปรียบเทียบ Harry Potter:

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

    friend class Harry;
};

class Harry : Wizard
{
public:
    Wizard::LordVoldemort;
};

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

https://ideone.com/I5q7gw

ขอบคุณเควนตินที่เตือนฉันถึงช่องโหว่ของแฮร์รี่

หากต้องการเพิ่มคำตอบอื่น ๆ (ดี) ต่อไปนี้เป็นตัวอย่างจาก C ++ 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 ++ ทุกรุ่น