运算符范围->

Question

当重载运算符-> 时，最终必须返回一个指针。如果此指针指向函数内部创建的对象，例如：

struct Something {
  char c;
  Something(char k){
    c = k;
  }
};
struct Hello {
  int a;
  Something* operator->(){
    Something s(a);
    return &s;
  }
};

然后取消引用会导致未定义的行为（如Can a local variable's memory be accessed outside its scope?）：

Hello h {5};
cout << h->c;

如果是这样，是否可以解决，仍然使用operator->？

Answer 1

然后取消引用会导致未定义的行为吗？

是的。

如果是这样，是否可以解决，仍然使用operator->？

以下适用于任何其他成员函数。

创建Something 实例作为Hello 的成员。然后指向它的指针在Hello 的生命周期内保持有效。你可以立即从你存储的整数构造Something，这样你就可以摆脱它了。

如果Something 占用额外资源（内存、句柄等），您可能希望在调用operator-> 时构建它。您可以为此选择std::unique_ptr（动态）或std::optional（静态）。或者，如果Something 支持未初始化状态（例如默认构造），您可以稍后对其进行初始化（例如移动分配）。

---

如果您无法更改 Hello 类，那么您唯一的选择是重载 operator-> 以直接按值返回 Something。

但是，我必须说，这个问题的情况开始变得怪异，而重载运算符的方式更是如此。