Kann eine Inline-Funktion in einer Header-Datei eine Konstante verwenden, die intern verknüpft ist?

Question

Betrachten Sie den folgenden Code ein:

const int a = 0; 
const std::string b = "hi"; 

inline void f_a1() 
{ 
    std::cout << a; 
} 

inline void f_b1() 
{ 
    std::cout << b; 
} 

inline void f_a2() 
{ 
    std::cout << &a; 
} 

inline void f_b2() 
{ 
    std::cout << &b; 
} 

Angenommen, dieser Code in einer Header-Datei vorhanden ist, die in mehreren Übersetzungseinheiten aufgenommen werden.

Mein Verständnis von Inline-Funktionen ist, dass sie in jeder Übersetzungseinheit genau gleich sein müssen.

Mein Verständnis von Konstanten, wie oben verwendet, ist, dass sie implizit sind static dh interne Verknüpfung. Dies bedeutet, dass jede Übersetzungseinheit ihre eigene Kopie erhält.

Da die obigen Inline-Funktionen auf diesen Konstanten beruhen, welche dieser Funktionen sind, wenn überhaupt, korrekt?

Answer 1

Wenn in mehrere Übersetzungseinheiten eingeschlossen, ist die einzige gültige Funktion f_a1.

Die entsprechende Klausel ist [basic.def.odr]/6, die eine inline Funktion stellt fest, dass in mehreren Übersetzungseinheiten erscheinen kann, aber nur da:

[...] ein Der Name kann sich auf ein nichtflüchtiges const Objekt mit interner oder keiner Verknüpfung beziehen, wenn das Objekt in allen Definitionen von D, denselben Literaltyp hat und das Objekt mit einem konstanten Ausdruck (5.19) initialisiert wird und das Objekt nicht odr ist -used, und das Objekt hat in allen Definitionen von D den gleichen Wert;

Da die Objekte sind const, haben sie interne Bindung pro [basic.link]/3:

Ein Name mit Namespacebereich (3.3.6) interne Bindung hat, wenn es das ist, Namen [...]
- eine nichtflüchtige variablen, die explizit const oder constexpr deklariert wird und weder explizit extern erklärt noch vorher externe Bindung erklärt haben [...]

Aber die Adresse zu nehmen oder einen Bezug zu einer Variablen zu bilden (z.B. für Argument übergeben) ist odr-use, so f_a2 und f_b2 sind ungültig. f_b1 ist auch ungültig, da der ostream Ausgabeoperator für std::string sein Argument durch Verweis nimmt; und selbst wenn es sein Argument nach Wert nahm, würde der implizit als Copy-Konstruktor bezeichnete Code sein Argument als Referenz nehmen. f_a1 ist in Ordnung, weil der int Stromausgabebediener sein Argument nach Wert nimmt, und das Kopieren des Werts eines int const ist nicht odr-use.