Warum ist die Mehrfachdefinition einer konstanten globalen Variablen in C++ erlaubt und nicht in C?

Die Mehrfachdefinition einer globalen Variablen ist in C oder C++ aufgrund der One-Definition-Rule nicht erlaubt. In C++ kann jedoch eine konstante globale Variable ohne Fehler in mehreren Kompilierungseinheiten definiert werden. Das ist nicht dasselbe wie in C.

Warum erlaubt C++ dies, während C dies nicht tut? Warum unterscheidet sich die Verwendung und das Verhalten eines konstanten Globals in C++ auf diese Weise von einem nicht konstanten Global im Vergleich zu C? Was passiert unter der Decke mit C++ und C in Bezug auf const?

Zum Beispiel ist dies in C++ erlaubt, aber in C falsch:

// Foo.cpp
const int Foo = 99;

// Main.cpp
const int Foo = 99;
int main()
{
    cout << Foo << endl;
    return 0;
}

Und das ist in C in Ordnung, aber in C++ falsch:

// Foo.cpp
const int Foo = 99;

// Main.cpp
extern const int Foo;
int main()
{
    cout << Foo << endl;
    return 0;
}

// Foo.cpp
const int Foo = 99;

// Main.cpp
const int Foo = 99;

const Variable im Namespace-Bereich hat intern Verknüpfung. Sie sind also im Grunde zwei verschiedene Variablen. Es gibt keine Neudefinition.

Aus @ Davids Kommentar, 3,5/3 [basic.link]:

Ein Name mit Namensraumbereich (3.3.5) hat interne Verknüpfung wenn es der Name ist
— ein Objekt, eine Referenz, eine Funktion oder eine Funktionsvorlage, die explizit als statisch deklariert ist, oder
— ein Objekt oder eine Referenz, das ist ausdrücklich als const deklariert und weder explizit als extern deklariert noch zuvor als externe Verknüpfung deklariert; oder
— ein Datenmitglied einer anonymen Vereinigung.

Im zweiten Fall sollten Sie dies tun (richtiger Weg):

//Foo.h
extern const int Foo; //use extern here to make it have external linkage!

// Foo.cpp
#include "Foo.h"
const int Foo = 99; //actual definition goes here

// Main.cpp
#include "Foo.h"
int main()
{
   cout << Foo << endl;
}

Ich denke, Sie fragen nach der Begründung und nicht nach der spezifischen Sprachregel, die dies zulässt.

Die Begründung dafür ist, dass es macht const Variablen viel einfacher zu verwenden. Es gibt einen typisierten Ersatz für eine häufige Verwendung von #define.

Anstatt von #define MAX_COUNT 211 Sie können verwenden const int max_count = 211; auf genau die gleiche Weise, zB eine gemeinsam genutzte Header-Datei, ohne sich Gedanken darüber machen zu müssen, wo die eine Definition abgelegt werden soll.

Sie können den Wert von a nicht legal ändern const Objekt, sodass es keinen sichtbaren Unterschied zwischen einem Objekt und mehreren Objekten mit demselben Wert gibt.

Wie Sie eine Definition von a setzen können const -Objekt in einer Header-Datei macht es für den Compiler trivial, den Wert direkt in der Kompilierungsphase zu verwenden, ohne dass solche Optimierungen auf eine Korrektur zur Verbindungszeit verzögert werden müssen.

Grundsätzlich sind in C++ const, nicht lokale Variablen echte konstante Ausdrücke oder constexpr. Dies erlaubt viele Dinge, wie TMP.

const int five = 5;
int main() {
    int x[five];
    std::array<int, five> arr;
}

In C sind sie nur eine Variable, die nicht geändert werden kann. Das ist,

const int five = 5;
int main() {
    int x[five]; // Technically, this is a variable length array
}

Ist durchaus gleichwertig

int five = 5;
int main() {
    int x[five];
}

Tatsächlich fördert C++ einige Arten von const Variable in eine neue Kategorie, constexprwährend dies in C nicht existiert und es sich nur um Variablen handelt, die zufällig nicht änderbar sind.

Es sieht aus wie konst erzeugt nicht wirklich ein externes Symbol.

Warum schreiben Engländer COLOUR, während Amerikaner es COLOR buchstabieren?

Es sind 2 verschiedene Sprachen von der gleichen Basis, aber sie haben nicht die gleichen Regeln.

C und C++ sind gleich. Wenn sie nicht verschieden wären, würden sie beide gleich heißen.

Meine Problemumgehung deklarierte es als:

static classfoo foo;

es hat in meiner Situation funktioniert.