Substituir '::' por '. criar ambiguidades em C ++?

No C ++, o operador ::é usado para acessar classes, funções e variáveis ​​em um espaço para nome ou classe.

Se a especificação de linguagem usada em .vez de ::nesses casos também gostar ao acessar variáveis ​​/ métodos de instância de um objeto, isso causaria possíveis ambiguidades que não estão presentes ::?

Dado que o C ++ não permite nomes de variáveis ​​que também são um nome de tipo, não consigo pensar em um caso em que isso poderia acontecer.

Esclarecimento: Não estou perguntando por que ::foi escolhido ., apenas se poderia ter funcionado também?

Devido a tentativas de tornar o C ++ principalmente compatível com o código C existente (que permite colisões de nomes entre nomes de objetos e tags struct), o C ++ permite colisões de nomes entre nomes de classes e nomes de objetos.

O que significa que:

struct data {
    static int member;
};

struct data2 {
    int member;
};

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

é um código legítimo.

Um exemplo em que ambos são válidos, mas referem-se a objetos diferentes:

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

Veja ao vivo em coliru .

Há diferença entre a::be a.bonde ::implica quea usado como espaço para nome, o que significa que é espaço para nome ou nome do tipo. Desde que o C ++ ofereça suporte a herança plural não virtual e que uma variável possa ter o mesmo nome que um tipo, isso reduz as chances de fazer referência a objetos incorretos. É necessário para a metaprogramação de modelos.

Outro exemplo seria &B::foovs &B.foono contexto da classe B.

Vamos estender o exemplo do @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.
}

Ao vivo no Coliru Viewer

Não tendo a possibilidade de diferenciar com a ajuda de ::, qual membro queremos acessar, é impossível acessar membros declarados em uma classe pai com nomes idênticos.