学习笔记五：内存管理

（本节内容节选自《高质量c++/c编程指南》第7章，林锐著）
1.如果函数的参数是一个指针，不要指望用该指针去申请动态内存。示例7-4-1中，Test函数的语句GetMemory(str, 200)并没有使str获得期望的内存，str依旧是NULL，为什么？

//示例7-4-1
void GetMemory(char **p, int num)
{
    *p = (char *)malloc(sizeof(char *)*num);
}
void Test(void)
{
    char *str = NULL;
    GetMemory(str, 100); // str 仍然为 NULL
    strcpy(str, "hello"); // 运行错误
}

首先来分析下指针参数传递的原理。编译器总是要给每个函数参数创建一个临时副本（另外，对于函数返回值，编译器也会创建一个临时副本，该副本在返回之前会放入缓冲区中），例如指针参数p的临时副本是_p，_p=p，此时_p和p指向同一段内存地址，如图1所示。因此，当我们修改地址01的内容时，实际也就修改了p所指向的内存的内容，这一点与我们平时使用指针参数的目的是一致的。然而，当我们修改_p的值（为其申请动态内存）时，只是将_p指向另一段内存地址（地址02），而p仍然指向地址01，这就相当于值传递了，是无法更改变量内容的。同时，这么做的话为造成内存泄露。（在C++ primer中，是这样解释的，每次调用函数时，会重新创建所有形参，复制实参的值，用于初始化形参）

如果非得要用指针参数去申请内存，可以改用“指向指针的指针”，见示例7-4-2。

//示例7-4-2
void GetMemory2(char **p, int num)
{
    *p = (char *)malloc(sizeof(char) * num);
}
void Test2(void)
{
    char *str = NULL;
    GetMemory2(&str, 100); // 注意参数是 &str，而不是str
    strcpy(str, "hello");
    cout<< str << endl; //这里估计str是字符数组，故直接输出str,得到"hello",而采用*str,则只能输出第一个元素"h"。
    free(str);
}

由于“指向指针的指针”这个概念不容易理解，我们可以用函数返回值来传递动态内存。这种方法更加简单，见示例7-4-3。

//示例7-4-3
char *GetMemory3(int num)
{
    char *p = (char *)malloc(sizeof(char) * num);
    return p;
}
void Test3(void)
{
    char *str = NULL;
    str = GetMemory3(100);
    strcpy(str, "hello");
    cout<< str << endl;
    free(str);
}

用函数返回值来传递动态内存这种方法虽然好用，但是常常有人把return语句用错了。这里强调不要用return语句返回指向“栈内存”的指针，因为该内存在函数结束时自动消亡，见示例7-4-4。

//示例7-4-4
char *GetString(void)
{
    char p[] = "hello world";
    return p; // 编译器将提出警告
}
void Test4(void)
{
    char *str = NULL;
    str = GetString(); // str 的内容是垃圾
    cout<< str << endl;
}

用调试器逐步跟踪Test4，发现执行str = GetString语句后str不再是NULL指针，但是str的内容不是“hello world”而是垃圾。
如果把示例7-4-4改写成示例7-4-5，会怎么样？

//7-4-5
char *GetString2(void)
{
    char *p = "hello world";
    return p;
}
void Test5(void)
{
    char *str = NULL;
    str = GetString2();
    cout<< str << endl;
}

函数Test5运行虽然不会出错，但是函数GetString2的设计概念却是错误的。因为GetString2内的“hello world”是常量字符串，位于静态存储区，它在程序生命期内恒定不变。无论什么时候调用GetString2，它返回的始终是同一个“只读”的内存块。
2.我们发现指针有一些“似是而非”的特征：
（1）指针消亡了，并不表示它所指的内存会被自动释放。
（2）内存被释放了，并不表示指针会消亡或者成了NULL指针。