Буде замінити '::' на '. 'створювати двозначності в C ++?

У C ++ оператор ::використовується для доступу до класів, функцій та змінних у просторі імен чи класу.

Якщо мовна специфікація, яка використовується .замість ::таких випадків, як і при зверненні до змінних екземплярів / методів об'єкта, це спричинило б можливі двозначності, яких немає ::?

Зважаючи на те, що C ++ не дозволяє імена змінних, які також є назвою типу, я не можу придумати випадок, коли це могло б статися.

Пояснення: я не запитую, чому ::його обрали ., просто, якщо це теж могло працювати?

Завдяки спробам зробити C ++ більшою мірою сумісним з існуючим кодом C (що дозволяє зіткнення імен між іменами об'єктів та тегами Stru), 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.
}

Live on Coliru Viewer

Не маючи можливості диференціювати за допомогою ::, до якого члена ми хочемо отримати доступ, неможливо отримати доступ до членів, оголошених у батьківському класі з однаковими іменами.