Mengapa saya dapat menggunakan otomatis pada tipe pribadi?

Entah bagaimana saya terkejut bahwa kode berikut mengkompilasi dan menjalankan (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;
}

Apakah benar kode ini mengkompilasi dengan baik? Dan mengapa itu benar? Mengapa saya bisa menggunakan autotipe pribadi, sementara saya tidak bisa menggunakan namanya (seperti yang diharapkan)?

Aturan untuk autoadalah, untuk sebagian besar, sama dengan pengurangan jenis template. Contoh yang diposting berfungsi karena alasan yang sama Anda bisa meneruskan objek tipe pribadi ke fungsi templat:

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

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

Dan mengapa kita bisa meneruskan objek tipe pribadi ke fungsi templat, Anda bertanya? Karena hanya nama jenisnya yang tidak bisa diakses. Jenisnya sendiri masih dapat digunakan, itulah mengapa Anda dapat mengembalikannya ke kode klien sama sekali.

Kontrol akses diterapkan ke nama . Bandingkan dengan contoh ini dari standar:

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
}

Pertanyaan ini telah dijawab dengan sangat baik oleh chill dan R. Martinho Fernandes.

Saya tidak bisa melewatkan kesempatan untuk menjawab pertanyaan dengan analogi 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

Terima kasih kepada Quentin karena mengingatkanku akan celah Harry.

Untuk menambah jawaban (baik) lainnya, berikut adalah contoh dari C ++ 98 yang menggambarkan bahwa masalah sebenarnya tidak ada hubungannya autosama sekali

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
}

Menggunakan tipe pribadi tidak dilarang, itu hanya penamaan tipe. Membuat temporer yang tidak bernama dari jenis itu boleh saja, misalnya, di semua versi C ++.