既然 C++ 知道类型，它可以推断点和箭头吗？ [复制]

Question

假设我有这个代码

std::string s = "hello";
std::string* p = &s;
int l = p.length();

Visual Studio 和 CLion 知道点运算符不正确。实际上，当我按下键 . 时，两个 IDE 都将击键提交为->。

既然 C++ 是有类型的，它就知道 p 是一个指针，为什么不去 combine 。和 -> 合二为一？

语法可以是一直使用.，如果p是指针，先解引用，否则直接获取它的成员？

Answer 1

类可以重载箭头运算符，因此可以有. 和-> 都有效的对象。智能指针（例如 std::unique_ptr 或 std::shared_ptr）和迭代器是常见的示例。

std::unique_ptr<Foo> f;
f.reset(new Foo(42));
f->bar();

你能设计一种没有这种区别的静态类型语言吗？当然。但是 C++ 已经以这种方式发展了，这不是你今天可以在不破坏大量代码的情况下改变的东西。