C语言动态内存分配

1.动态内存分配的意义

C语言中的一切操作都是基于内存的，变量和数组都是内存的别名，内存分配由编译器在编译期间决定，定义数组的时候必须指定数组长度，数组长度是在编译期就必须确定的。
程序运行的过程中，可能需要使用一些额外的内存空间，我们有这样的需求。

malloc和free用于执行动态内存分配和释放。
我们需要内存来存放程序的时候，就使用malloc函数向操作系统申请一段内存空间，借了就要还，使用free函数归还申请的内存空间，不归还会导致内存泄漏。

2.malloc和free

malloc所分配的是一块连续的内存，以字节为单位，并且不带任何的类型信息。
free用于将动态内存归还系统。

void* malloc(size_t size);
void free(void* pointer);

注意的点：
（1）malloc和free是库函数，而不是系统调用。
（2）malloc 实际分配的内存可能会比请求的多，例如你申请3个字节的内存空间，而操作系统是以4字节分配内存空间的，那么就会给你分配4字节的空间，比你要的空间要大。为了更好的移植性，我们不能依赖于不同平台下的malloc行为。
（4）当请求的动态内存无法满足时malloc返回NULL，即申请失败。
（5）当free的参数为NULL时，函数直接返回

有个疑问：malloc(0);将返回什么?

我们动态申请的内存，包括了起始地址和长度，有返回值说明我们申请成功了，所以说malloc(0)是合法的，但是长度为0，无法使用这内存空间。

还有个疑问，如果不停地申请malloc(0);，会导致内存泄漏吗？
答案是会，每次malloc(0)可能在操作系统上已经得到四字节的内存了，所以申请完都要free释放掉。java等语言就有垃圾自动回收机制，而C语言没有，我们需要手动释放掉。

实例分析：内存泄漏检测模块
test.c

#include <stdio.h>
#include "mleak.h"

void f()
{
    MALLOC(100);//动态申请100字节内存，但是没有返回值free，肯定会造成内存泄漏
}

int main()
{
    int* p = (int*)MALLOC(3 * sizeof(int));//申请一个数组，大小为3,每个元素为int类型
    
    f();
    
    p[0] = 1;
    p[1] = 2;
    p[2] = 3;
    
    FREE(p);//释放p，这个是大写的free
    
    PRINT_LEAK_INFO();//打印当前内存泄露的信息
    
    return 0;
}

mleak.c

#include "mleak.h"

#define SIZE 256

/* 动态内存申请参数结构体
	用来保存每次动态申请的相关信息
 */
typedef struct
{
    void* pointer;//地址
    int size;//大小
    const char* file;//记录在文件的哪个位置进行操作
    int line;
} MItem;

static MItem g_record[SIZE]; /* 记录动态内存申请的操作 */

void* mallocEx(size_t n, const char* file, const line)
{
    void* ret = malloc(n); /* 动态内存申请 */
    
    if( ret != NULL )
    {
        int i = 0;
        
        /* 遍历全局数组，记录此次操作 */
        for(i=0; i<SIZE; i++)
        {
            /* 查找位置 */
            if( g_record[i].pointer == NULL )
            {
                g_record[i].pointer = ret;
                g_record[i].size = n;
                g_record[i].file = file;
                g_record[i].line = line;
                break;
            }
        }
    }
    
    return ret;
}

void freeEx(void* p)
{
    if( p != NULL )
    {
        int i = 0;
        
        /* 遍历全局数组，如果在内，就释放内存空间，并清除操作记录 */
        for(i=0; i<SIZE; i++)
        {
            if( g_record[i].pointer == p )
            {
                g_record[i].pointer = NULL;
                g_record[i].size = 0;
                g_record[i].file = NULL;
                g_record[i].line = 0;
                
                free(p);
                
                break;
            }
        }
    }
}

void PRINT_LEAK_INFO()
{
    int i = 0;
    
    printf("Potential Memory Leak Info:\n");
    
    /* 遍历全局数组，打印未释放的空间记录 */
    for(i=0; i<SIZE; i++)
    {
        if( g_record[i].pointer != NULL )
        {
            printf("Address: %p, size:%d, Location: %s:%d\n", g_record[i].pointer, g_record[i].size, g_record[i].file, g_record[i].line);
        }
    }
}

mleak.h

#ifndef _MLEAK_H_
#define _MLEAK_H_

#include <malloc.h>

#define MALLOC(n) mallocEx(n, __FILE__, __LINE__)
#define FREE(p) freeEx(p)

void* mallocEx(size_t n, const char* file, const line);
void freeEx(void* p);
void PRINT_LEAK_INFO();

#endif

编译运行：打印出了内存泄露的地址，大小为100个字节，在test.c的第六行

大写的MALLOC和FREE是对原有的malloc和free进行的扩展，内存泄露检测模块在实际开发中就能够起到很大的作用了，不过我们要使用这个模块还需要进行改进，如互斥处理等。

3.calloc和realoc

void* calloc(size_t num,size_t size);
void* realloc(void* pointer,size_t new_size);

calloc的参数代表所返回内存的类型信息，calloc函数会将返回的内存初始化为0，就是相当于malloc函数申请并多了一个初始化操作。

realloc用于修改一个原先已经分配的内存块大小，在使用realloc之后应该使用其返回值，当pointer的第一个参数为NULL时，等价于malloc。

代码来看看效果

#include <stdio.h>
#include <malloc.h>

#define SIZE 5

int main()
{
    int i = 0;
    int* pI = (int*)malloc(SIZE * sizeof(int));//指向整型数组
    short* pS = (short*)calloc(SIZE, sizeof(short));
    
    for(i=0; i<SIZE; i++)
    {
        printf("pI[%d] = %d, pS[%d] = %d\n", i, pI[i], i, pS[i]);
    }
    
    printf("Before: pI = %p\n", pI);
    
    pI = (int*)realloc(pI, 2 * SIZE * sizeof(int));//重置为2倍大小
    
    printf("After: pI = %p\n", pI);
    
    for(i=0; i<10; i++)
    {
        printf("pI[%d] = %d\n", i, pI[i]);
    }
    
    free(pI);
    free(pS);
    
    return 0;
}

编译运行：可以看到，calloc申请的空间会被初始化为0，而malloc申请 的也是0，是linux系统下的巧合，在windows下就不一定为0了。
重置之前和重置之后的地址发生了改变，原因是新申请一片内存空间，将老的内存空间的元素值复制到新的空间，最后返回新的内存地址，地址值会发生改变。

window下的运行结果如下

4.小结

动态内存分配是C语言中的强大功能，程序能够在需要的时候有机会使用更多的内存，malloc单纯的从系统中申请固定字节大小的内存，calloc能以类型大小为单位申请内存并初始化为0，realloc用于重置内存大小。