Заменил бы '::' на '. создать неясности в C ++?

В C ++ оператор ::используется для доступа к классам, функциям и переменным в пространстве имен или классе.

Если бы спецификация языка использовалась .вместо того, чтобы ::в тех случаях, например, при доступе к переменным / методам экземпляра объекта, вызывать ли это возможные неоднозначности, которых нет ::?

Учитывая, что C ++ не допускает имен переменных, которые также являются именами типов, я не могу вспомнить случай, когда это могло произойти.

Пояснение: я не спрашиваю, почему ::был выбран ., просто если бы это тоже сработало?

Из-за попыток сделать C ++ главным образом совместимым с существующим кодом C (который допускает конфликты имен между именами объектов и тегами структуры), C ++ допускает конфликты имен между именами классов и именами объектов.

Который означает, что:

struct data {
    static int member;
};

struct data2 {
    int member;
};

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

это законный код

Пример, где оба действительны, но ссылаются на разные объекты:

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

Смотрите вживую на колиру .

Существует разница между a::bи a.bгде ::подразумевается, что aиспользуется как пространство имен, что означает, что это пространство имен или имя типа. При условии, что C ++ поддерживает не виртуальное множественное наследование и что переменная может иметь то же имя, что и тип, это лишает возможности ссылки на неправильный объект. Это необходимо для шаблонного метапрограммирования.

Другим примером будет &B::fooпротив &B.fooв контексте класса B.

Давайте расширим пример @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.
}

Жить на Coliru Viewer

Не имея возможности различить с помощью ::, к какому члену мы хотим получить доступ, невозможно получить доступ к членам, объявленным в родительском классе с одинаковыми именами.