Remplacerait '::' par '. 'créer des ambiguïtés en C ++?

En C ++, l'opérateur ::est utilisé pour accéder aux classes, fonctions et variables dans un espace de noms ou une classe.

Si la spécification de langage utilisée .au lieu de ::dans ces cas aussi, comme lors de l'accès aux variables / méthodes d'instance d'un objet, cela provoquerait-il des ambiguïtés possibles qui ne sont pas présentes ::?

Étant donné que C ++ n'autorise pas les noms de variables qui sont également un nom de type, je ne peux pas penser à un cas où cela pourrait se produire.

Clarification: je ne demande pas pourquoi a ::été choisi ., juste si cela aurait pu fonctionner aussi?

En raison des tentatives de rendre C ++ principalement compatible avec le code C existant (qui permet les collisions de noms entre les noms d'objets et les balises struct), C ++ permet les collisions de noms entre les noms de classe et les noms d'objets.

Ce qui signifie que:

struct data {
    static int member;
};

struct data2 {
    int member;
};

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

est un code légitime.

Un exemple où les deux sont valides, mais font référence à des objets différents:

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

Voir en direct sur coliru .

Il existe une différence entre a::bet a.boù ::implique celui autilisé comme espace de noms, ce qui signifie qu'il s'agit d'un espace de noms ou d'un nom de type. À condition que C ++ prenne en charge l'héritage pluriel non virtuel et qu'une variable puisse avoir le même nom qu'un type, cela supprime les chances de référencer un mauvais objet. Il est nécessaire pour la métaprogrammation des modèles.

Un autre exemple serait &B::foovs &B.foodans le contexte de la classe B.

Prenons l'exemple de @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.
}

En direct sur Coliru Viewer

N'ayant pas la possibilité de différencier à l'aide de ::, le membre auquel nous voulons accéder, il est impossible d'accéder aux membres déclarés dans une classe parente avec des noms identiques.