C++如何从函数返回动态分配数组并正确释放？代码写法存疑

嘿，作为C++新手碰到内存管理的困惑太正常了，咱们来拆解你的问题：

一、当前写法的正确性 #

你现在用delete[]对应new[]的写法本身是正确的。C++的规则很明确：用new[]动态分配的数组，必须用delete[]来释放，你这里每个指针one、two、three都分别对应了正确的释放语句，语法和逻辑上没有问题。

二、为什么没看到内存释放的迹象？ #

你说分析内存分配时没发现释放的痕迹，大概率是这几个原因：

• 操作系统内存管理的“延迟回收”机制：当你调用delete[]时，只是告诉操作系统这块内存可以被重新使用了，但操作系统通常不会立刻把内存归还给硬件，而是把它标记为“可用堆内存”，留给后续的内存分配请求。所以从任务管理器这类工具看，程序的内存占用可能不会立刻下降，直到程序退出或者需要更多新内存时才会有变化。
• 内存检测工具的局限性：如果你用的是简易的内存监控工具，可能无法实时跟踪堆内存的精细变化。有些专业工具需要专门配置才能准确显示内存的分配和释放，或者需要程序运行到特定阶段才能看到结果。
• 潜在的异常安全问题：如果//operate with 3 array这段代码抛出了异常，那么后面的delete[]语句就不会被执行，内存就真的泄漏了！这是手动管理内存的一大隐患。

三、更安全的改进方案 #

为了避免手动管理内存的麻烦和异常安全问题，推荐使用C++的RAII机制，比如std::unique_ptr<MyClass[]>（智能指针），它会在指针生命周期结束时自动调用delete[]，就算有异常也能保证内存释放：

#include <memory>

void a(){ 
    std::unique_ptr<MyClass[]> one = b(); 
    std::unique_ptr<MyClass[]> two = c(); 
    std::unique_ptr<MyClass[]> three = d(); 
    //operate with 3 array (one, two and three)
    // 不需要手动写delete[]，智能指针会自动处理
} 

std::unique_ptr<MyClass[]> b(){ 
    std::unique_ptr<MyClass[]> array(new MyClass[2000]); 
    //many operations on array
    return array; 
} 

// c()和d()函数同理修改

如果是C++11及以上版本，还可以用std::make_unique让代码更简洁安全：

std::unique_ptr<MyClass[]> b(){ 
    auto array = std::make_unique<MyClass[]>(2000); 
    //many operations on array
    return array; 
}

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