Was genau ist eine Variable in C++?

Question

Die Norm besagt

A variabel wird durch die Deklaration eines Objekts eingeführt. Der Name der Variablen bezeichnet das Objekt.

Aber was bedeutet diese Definition eigentlich?

Gibt eine Variable einem Objekt einen Namen, d.h. sind Variablen nur ein Benennungsmechanismus für ansonsten anonyme Objekte? Oder ist eine Variable der Name selbst?

Oder ist eine Variable ein benanntes Objekt in dem Sinne, dass jede Variable auch ein Objekt ist?

Oder ist eine Variable nur ein "Proxy" mit einem Namen, der alle Operationen an das echte Objekt "delegiert"?

Um die Dinge weiter zu verwirren, scheinen viele C++-Bücher Variablen und Objekte als Synonyme zu behandeln.

Was ist Ihre Meinung dazu?

---

Über Entitäten, zitiert aus dem C++0x Entwurf:

Eine Entität ist ein Wert, ein Objekt, eine Referenz, eine Funktion [...]

Jeder Name, der eine Entität bezeichnet, wird durch eine Erklärung eingeleitet.

Eine Variable wird durch die Deklaration eines Objekts eingeführt

Aus diesen Aussagen ziehe ich den Schluss, dass eine Variable ein Name ist und somit kein Objekt sein kann. Das verwirrt mich jetzt wirklich gewaltig :)

Answer 1

Variablen sind benannte Objekte. Die folgenden erstellen Objekte, die keine Variablen sind

new int // create one int object
std::string() // create one string object

Im Folgenden werden eine Array-Variable mit dem Namen "foo" und 5 unbenannte (Unter-)Objekte des Typs "int" erstellt

int foo[5];

Das Folgende ist keine Variable in C++03, sondern ist eine Variable geworden in C++0x (deklarierte Referenzen sind Variablen in C++0x, Details siehe Link)

extern int &r;

---

Gibt eine Variable einem Objekt einen Namen, d.h. sind Variablen nur ein Benennungsmechanismus für ansonsten anonyme Objekte?

Variablen sind Objekte (bzw. Referenzen). Die Entitätsliste ( 3/3 in C++03) von C++ enthält mehrere solcher ist - Beziehungen. Ein Unterobjekt ist beispielsweise ein Objekt, ein Array-Element ist ein Objekt und ein Klassenmitglied ist ein Objekt oder eine Funktion oder ein Typ oder eine Vorlage oder ein Enumerator.

Die Entitätsliste von C++0x sieht für mich etwas aufgeräumter aus, und sie enthält keine "Variablen", "Funktionsinstanz" (was diese Art von Entität überhaupt ist, hat sich mir nie erschlossen), "Unterobjekt" und "Array-Element" mehr. Stattdessen wurden "Vorlagenspezialisierung" hinzugefügt, die entweder Funktionen, Klassen oder Vorlagen (partielle Spezialisierungen) sind.

Das C++-Objektmodell unter 1.8 sagt

Ein Objekt kann eine Name (Klausel 3).

Wenn Sie möchten, können Sie die Aussage also so formulieren: "Der Name des Objekts bezeichnet das Objekt".

Answer 2

Variablen sind Namen, die Sie Objekten geben, also ja, Objekte sind im Großen und Ganzen anonym.

Answer 3

Hier ist die Definition aus dem C++17-Standard:

A variabel durch die Deklaration eines anderen Verweises eingeführt wird als eines nicht statischen Datenelements oder eines Objekts. Der Name der Variablen, falls vorhanden falls vorhanden, bezeichnet die Referenz oder das Objekt.

Ehrlich gesagt bin ich der Meinung, dass dies keine wirkliche Definition ist. Es sagt uns, was stellt vor eine Variable, aber es wird nicht definiert, was eine Variable ist .

Nehmen wir zum Beispiel:

int foo = 42;

Dies ist die Deklaration eines Objekts, d.h. es wird eine Variable "eingeführt". Aber was ist die Variable? Ist das Objekt benannt foo eine Variable? Das hätte ich auch gedacht, aber die Definition sagt das eigentlich nicht. Offenbar hat die "Variable" einen Namen (in diesem Fall "foo") und dieser Name bezeichnet das Objekt. Da sie hat einen Namen, vermutlich ist der Name selbst nicht die Variable. Und es wäre einfach genug gewesen, zu sagen, dass die Variable ist das Objekt, und nicht, dass der Name der Variablen das Objekt bezeichnet, falls dies die Absicht war.

Was ist eine "Variable" in C++? Ich weiß es wirklich nicht, und ich glaube nicht, dass es möglich ist, die Frage auf der Grundlage des Wortlauts des Standards zu beantworten. (Und ich möchte, dass dies in einer zukünftigen Ausgabe korrigiert wird.)

(Der C-Standard geht damit um, indem er den Begriff "Variable" nicht definiert und ihn größtenteils nur als Adjektiv oder informell verwendet).

Answer 4

Eine Variable ist einfach eine Einheit mit einem Typ und einem Namen

Answer 5

Wie ich erfahren habe

Was sind Variablen

Eine Variable ist ein Bezeichner, der an einen Wert gebunden ist, der im Speicher des Systems gespeichert ist (imperative Sprachen) oder ein Ausdruck, der ausgewertet werden kann (funktionale Sprachen).

Warum wir Variablen brauchen

• bieten Namen für Speicherchunks, um Daten während der Lebensdauer eines Computerprogramms vorübergehend zu speichern.
• werden auch in der Programmierung verwendet, um Informationen von einem Teil des Programms zu einem anderen Teil zu übertragen (z.B.: Parameter, globale Variablen).