Sostituire '::' con '. "creare ambiguità in C ++?

In C ++, l'operatore :: viene utilizzato per accedere a classi, funzioni e variabili in uno spazio dei nomi o in una classe.

Se le specifiche del linguaggio utilizzate .invece che ::in quei casi anche come quando si accede a variabili / metodi di istanza di un oggetto, ciò causerebbe possibili ambiguità che non sono presenti ::?

Dato che C ++ non consente nomi di variabili che sono anche un nome di tipo, non riesco a pensare a un caso in cui ciò possa accadere.

Chiarimento: non sto chiedendo perché è ::stato scelto ., solo se avrebbe potuto funzionare anche tu?

A causa dei tentativi di rendere il C ++ per lo più compatibile con il codice C esistente (che consente collisioni di nomi tra nomi di oggetti e tag struct), C ++ consente collisioni di nomi tra nomi di classi e nomi di oggetti.

Che significa che:

struct data {
    static int member;
};

struct data2 {
    int member;
};

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

è un codice legittimo.

Un esempio in cui entrambi sono validi, ma si riferiscono a oggetti diversi:

#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';
}

Guarda dal vivo su coliru .

C'è differenza tra a::be a.bdove ciò ::implicaa usato come spazio dei nomi, il che significa che è spazio dei nomi o nome del tipo. A condizione che C ++ supporti l'ereditarietà plurale non virtuale e che una variabile possa avere lo stesso nome di un tipo, ciò riduce le possibilità di fare riferimento a un oggetto errato. È necessario per la metaprogrammazione dei modelli.

Un altro esempio sarebbe &B::foovs &B.foonel contesto della classe B.

Consentiamo di estendere l'esempio di @Deduplicator:

#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 su Coliru Viewer

Non avendo la possibilità di differenziare con l'aiuto di ::, a quale membro vogliamo accedere, è impossibile accedere ai membri dichiarati in una classe genitore con nomi identici.