Welchen Umfang haben Inline-Friend-Funktionen in C?

Den Umfang der Inline-Friend-Funktionen enthüllen

Im Labyrinth der C-Feinheiten kann das Verständnis des Bereichs der Inline-Friend-Funktionen eine entmutigende Aufgabe sein . Um dieses Rätsel zu lösen, wollen wir uns mit der Schlüsselfrage befassen: Was ist der tatsächliche Umfang solcher Funktionen?

Friend-Funktionsdeklaration im Namespace-Gültigkeitsbereich

Wenn eine Inline-Friend-Funktion innerhalb einer Klasse deklariert wird, befindet es sich erstaunlicherweise nicht automatisch im Klassenbereich. Stattdessen wird eine Präsenz im nächstgelegenen umschließenden Namespacebereich hergestellt. Diese Existenz bleibt jedoch verborgen und wird durch die wachsamen Augen unqualifizierter und qualifizierter Nachschlagekräfte nicht sichtbar Angesichts der Tatsache, dass Inline-Friend-Funktionen in Standard-Lookups kaum zu finden sind, gibt es einen Hoffnungsschimmer, der als argumentabhängige Lookup (ADL) bekannt ist. Dieser heimliche Ansatz ermöglicht es dem Compiler, die verborgene Funktion aufzudecken, wenn ein nicht qualifizierter Funktionsaufruf im Kontext eines Objekts oder Ausdrucks der enthaltenden Klasse erfolgt.

Eine Code-Manifestation der Bereichsmehrdeutigkeit

Um die Feinheiten des Bereichs zu veranschaulichen, betrachten Sie den folgenden Codeausschnitt:

Jeder Versuch dazu Der direkte Aufruf der baz()-Funktion schlägt fehl, was die unsichtbaren Barrieren hervorhebt, die den direkten Zugriff durch unqualifizierte und qualifizierte Suchvorgänge verhindern. In der Mitgliedsfunktion call_friend() strahlt baz() jedoch dank der wohlwollenden Kraft von ADL ungehindert durch die Bereichsbeschränkungen.

Standardsiegel der Autorität

namespace foo {
  struct bar {
    friend void baz() {}
    void call_friend();
  };
}

int main() {
  foo::baz(); // can't access through enclosing scope of the class
  foo::bar::baz(); // can't access through class scope
}

namespace foo {
  void bar::call_friend() {
    baz(); // can't access through member function
  }
}

Die endgültige Erklärung für dieses verwirrende Verhalten findet sich in der ISO/IEC 14882:2011 Standard:

"Jeder Name, der zuerst in einem Namespace deklariert wird, ist ein Mitglied dieses Namespace. Wenn eine Friend-Deklaration in einer nicht lokalen Klasse zuerst eine Klasse oder Funktion deklariert, ist die Friend-Klasse oder Funktion ein Mitglied des innersten Umschließender Namespace. Der Name des Freundes wird weder durch unqualifizierte Suche (3.4.1) noch durch qualifizierte Suche (3.4.3) gefunden, bis eine passende Deklaration in diesem Namespace-Bereich bereitgestellt wird (entweder davor oder danach). die Klassendefinition, die Freundschaft gewährt). >Dieser Auszug unterstreicht die kurzlebige Natur von Friend-Funktionen, die ohne explizite Namespace-Qualifizierung deklariert werden. Sie bewohnen die ätherischen Bereiche des umschließenden Namensraums und bleiben für den normalen Blick unerreichbar, es sei denn, sie werden durch die mystischen Riten von ADL beschworen.

Das obige ist der detaillierte Inhalt vonWelchen Umfang haben Inline-Friend-Funktionen in C?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!