函数返回局部变量，智能指针

对于函数返回局部变量的场景，若该局部变量是值，则没有问题，如果是返回栈内存的指针（局部数组变量），则函数运行结束后，指向栈区的指针会释放内存，这时候返回该指针可能会发生不可预期的错误。

比如这段代码，返回M时，M是局部变量，会释放掉，最终返回的可能是 野指针。

float* MultMatrix(float A[4], float B[4])
{
    float M[4];
    M[0] = A[0]*B[0] + A[1]*B[2];
    M[1] = A[0]*B[1] + A[1]*B[3];
    M[2] = A[2]*B[0] + A[3]*B[2];
    M[3] = A[2]*B[1] + A[3]*B[3];

    return M;
}

但是在函数里，堆中的指针如果不显示的delete，其生命周期一直到程序结束，则可以正常返回，比如下面这段代码：

float* MultMatrix(float A[4], float B[4])
{
    float *M = new float[4];
    M[0] = A[0]*B[0] + A[1]*B[2];
    M[1] = A[0]*B[1] + A[1]*B[3];
    M[2] = A[2]*B[0] + A[3]*B[2];
    M[3] = A[2]*B[1] + A[3]*B[3];
    cout << M[0] << " " << M[1] << endl;
    cout << M[2] << " " << M[3] << endl;

    return M;
}

点评内容：

首先，数组的 delete 是 delete[]。

其次，C++ 里面手动内存分配的一个重要原则是谁分配谁释放。

要想返回一个数组，使用智能指针之类的东西才是正途。

介绍c++里面的四个智能指针: auto_ptr, shared_ptr, weak_ptr, unique_ptr 其中后三个是c++11支持，并且第一个已经被c++11弃用。

为什么要使用智能指针：当我们写一个new语句时，一般就会立即把delete语句直接也写了，但是我们不能避免程序还未执行到delete时就跳转了或者在函数中没有执行到最后的delete语句就返回了，如果我们不在每一个可能跳转或者返回的语句前释放资源，就会造成内存泄露。使用智能指针可以很大程度上的避免这个问题，因为智能指针就是一个类，当超出了类的作用域时，类会自动调用析构函数，析构函数会自动释放资源。

。。。

原文链接: https://www.cnblogs.com/tracyummy/p/12859417.html

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍