如何让类成员指针表现确定行为？移植代码遇未定义行为

你的代码出现未定义行为的核心原因是指针被重复赋值导致的内存泄漏与悬空指针风险，具体拆解与修复方案如下：

核心问题点 #

1. 指针覆盖与内存泄漏
   在MethodSetup中，你已经为data1和data2分配了堆内存：

   data1 = new CurrentData();
   data2 = new CurrentData();
   

   但后续在SetupStep中，直接将指针重新指向了resp->m_Data：

   *p_Data = (*resp)->m_Data;
   

   这会彻底丢失最初new出来的内存地址，造成内存泄漏。

2. 悬空指针风险
   如果csref<CurrentDataResponse> resp是局部对象，或者其内部的m_Data指向的对象生命周期短于TestClass的data1/data2（比如m_Data指向栈对象、临时堆对象，在resp销毁后就会失效），那么data1/data2就会变成悬空指针，后续调用Verify访问cd->val时必然触发未定义行为。

3. 新旧代码逻辑不一致
   原代码在同一作用域中直接使用resp->m_Data的指针，没有提前执行new操作；而新代码多了一步提前分配堆内存再覆盖指针的操作，直接改变了指针的指向逻辑，导致行为和原代码完全不同。

修复方案 #

根据你保留原生指针、匹配原代码行为的需求，可选择以下两种方案：

方案一：移除提前分配的堆内存，直接复用resp返回的指针 #

如果原代码逻辑是直接使用resp返回的对象，删除MethodSetup中的new操作，让data1/data2直接指向resp->m_Data即可，但必须确保resp->m_Data指向的对象生命周期能覆盖整个测试流程：

// 修改MethodSetup，移除new操作
TestClass::MethodSetup()
{
    data1 = nullptr;
    data2 = nullptr;
}

// 保持SetupStep逻辑不变
TestClass::SetupStep(CurrentData** p_Data)
{
   CurrentDataRequest req;
   csref<CurrentDataResponse> resp;
   // send request and get response
   *p_Data = (*resp)->m_Data;
}

方案二：拷贝resp返回的数据到已分配的堆对象中 #

如果需要保留自己分配的堆内存（比如要修改数据、确保生命周期可控），不要直接覆盖指针，而是将resp->m_Data的内容拷贝到已有的对象中：

TestClass::SetupStep(CurrentData** p_Data)
{
   CurrentDataRequest req;
   csref<CurrentDataResponse> resp;
   // send request and get response
   // 拷贝内容而非覆盖指针
   **p_Data = *((*resp)->m_Data);
}

这样既不会丢失最初分配的堆内存，也能正确获取resp返回的数据。

额外注意事项 #

• 确认resp->m_Data的所有权：如果resp返回的对象需要手动释放，需在MethodCleanup中额外处理；如果resp会管理该对象的生命周期，直接复用指针时要确保测试过程中resp不会提前销毁。
• 调试时可在SetupStep后打印data1的地址和resp->m_Data的地址，确认指针指向是否符合预期，也可以检查resp->m_Data是否为nullptr。

内容的提问来源于stack exchange，提问作者Ian Storm