c++ - C++ 中的 "operator->()"是什么？

Question

我遇到了一个 C++ 代码，它调用了类似 operator->() 的东西。下面是代码片段，如果有人请解释一下。

template <typename T>
bool List<T>::operator == (const List& rhs)const
{
  return (this == &rhs) || (root_.operator->() == rhs.root_.operator->());
}

请注意 root_ 是另一个类的对象，我无法获得其完整代码。

编辑:我刚刚研究了代码，发现 root_ 实际上是智能指针的自定义实现。它有运算符 -> 重载以取消引用智能指针并获取实际指针的值。

Answer 1

当您拥有一个对象时，您可以通过object.attr 访问它的属性。当你有一个指针时，你可以通过使用 -> 运算符来访问它所指向的对象的属性，如下所示:ptr->attr。

到目前为止，这是 C 中的默认行为。但是，-> 运算符可以被重载 - 即，像任何函数一样被覆盖。您可以为一个类定义您自己的行为，这样 object-> 将意味着您想要的任何东西。但是，我不认为在这种情况下，运算符重载了。奇怪的语法是因为你不能这样做:

if lhs-> == rhs->

因为 -> 运算符后面必须跟一些东西。因此，实现它的方法是为此函数使用显式、无糖的名称，即 operator->，并像函数一样调用它(因此有括号)。

所以:

return (this == &rhs) || (root_.operator->() == rhs.root_.operator->());

这行的意思是“如果我的对象等于左边的对象或者如果我们的_root属性指向彼此相等的对象，则返回真。” .