Würde '::' durch 'ersetzen. 'Mehrdeutigkeiten in C ++ erstellen?

In C ++ wird der Operator ::verwendet, um auf Klassen, Funktionen und Variablen in einem Namespace oder einer Klasse zuzugreifen.

Wenn die Sprachspezifikation .anstelle von ::in diesen Fällen auch beim Zugriff auf Instanzvariablen / -methoden eines Objekts verwendet wird, würde dies dann zu möglichen Mehrdeutigkeiten führen, die nicht vorhanden sind ::?

Da C ++ keine Variablennamen zulässt, die auch ein Typname sind, kann ich mir keinen Fall vorstellen, in dem dies passieren könnte.

Klarstellung: Ich frage nicht, warum ::ausgewählt wurde ., nur wenn es auch hätte funktionieren können?

Aufgrund der Versuche, C ++ größtenteils mit dem vorhandenen C-Code kompatibel zu machen (der Namenskollisionen zwischen Objektnamen und Struktur-Tags zulässt), ermöglicht C ++ Namenskollisionen zwischen Klassennamen und Objektnamen.

Was bedeutet, dass:

struct data {
    static int member;
};

struct data2 {
    int member;
};

void f(data2& data) {
    data.member = data::member;
}

ist legitimer Code.

Ein Beispiel, bei dem beide gültig sind, sich jedoch auf unterschiedliche Objekte beziehen:

#include <iostream>

struct A {
    int i;
};

struct B {
    int i;
    A B;
};

int main() {
    B x {0, 1};
    std::cout << x.B.i << '\n';
    std::cout << x.B::i << '\n';
}

Sehen Sie live auf coliru .

Es gibt einen Unterschied zwischen a::bund a.bwo ::impliziert, dass dies aals Namespace verwendet wird, was bedeutet, dass es sich um einen Namespace oder einen Typnamen handelt. Vorausgesetzt, dass C ++ die nicht-virtuelle Pluralvererbung unterstützt und eine Variable denselben Namen wie ein Typ haben kann, verringert dies die Wahrscheinlichkeit, dass auf ein falsches Objekt verwiesen wird. Es ist für die Metaprogrammierung von Vorlagen erforderlich.

Ein anderes Beispiel wäre &B::foovs &B.fooim Kontext der Klasse B.

Lassen Sie @Deduplicator Beispiel erweitern:

#include <iostream>

struct A {
    int i;
};

struct B : public A {
    int i;
    A A;
};

int main() {
    B x {1, 2};
    std::cout << x.i << '\n';
    std::cout << x.B::i << '\n';  // The same as the line above.
    std::cout << x.A.i << '\n';
    std::cout << x.A::i << '\n';  // Not the same as the line above.
}

Live auf Coliru Viewer

Ohne die Möglichkeit, mit Hilfe von :: zu unterscheiden, auf welches Mitglied wir zugreifen möchten, ist es unmöglich, auf Mitglieder zuzugreifen, die in einer übergeordneten Klasse mit identischen Namen deklariert sind.