Einen Template-Parameter zu einem Freund machen?

Question

Beispiel:

template<class T> 
class Base { 
public: 
    Base(); 
    friend class T; 
}; 

Jetzt funktioniert das nicht ... Gibt es eine Möglichkeit, dies zu tun?

Ich bin eigentlich eine allgemeine Klasse Sealer wie diese zu machen versucht:

class ClassSealer { 
private: 
    friend class Sealed; 
    ClassSealer() {} 
}; 
class Sealed : private virtual ClassSealer 
{ 
    // ... 
}; 
class FailsToDerive : public Sealed 
{ 
    // Cannot be instantiated 
}; 

Ich fand dieses Beispiel auf dieser Seite irgendwo, aber ich kann es nicht finden ... (here)

Ich weiß, es gibt other ways davon zu tun, aber gerade jetzt bin ich neugierig, ob Sie tatsächlich so etwas tun können.

Answer 1

Es ist explizit im Standard nicht erlaubt, auch wenn es einige Versionen von VisualStudio erlauben.

C++ Standard-7.1.5.3 Ausgearbeitt Typdeklarierer Absatz 2

3.4.4 describes how name lookup proceeds for the identifier in an elaborated-type-specifier. If the identifier resolves to a class-name or enum-name, the elaborated-type-specifier introduces it into the declaration the same way a simple-type-specifier introduces its type-name. If the identifier resolves to a typedef-name or a template type-parameter, the elaborated-type-specifier is ill-formed. [Note: this implies that, within a class template with a template type-parameter T, the declaration friend class T; is ill-formed. ]

I erkennt den Code, oben als ein Muster mit einer Klasse zu versiegeln (die Verlängerung nicht erlauben). Es gibt eine andere Lösung, die die Erweiterung nicht wirklich blockiert, die aber unbemerkt von der Klasse ausgeht. Wie in ADOBE Source Library gesehen:

namespace adobe { namespace implementation { 
template <class T> 
class final 
{ 
protected: 
    final() {} 
}; 
}} 
#define ADOBE_FINAL(X) private virtual adobe::implementation::final<T> 

mit der Nutzung:

class Sealed : ADOBE_FINAL(Sealed) 
{//... 
}; 

Während es Erweiterung ermöglicht es, wenn Sie es wirklich zwingen:

class SealBreaker : public Sealed, ADOBE_FINAL(Sealed) 
{ 
public: 
    SealBreaker() : adobe::implementation::final<Sealed>(), Sealed() {} 
}; 

Es wird verhindern, dass Benutzer versehentlich es tun.

EDIT:

Der bevorstehende C++ 11-Standard ermöglicht es Ihnen, eine Art Argument mit einer etwas anderen Syntax anfreunden:

gefunden

template <typename T> 
class A { 
    // friend class T; // still incorrect: elaborate type specifier 
    friend T;   // correct: simple specifier, note lack of "class" 
}; 

Answer 2

Müssen Sie das wirklich tun? Wenn Sie verhindern möchten, dass jemand von Ihrer Klasse abgeleitet wird, fügen Sie einfach einen Kommentar hinzu und machen Sie den Destruktor nicht virtuell.

Answer 3

ich einen einfachen Trick Template-Parameter zu deklarieren Freunde:

Allerdings weiß ich nicht, wie dies helfen könnte, eine alternative Version einer Klasse Sealer zu definieren .