Reemplazaría '::' con '. 'crear ambigüedades en C ++?

En C ++, el operador ::se utiliza para acceder a clases, funciones y variables en un espacio de nombres o clase.

Si la especificación de lenguaje utilizada en .lugar de ::en esos casos también es como cuando se accede a las variables / métodos de instancia de un objeto, ¿eso causaría posibles ambigüedades que no están presentes ::?

Dado que C ++ no permite nombres de variables que también son un nombre de tipo, no puedo pensar en un caso en el que eso pueda suceder.

Aclaración: no estoy preguntando por qué ::se eligió ., sino si también podría haber funcionado.

Debido a los intentos de hacer que C ++ sea principalmente compatible con el código C existente (que permite colisiones de nombres entre nombres de objetos y etiquetas de estructura), C ++ permite colisiones de nombres entre nombres de clase y nombres de objetos.

Lo que significa que:

struct data {
    static int member;
};

struct data2 {
    int member;
};

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

Es un código legítimo.

Un ejemplo donde ambos son válidos, pero se refieren a diferentes objetos:

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

Ver en vivo en coliru .

Hay una diferencia entre a::by a.bdonde ::implica que se ausa como espacio de nombres, lo que significa que es un espacio de nombres o nombre de tipo. Siempre que C ++ admita la herencia plural no virtual y que una variable pueda tener el mismo nombre que un tipo, esto elimina las posibilidades de hacer referencia a un objeto incorrecto. Es necesario para la metaprogramación de plantillas.

Otro ejemplo sería &B::foovs &B.fooen el contexto de la clase B.

Dejemos extender @Deduplicator ejemplo:

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

Al no tener la posibilidad de diferenciar con ayuda de ::, a qué miembro queremos acceder, es imposible acceder a los miembros declarados en una clase principal con nombres idénticos.