使用const引用实现类成员只读访问出现异常的原因排查

核心问题：悬空const引用引发的未定义行为 #

你遇到的异常本质是const引用绑定了已销毁的临时/局部对象，形成悬空引用，后续访问该引用时会读取到垃圾值。常见触发场景有两种：

• 错误将类的对外只读接口设计为直接持有const引用成员，而非返回内部成员的引用。比如构造Triangle3时，把传入的临时对象/局部变量绑定到类内的const引用成员：

  class Triangle3 {
  public:
      const Vec3& p1;
      // 构造参数是局部临时对象，构造完成后会被销毁
      Triangle3(Vec3 input_p1) : p1(input_p1) {} 
  };
  

  构造函数执行完毕后，形参input_p1的内存会被释放，此时p1引用的是一块逻辑上已失效的内存。vector中第一个实例可能因内存布局特性，这块失效内存更早被复用或覆盖，所以最先出现数值错误，传入Mesh后进一步触发垃圾值问题。
• 若成员函数返回const引用时，错误返回了局部变量的引用，也会导致调用方拿到悬空引用，引发相同问题。

改用成员变量后恢复正常的原因 #

当你把const引用替换为直接成员变量时，类会对传入的值执行拷贝构造，将数据存储在类自身的内存空间中，不再依赖外部对象的生命周期，访问的始终是有效内存地址，因此不会出现垃圾值。

Valgrind未检测到错误的原因 #

Valgrind的内存检测存在局限性：

• 如果悬空引用访问的内存尚未被系统重新分配或覆盖，Valgrind可能不会判定为非法访问（该内存仍属于进程地址空间，只是逻辑上已失效）。
• 局部变量销毁后，内存会被标记为"可复用"但未立刻被覆盖，此时读取不会触发Valgrind的错误提示，但读取到的是不确定的垃圾值。

内容的提问来源于stack exchange，提问作者The Kraken