Jak zaprzyjaźnić się z konstruktorem klasy szablonowej?

Question

Dlaczego

class A; 
template<typename T> class B 
{ 
private: 
    A* a; 

public: 
    B(); 
}; 


class A : public B<int> 
{ 
private:  
    friend B<int>::B<int>(); 
    int x; 
}; 


template<typename T> 
B<T>::B() 
{ 
    a = new A; 
    a->x = 5; 
} 

int main() { return 0; } 

wynik w

../src/main.cpp:15: error: invalid use of constructor as a template
../src/main.cpp:15: note: use ‘B::B’ instead of ‘B::class B’ to name the constructor in a qualified name

jeszcze do zmieniających friend B<int>::B<int>()friend B<int>::B() wyników w

../src/main.cpp:15: error: no ‘void B::B()’ member function declared in class ‘B’

podczas usuwania szablonu całkowicie

class A; 
class B 
{ 
private: 
    A* a; 

public: 
    B(); 
}; 


class A : public B 
{ 
private: 
    friend B::B(); 
    int x; 
}; 


B::B() 
{ 
    a = new A; 
    a->x = 5; 
} 

int main() { return 0; } 

kompiluje i wykonuje dobrze - pomimo mojego IDE mówiącego przyjaciela B :: B() jest nieprawidłowa składnia?

Answer 1

Za uchwałą do CWG defect 147 (uchwała została włączona do C++ 03), poprawny sposób wymienić nontemplate konstruktora klasy specjalizacji szablonu jest:

B<int>::B(); 

i nie

B<int>::B<int>(); 

Jeśli te ostatnie były dozwolone, istnieje niejednoznaczność, gdy masz specjalizację szablonu konstruktora specjalizującego się w szablonach klas: czy drugi szablon <int> byłby dla szablonu klasy lub szablonu konstruktora? (Patrz raport awaryjności umieszczonego powyżej celu uzyskania dalszych informacji na temat tego)

więc poprawny sposób zadeklarować konstruktor specjalizacji szablonu klasy jako przyjaciela jest:

friend B<int>::B(); 

Comeau 4.3.10.1 i Intel C++ 11.1 oba przyjmują tę formę. Ani program Visual C++ 2008, ani Visual C++ 2010 nie akceptują tego formularza, ale oba akceptują (niepoprawny) formularz friend B<int>::B<int>(); (będę zgłaszał raport o usterkach w programie Microsoft Connect).

gcc nie akceptuje żadnej z wersji wcześniejszych niż wersja 4.5. Bug 5023 został zgłoszony przeciwko gcc 3.0.2, ale żądana rozdzielczość w raporcie o błędzie była nieprawidłową formą. Wygląda na to, że postanowienie dotyczące bug 9050 rozwiązuje również ten problem, a gcc 4.5 akceptuje poprawny formularz. Georg Fritzsche potwierdził to w komentarzu do pytania.

Answer 2

Podejrzewam, że jesteście tu, na terytorium dziwactw, tutaj z szablonowymi konstruktorami. Ta kompilacja i działa poprawnie na VS2010, ale generuje przepełnienie stosu, gdy domyślny konstruktor A wywołuje domyślny konstruktor B, który następnie ponownie tworzy instancję A.

Answer 3

A powód, dla którego IDE pokazuje przyjaciela B :: B() jako nieważną składnię w tym drugim przypadku? Błąd IDE.

Obejście, które znalazłem w gcc dla szablonu, jeśli nie można uaktualnić, to przenieść implementację B() do funkcji składowej, unieważnić B :: init() i zamiast tego udzielić przyjaźni. Założę się, że to również zamknie twoje IDE.

Nawet jeśli się to skompilować, choć będziesz napotkasz problem przepełnienia stosu, jak tylko spróbować instancji B.

Answer 4

Czy nie pomaga typedef? na przykład

class A : public B<int> 
{ 
    typedef B<int> Base; 
    friend Base::Base(); 
    int x; 
}; 

Edycja: Projekt Komitet Końcowy C++ 0x obejmuje następujące języka w sekcji 3.4.3.1 [class.qual]

In a lookup in which the constructor is an acceptable lookup result and the nested-name-specifier nominates a class C: if the name specified after the nested-name-specifier, when looked up in C, is the injected-class-name of C (Clause 9), or if the name specified after the nested-name-specifier is the same as the identifier or the simple-template-id’s template-name in the last component of the nested-name-specifier, the name is instead considered to name the constructor of class C.

brzmi jak nazwa (Base) określony po określeniu nazwy zagnieżdżonej (Base::) jest takie samo jak identyfikator w ostatnim komponencie opisywanej nazwy użytkownika, więc ten kod nazwij konstruktora.

Ale nie mogę pogodzić się z tym rozdziale 12.1 [class.ctor]:

Because constructors do not have names, they are never found during name lookup

Naprawdę? Jak działa ten język w wersji 3.4.3.1?

A typedef-name shall not be used as the class-name in the declarator-id for a constructor declaration.

To wydaje się dość oczywiste, chyba że sekcja 12.1 wydaje się dyskutować jedynie deklarację wprowadzającą z konstruktora jako ustęp 1 wyklucza nested-NAME specyfikator, friend i using. Jeśli to ma zastosowania do deklaracji przyjaciel, wydaje się również, aby zabronić friend Base::B();

A special declarator syntax using an optional sequence of function-specifiers (7.1.2) followed by the constructor’s class name followed by a parameter list is used to declare or define the constructor.

Those Funkcjonalnie specyfikatorów są inline, virtual, explicit i konstruktorzy nie mogą być virtual tak.