堆对象持有栈变量指针：调用setPosition后的行为疑问

我来帮你拆解这个问题——核心风险完全来自栈变量的生命周期，咱们一步步捋清楚：

一、先明确你的场景逻辑 #

假设你的代码大概是这样的（还原你的描述）：

void someFunction() {
    Vector3 stackVec(0, 0, 0); // 栈上创建的Vector3变量
    MyHeapObj* heapObj = new MyHeapObj(&stackVec); // 堆对象持有栈变量的指针
    MyHeapObj* e1 = heapObj; // 另一个指向堆对象的指针
    
    e1->setPosition(something); // 你关心的方法调用
} // 函数结束，stackVec被自动销毁

关键前提：栈变量的生命周期只局限于它所在的作用域（比如这个someFunction()函数），当作用域结束，栈变量占用的内存会被操作系统回收，后续再访问这块内存就是非法操作。

二、调用e1->setPosition(something)的两种情况 #

1. 如果setPosition只是临时读取栈变量的值 #

如果setPosition的逻辑只是读取栈变量的数据，比如把值拷贝到堆对象自己的成员里：

void MyHeapObj::setPosition(const Vector3* pos) {
    // 只读取栈变量的值，拷贝到自身成员
    this->internalPos.x = pos->x;
    this->internalPos.y = pos->y;
    this->internalPos.z = pos->z;
}

那在stackVec还活着的时候（也就是someFunction()没执行完前），这个调用是完全正确的——栈变量的内存还处于有效状态，指针能正常访问。

2. 如果setPosition会把栈指针存储起来 #

但如果setPosition是把传入的栈指针保存到堆对象的成员变量中，比如：

void MyHeapObj::setPosition(Vector3* pos) {
    this->positionPtr = pos; // 把栈变量的指针存在堆对象里
}

这就埋下了致命隐患：当someFunction()执行完毕，stackVec被销毁后，堆对象里的positionPtr就变成了悬空指针。后续任何通过这个指针的操作（读取、修改）都是未定义行为——可能直接崩溃，可能读出垃圾值，甚至可能看起来正常但在某个随机时刻触发诡异bug。

三、最核心的矛盾：生命周期不匹配 #

堆对象是你用new创建的，它的生命周期由你手动控制（直到调用delete）；而栈变量的生命周期完全由作用域决定，通常远短于堆对象。只要堆对象持有栈变量的指针，几乎必然会出现栈变量先死亡，堆对象还活着的情况，这时候指针就彻底失效了。

四、安全的解决办法 #

• 优先存储值而非指针：如果堆对象只需要Vector3的数据，直接把Vector3作为成员变量存储（拷贝值），彻底脱离对栈变量的依赖：

  class MyHeapObj {
  private:
      Vector3 position; // 直接存值，不是指针
  public:
      void setPosition(const Vector3& pos) {
          position = pos; // 拷贝栈变量的值到自身
      }
  };
  

• 如果必须用指针，改用堆分配的Vector3：如果确实需要共享Vector3对象，把Vector3也用new创建在堆上，让堆对象持有这个堆指针，记得最后一起释放：

  void someFunction() {
      Vector3* heapVec = new Vector3(0, 0, 0);
      MyHeapObj* e1 = new MyHeapObj(heapVec);
      e1->setPosition(heapVec);
      
      // 最后手动释放内存
      delete e1;
      delete heapVec;
  }
  

• 用智能指针自动管理生命周期：更稳妥的方式是用std::shared_ptr或std::unique_ptr，让智能指针自动处理内存释放，从根源避免悬空指针：

  void someFunction() {
      std::shared_ptr<Vector3> heapVec = std::make_shared<Vector3>(0, 0, 0);
      std::shared_ptr<MyHeapObj> e1 = std::make_shared<MyHeapObj>(heapVec);
      e1->setPosition(heapVec);
      // 不需要手动delete，智能指针会在对象无人引用时自动释放内存
  }
  

内容的提问来源于stack exchange，提问作者456panos