经营范围->

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返回。

但是，我必须说，这个问题的情况已经开始变得奇怪，而超载的方法更是如此。