Domyślnie argumentem pozwalając konstruktor zadzwonić Metoda prywatna

Question

mam klasę

class A 
{ 
public: 
    class Key 
    { 
     Key() {} 
     Key(Key const &) {} 
    }; 

    A(Key key, int a = 5) {} 
}; 

Konstruktor Key jest prywatny, więc nikt nie powinien być w stanie zbudować obiekt A. Jednak z następującego kodu:

int main() { 
    A a(A::Key()); // this compiles !!! 
    A a2(A::Key(), 5); // this doesn't 
    // somehow defaulting the argument causes the private constructor 
    // to be OK - no idea why 
    return 0; 
} 

poprzez wykorzystanie standardowego argumentu dla int a w moim konstruktora, kompilator szczęśliwie kompiluje mój wykorzystanie A::Key() pomimo faktu, że jest prywatny. Jeśli jednak jawnie podam wartość dla a, kompilator poprawnie rozpoznaje, że próbuję użyć prywatnego konstruktora i błędy. Dlaczego to? Czy jest jakiś sposób, aby zmusić kompilator do błędu również w pierwszym przykładzie?

Zobacz przykład na żywo z przykładu here.

Answer 1

Dzieje się tak z powodu najbardziej irytującej analizy.

A a(A::Key()); 

nie tworzy A nazwie a i zbudować go z tymczasowym A::Key. Tworzy on funkcję a, która zwraca wartość A i pobiera wskaźnik bez nazwy do funkcji, która zwraca wartość A::Key.

Jeśli dodać parę nawiasów do niego dostaniesz błąd kompilatora

A a((A::Key())); 

że próbujesz zadzwonić prywatny konstruktor. Alternatywnie można użyć mundurowych inicjalizacji który również disambiguate ją i spowoduje błąd kompilacji

A a(A::Key{});