Eintauchen in Klassenvorlagen mit Vorlagenklassenfreunden

Beim Definieren einer Binärbaumklasse (BT) und ihrer Elementklasse (BE). erforderlich, um eine Freundschaftsbeziehung aufzubauen, damit BT auf die privaten Mitglieder von BE zugreifen kann. Es ist jedoch wichtig, die zugrunde liegenden Mechanismen zu verstehen, um die Beziehung richtig zu definieren.

Ursprünglich haben Sie versucht, die Friend-Beziehung als template friend class BT zu deklarieren. Diese Syntax führt jedoch zu einem Namenskonflikt mit dem Vorlagenparameter von BE. Vorlagenparameter in verschachtelten Vorlagen müssen unterschiedliche Namen haben.

Stattdessen sollten Sie unterschiedliche Vorlagenparameternamen verwenden, wie zum Beispiel:

template class BE {
  template friend class BT;
};

Diese Deklaration gibt an, dass jede BT-Klasse, unabhängig von ihren Vorlagenargumenten, ein Freund aller BE-Klassen mit passenden Vorlagenargumenten ist.

Betrachten Sie die folgenden Beispiele, um die verschiedenen Typen weiter zu verdeutlichen von Freundschaftsbeziehungen:

template
struct foo {
  template
  friend class bar;
};

In diesem Fall ist bar ein Freund von foo, unabhängig von den Vorlagenargumenten von bar. Jede Spezialisierung von bar wäre ein Freund jeder Spezialisierung von foo.

template
struct foo {
  friend class bar;
};

Hier ist bar nur ein Freund von foo, wenn sein Vorlagenargument mit dem von foo übereinstimmt. Also wäre nur bar ein Freund von foo.

In Ihrem spezifischen Szenario wäre die Freundklasse bar; sollte ausreichen, da es jeder Spezialisierung von bar erlaubt, auf die privaten Mitglieder von BE zuzugreifen, solange sein Vorlagenargument mit der entsprechenden BE-Klasse übereinstimmt.