C语言中的内存错误等问题

非法内存操作分析

结构体成员指针未初始化
没有为结构体指针分配足够的内存

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

struct Demo
{
    int* p;
};

int main()
{
    struct Demo d1;
    struct Demo d2;
    
    int i = 0;
    
    for(i=0; i<10; i++)
    {
        d1.p[i] = 0; // 指针未初始化
    }
    
    d2.p = (int*)calloc(5, sizeof(int));
    
    for(i=0; i<10; i++)
    {
        d2.p[i] = i; // 没有分配足够的内存
    }
    
    free(d2.p);
    
    return 0;
}

内存初始化分析

内存分配成功，但并未初始化

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

int main()
{
    char* s = (char*)malloc(10);
    
    printf(s); // 未初始化
    
    free(s);
       
    return 0;
}

内存越界分析

数组越界

#include <stdio.h>

void f(int a[10])
{
    int i = 0;
    
    for(i=0; i<10; i++)
    {
        a[i] = i; // 数组越界
        printf("%d\n", a[i]);
    }
}

int main()
{
    int a[5];
    
    f(a);
       
    return 0;
}

内存泄露分析

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

void f(unsigned int size)
{
    int* p = (int*)malloc(size*sizeof(int));
    int i = 0;
    
    if( size % 2 != 0 )
    {
        return; // 未释放，内存泄漏
    }
    
    for(i=0; i<size; i++)
    {
        p[i] = i;
        printf("%d\n", p[i]);
    }
    
    free(p);
}

int main()
{
    f(9);
    f(10);
       
    return 0;
}

多次指针释放

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

void f(int* p, int size)
{
    int i = 0;
    
    for(i=0; i<size; i++)
    {
        p[i] = i;
        printf("%d\n", p[i]);
    }
    
    free(p);
}

int main()
{
    int* p = (int*)malloc(5 * sizeof(int));
    
    f(p, 5);
    
    free(p); //多次释放
       
    return 0;
}

使用已释放的指针

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

void f(int* p, int size)
{
    int i = 0;
    
    for(i=0; i<size; i++)
    {
        printf("%d\n", p[i]);
    }
    
    free(p);
}

int main()
{
    int* p = (int*)malloc(5 * sizeof(int));
    int i = 0;
    
    f(p, 5);
    
    for(i=0; i<5; i++)
    {
        p[i] = i; // 使用已经释放的指针
    }
       
    return 0;
}

对于上面的问题，我们应该遵守一些规则：
用malloc申请了内存之后，应该立即检查指针值是否为NULL，防止使用值为NULL的指针
牢记数组的长度，防止数组越界操作，考虑使用柔性数组
动态申请操作必须和释放操作匹配，防止内存泄露和多次释放
free指针之后必须立即赋值为NULL