C语言动态分配二维数组出现段错误，求错误排查与优化建议

一、导致段错误的核心问题 #

1. 指针参数传递错误 #

你在main里传递matriz给generar_matriz时用的是值传递，函数内部对matriz的赋值不会影响主函数里的原指针。更关键的是，函数内部分配的内存地址无法传递回主函数，同时还会造成内存泄漏。

2. 数组赋值的索引错误 #

在填充矩阵值的循环里，你写的是*(matriz[j]) = valor;，这里存在两个问题：

• 索引逻辑错误：当前处于第i行的内存分配循环中，应该操作的是matriz[i]对应的行，而非matriz[j]。
• 非法内存访问：当j > i时，matriz[j]还没有通过malloc分配内存，此时直接访问会触发段错误。

二、修正后的代码 #

主函数 #

#include "funciones.h"
#define FILAS 5 
#define COLUMNAS 3
#define VALOR 2

int main(void)
{
    int estado;
    int **matriz = NULL;

    // 传递指针的地址，让函数能修改主函数中的指针
    estado = generar_matriz(FILAS, COLUMNAS, VALOR, &matriz);

    if(estado == OK)
    {
        printf("matriz creada exitosamente \n");
        // 使用完后释放内存，避免泄漏
        for(int i = 0; i < FILAS; i++)
        {
            free(matriz[i]);
        }
        free(matriz);
    }
    else
        printf("error en el creado de la matriz \n");
        
    return 0;
}

函数实现 #

#include "funciones.h"

int generar_matriz(int filas, int columnas, int valor, int*** matriz)
{
    int estado = OK, i, j;
    
    if(filas <= 0 || columnas <= 0)
    {
        return ERROR;
    }

    // 分配行指针数组
    *matriz = malloc(sizeof(int*) * filas);
    if(*matriz == NULL)
    {
        return ERROR;
    }

    for(i = 0; i < filas; i++)
    {
        (*matriz)[i] = malloc(sizeof(int) * columnas);
        if((*matriz)[i] == NULL)
        {
            estado = ERROR;
            // 分配失败时回滚，释放已分配的内存
            for(int k = 0; k < i; k++)
            {
                free((*matriz)[k]);
            }
            free(*matriz);
            *matriz = NULL;
            break;
        }

        // 正确填充当前行的每一列
        for(j = 0; j < columnas; j++)
        {
            (*matriz)[i][j] = valor;
        }
    }

    return estado;  
}

头文件（更新函数声明） #

#ifndef FUNCIONES_H_
#define FUNCIONES_H_

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define ERROR -1
#define OK 0

// 修改为三级指针，用于修改主函数中的二级指针
int generar_matriz(int filas, int columnas, int valor, int*** matriz);

#endif 

三、代码实践优化建议 #

• 不要强制转换malloc返回值：C语言中void*可自动转为其他指针类型，强制转换可能隐藏类型不匹配问题。
• 内存分配失败要回滚：某一行分配失败时，必须释放之前已分配的所有内存，避免内存泄漏。
• 严格参数校验：不仅要检查行列数不为0，还要确保其为正数，防止传入负数导致错误的内存分配。
• 养成内存释放习惯：动态分配的内存必须在使用完毕后手动释放，避免内存泄漏。
• 优先使用清晰的数组访问方式：matriz[i][j]比*(matriz[i]+j)可读性更强，尽量使用前者。

内容的提问来源于stack exchange，提问作者elmarti