Sẽ thay thế '::' bằng '. 'Tạo sự mơ hồ trong C ++?

Trong C ++, toán tử ::được sử dụng để truy cập các lớp, hàm và biến trong một không gian tên hoặc lớp.

Nếu đặc tả ngôn ngữ được sử dụng .thay vì ::trong các trường hợp đó giống như khi truy cập các biến / phương thức của đối tượng thì điều đó có thể gây ra sự mơ hồ có thể xảy ra không ::?

Vì C ++ không cho phép tên biến cũng là tên loại, tôi không thể nghĩ đến trường hợp điều đó có thể xảy ra.

Làm rõ: Tôi không hỏi tại sao ::được chọn hơn ., chỉ khi nó có thể làm việc quá?

Do các nỗ lực để làm cho C ++ hầu hết tương thích với mã C hiện có (cho phép xung đột tên giữa tên đối tượng và thẻ cấu trúc), C ++ cho phép xung đột tên giữa tên lớp và tên đối tượng.

Có nghĩa là:

struct data {
    static int member;
};

struct data2 {
    int member;
};

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

là mã hợp pháp.

Một ví dụ trong đó cả hai đều hợp lệ, nhưng tham chiếu đến các đối tượng khác nhau:

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

Xem trực tiếp trên coliru .

Có sự khác biệt giữa a::bvà a.bnơi ::ngụ ý ađược sử dụng làm không gian tên, có nghĩa là đó là không gian tên hoặc tên kiểu chữ. Với điều kiện C ++ hỗ trợ kế thừa số nhiều không ảo và một biến có thể có cùng tên với một loại, điều này sẽ loại bỏ các cơ hội tham chiếu sai đối tượng. Nó là cần thiết cho siêu lập trình mẫu.

Một ví dụ khác sẽ là &B::foovs &B.footrong bối cảnh của lớp B.

Hãy mở rộng ví dụ @Ded repeatator:

#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.
}

Trực tiếp trên Coliru Viewer

Không có khả năng phân biệt với sự trợ giúp của ::, thành viên nào chúng tôi muốn truy cập, không thể truy cập các thành viên được khai báo trong lớp cha có tên giống hệt nhau.