2020-10-17

作者：大卫德刘
链接：https://www.zhihu.com/question/404926433/answer/1318010429
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
 

定义变量得到的内存，在它被定义的作用域结束之后（一般就是定义语句所在的大括号），就会被释放，而malloc得到内存可以存活到被free的时间

例如

int *f() {
    int n = 10;
    return &n;
}
int *g() {
    int *p = (int*) malloc(sizeof(int));
    *p = 10;
    return p;
}
int main() {
    int *a = f();
    int *b = g();
}

n所存在的内存在f结束时就被释放了，所以a指向的是一个无效位置，那么如果你写*a=100的话就是一个未定义行为。而b得到的是g里malloc的地址，那么它依然是合法位置，*b=100就是有效操作。

这是malloc存在的最大的意义，为了申请一块可以存活超过作用域的内存，除此之外还有一些原因是：

1. 直接定义变量的话，会在栈上分配空间，而栈空间一般比较小，如果你开一个很大的数组，很可能会溢出，malloc就比较合适
2. 你要的数组的长度可能在编译时候未知，而需要在运行时知道（比如让用户输入n，然后分配长度为n的数组）这个叫变长数组，在C里是允许的，而在c++里是不行的，原因主要也在于如果n很大，会造成溢出

而malloc的一些问题是：

1. 因为是运行时分配，速度稍慢，尤其是有多线程的时候，一般是有多个栈但只有一个堆（堆就是malloc分配的地方）如果几个线程同时申请，很可能一次只能为一个线程分配
2. 需要手动free，不free会造成内存泄漏，提前free或者多次free又会造成出错或未定义行为