Clion警告“局部变量地址可能逃逸函数”是否需要修复？

问题背景 #

刚学习C++，在实现二叉树时遇到Clion警告：The address of the local variable may escape the function，不确定是否需要修复。相关代码如下：

BinaryTree类的指针成员定义：

BinaryTree * left = nullptr;
BinaryTree * right = nullptr;

类成员方法声明：

void BinaryTree::randomTree(bool grow, bool actDepth, short maxDepth, short depth = 0)

创建空树实例并调用方法的代码：

BinaryTree tmpTree = BinaryTree(
                minDepth,
                mProbability,
                cProbability
        );
tmpTree.randomTree(
        (bool) Helper::fiftyFifty(),
        (bool) Helper::fiftyFifty(),
        Helper::getRandomNumber(minDepth, maxDepth + 1)
);

触发警告的randomTree方法内代码片段：

// ... 其他代码 ...
BinaryTree lTmpTree = BinaryTree(
        this->minDepth,
        this->mProbability,
        this->cProbability
);
this->left = &lTmpTree;  // <---- 警告位置
this->left->randomTree(grow, actDepth, maxDepth, depth + (short) add);
// ... 其他代码 ...

解答 #

这个警告必须修复，绝对不能忽视。

原因很明确：lTmpTree是randomTree函数内的局部变量，函数执行完毕后，局部变量会被销毁，其占用的内存会被系统回收。而你把this->left指向了这个局部变量的地址，函数结束后this->left就变成了野指针——指向的内存已经无效。后续任何通过this->left访问成员或调用方法的操作，都会引发未定义行为，程序可能崩溃、输出乱码，甚至在某些场景下看似正常运行但留下致命隐患。

修复方案 #

有两种常用的解决方式：

1. 动态分配内存：用new创建BinaryTree实例，内存会分配在堆上，不会随函数结束而销毁：

this->left = new BinaryTree(
        this->minDepth,
        this->mProbability,
        this->cProbability
);
this->left->randomTree(grow, actDepth, maxDepth, depth + (short) add);

注意：用new分配的内存需要手动用delete释放，否则会造成内存泄漏。可以在BinaryTree的析构函数里递归删除左右子树来处理。

2. 使用智能指针：如果你的C版本支持C11及以上，推荐用std::unique_ptr或std::shared_ptr管理内存，自动处理释放逻辑，避免内存泄漏：
   首先修改类成员定义：

#include <memory>
std::unique_ptr<BinaryTree> left = nullptr;
std::unique_ptr<BinaryTree> right = nullptr;

然后在randomTree方法内修改为：

this->left = std::make_unique<BinaryTree>(
        this->minDepth,
        this->mProbability,
        this->cProbability
);
this->left->randomTree(grow, actDepth, maxDepth, depth + (short) add);

智能指针会在对象不再被引用时自动释放内存，无需手动调用delete。

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