C++ 不允许加倍 -> 运算符有什么好的理由吗？

Question

在 C++ 中，您可以将间接运算符加倍：

vector<unique_ptr<string>> arr{make_unique<string>("Test")};
cout << **arr.begin() << endl;

但是你不能把解引用操作符加倍：

cout << arr.begin()->->c_str() << endl;

相反，您必须接受这个 (IMO) 不太清晰的替代方案：

cout << (*arr.begin())->c_str() << endl;

operator-> 是一个返回指针类型的一元运算符，因此能够将它们链接起来似乎很自然。这种限制有什么好的理由吗？是否有一些我没有看到的解析困难？

编辑

在 5.2.5/3 中，C++ 标准规定：

如果 E1 的类型是“指向 X 类的指针”，那么表达式 E1->E2 是 转换为等价形式 (*(E1)).E2

我只是希望它被指定为：

如果 E1 的类型是“指向 X 类的指针”，那么表达式 E1-> 是 转换为等价形式 (*(E1))。

实际上包含 E1 和 E2 的定义似乎是相反的，因为重载的 operator-> 不是二元运算符。

Answer 1

注意：

(*a).b
a->b

都是一样的

所以

a->->b
(*a)->b
(*(*a)).b

作为操作员也可以，但这不符合-> 的精神，精神是访问结构中指向的东西。我宁愿输入a->b 而不是(*a).b

因此，虽然(*a)->b 没有技术原因告诉您“a 是指向具有b 的结构的指针的指针”，而a->b->c 完全 与a->->b 不同，尽管它们看起来很相似。

Answer 2

这里是一个不太技术性的解释。

-> 是* 和(*someptr).memberfunc() 中. 的简写。因此这可以表示为someptr->memberfunc()。

在您的示例中，两个-> 与(*(*arr.begin()).).c_str() 相同。注意额外的点。这没有意义，也无法编译，因为 .是二元运算符，* 是一元运算符。因此，您将有一个“额外的”点。你真的想要两个*，只有一个.。像你一样使用一个->和一个*。

-> 表示“取消引用并获得成员”。您想取消引用两次，并获得一个成员一次，所以双 -> 不是您想要的。

Answer 3

如果我理解正确，您可以通过更好的设计获得您正在寻找的行为。

如果提供稍微复杂一点的行为，取消引用运算符实际上并不能像从指针中检索值的运算符那样真正起作用。

-> 操作符的业务逻辑很明显是illustrated here，它也在扩展here，here，你可以鸟瞰指针相关的操作符here。

您很容易猜到，如果您有 T->t，则可以使用向下钻取行为，假设您已正确设计和定义 T 及其自己的 -> 运算符。

这是一个可以轻松为您的应用程序带来一些多态行为的解决方案。