In welcher Compilierungseinheit lebt eine constexpr-Variable?

Question

Betrachten Sie diesen Code:

struct foo 
{ 
    static constexpr int value = 42; 
}; 

void bar(const int* value) { std::cout << *value; } 
int main() { bar(&foo::value); } 

Dieses feine und ohne Warnungen unter dem couple von online compilers kompiliert ich versuchte. Da es keine einzige .cpp Datei gibt, die den Wert constexpr definiert, könnte der Wert des Zeigers unterschiedlich sein, wenn die bar-Methode von verschiedenen Kompilierungseinheiten aufgerufen wird? Oder garantiert der Standard, dass der Wert über alle Übersetzungseinheiten hinweg nur einmal vergeben wird (dh eine implizite)?

Answer 1

Es funktioniert nicht für mich --- Ich bekomme einen Linker-Fehler. http://coliru.stacked-crooked.com/a/59e2cf56122733d0

Wenn Sie das tun nicht odr-verwenden die statische constexpr-Mitglied können Sie sich vorstellen, dass es inlined ist überall dort, wo erforderlich und lebt nicht in jeder Übersetzungseinheit. Wenn Sie tun odr-verwenden Sie es, wie Sie in Ihrem Programm getan haben, müssen Sie definieren.

Answer 2

Im Allgemeinen die Adresse eines Objekts zu nehmen, stellt eine odr-Verwendung dar, die es erforderlich machen würde, das Objekt irgendwo zu definieren (was Linkerfehler verursacht, wenn dies nicht der Fall ist). Die Adressübernahme kann jedoch als keine odr-Verwendung betrachtet werden, wenn der resultierende Ausdruck ein verworfener Wert ist. Es könnte sein, dass Ihre Verwendung davon von einigen Compilern so behandelt wird, dass sie in die Ausnahme fallen, da sie als Parameter an eine Funktion übergeben werden, die sie sofort verwirft.

Answer 3

Die anderen Antworten sind korrekt, aber die Situation wird sich in C++ 17 mit der Annahme inline variables (p0386) ändern. constexpr wird dann inline anzeigen.