会将'::'替换为'。在C ++中造成歧义？

在C ++中，运算符::用于访问名称空间或类中的类，函数和变量。

如果使用语言规范.代替::访问对象的实例变量/方法时那样，而不是在那种情况下，那么是否会引起可能不存在的歧义::？

鉴于C ++不允许变量名也是类型名，因此我认为这种情况不会发生。

澄清：我不是问为什么::选择了.，即使它也可以工作？

由于试图使C ++与现有的C代码最兼容（允许对象名称和struct标记之间发生名称冲突），因此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';
}

见现场直播coliru。

有区别a::b，并a.b在那里::暗示a用作名称空间，这意味着它是名称空间或类型名。如果C ++支持非虚拟的复数继承，并且变量可以与类型具有相同的名称，则这将消除引用错误对象的机会。这是模板元编程所必需的。

另一个示例是B类上下文中的&B::foovs。&B.foo

让我们扩展@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上直播

无法通过::来区分我们想要访问的成员，因此不可能访问在父类中声明的具有相同名称的成员。