结构体内部动态数组内存分配引发栈转储错误求助

问题根源分析 #

你遇到的栈转储错误，核心原因有两个：

1. 临时变量赋值顺序错误 #

在criarEmpresa函数中，你先将栈上的临时变量novaEmpresa复制到catalogo->empresas数组中，之后才对novaEmpresa的classis动态数组、nClassificacoes和maxClassificacoes进行初始化。此时修改的只是栈上的临时变量，并未改变数组中存储的Empresa实例，导致数组里的classis是未初始化的野指针，nClassificacoes和maxClassificacoes是随机垃圾值，后续访问classis时必然触发内存错误。

2. 结构体初始化不完整 #

在main函数中，Empresas Empresa = {.contador = 0};仅初始化了contador字段，alocadas默认值为0，empresas指针为NULL。虽然第一次realloc能正常工作，但显式初始化所有字段能避免潜在的未定义行为。

修复方案 #

方案1：先初始化临时变量的所有字段，再复制到数组 #

调整criarEmpresa的执行顺序，先完成novaEmpresa的所有初始化（包括动态数组分配），再将其复制到catalogo->empresas中：

void criarEmpresa(Empresas *catalogo) {
    // 检查并扩容企业数组
    if (catalogo->contador == catalogo->alocadas) {
        catalogo->alocadas += 10; 
        // 检查realloc返回值，避免内存分配失败导致的指针丢失
        Empresa *temp = realloc(catalogo->empresas, catalogo->alocadas * sizeof(Empresa));
        if (temp == NULL) {
            printf("Erro na alocacao de memoria para empresas.\n");
            return;
        }
        catalogo->empresas = temp;
    }

    Empresa novaEmpresa;
    // 初始化分类相关字段为默认值
    novaEmpresa.nClassificacoes = 0;
    novaEmpresa.maxClassificacoes = MAX_AVALS;
    novaEmpresa.classis = malloc(novaEmpresa.maxClassificacoes * sizeof(Classificacao));
    if (novaEmpresa.classis == NULL) {
        printf("Erro na alocacao de memoria para classificacoes.\n");
        return;
    }

    // 填充企业基本信息（硬编码示例）
    strcpy(novaEmpresa.nif, "123456789");
    strcpy(novaEmpresa.nome, "Empresa XYZ");
    
    // 先完成所有初始化，再复制到数组
    catalogo->empresas[catalogo->contador] = novaEmpresa;
    catalogo->contador++;
    
    printf("Empresa criada com sucesso!\n");
}

方案2：直接操作数组中的元素（更高效，避免拷贝） #

跳过临时变量，直接对catalogo->empresas[catalogo->contador]进行初始化，减少一次结构体拷贝：

void criarEmpresa(Empresas *catalogo) {
    if (catalogo->contador == catalogo->alocadas) {
        catalogo->alocadas += 10; 
        Empresa *temp = realloc(catalogo->empresas, catalogo->alocadas * sizeof(Empresa));
        if (temp == NULL) {
            printf("Erro na alocacao de memoria para empresas.\n");
            return;
        }
        catalogo->empresas = temp;
    }

    // 获取数组中当前要初始化的企业实例
    Empresa *novaEmpresa = &catalogo->empresas[catalogo->contador];
    
    // 填充基本信息
    strcpy(novaEmpresa->nif, "123456789");
    strcpy(novaEmpresa->nome, "Empresa XYZ");
    
    // 初始化分类相关字段
    novaEmpresa->nClassificacoes = 0;
    novaEmpresa->maxClassificacoes = MAX_AVALS;
    novaEmpresa->classis = malloc(novaEmpresa->maxClassificacoes * sizeof(Classificacao));
    if (novaEmpresa->classis == NULL) {
        printf("Erro na alocacao de memoria para classificacoes.\n");
        return;
    }

    catalogo->contador++;
    printf("Empresa criada com sucesso!\n");
}

修正main函数的初始化 #

显式初始化Empresas的所有字段，避免未定义行为：

int main() {
    // 显式初始化所有字段
    Empresas catalogo = {
        .contador = 0,
        .alocadas = 0,
        .empresas = NULL
    };
    
    int opc = 1;
    do {
        switch (opc) {
            case 1:
                criarEmpresa(&catalogo);
                opc = 2; 
                break;
            case 2:
                classificarEmpresa(&catalogo);
                opc = 3;
                break;
            case 3:
                opc = 4;
                break;
        }
    } while (opc != 4);

    // 记得释放内存，避免内存泄漏
    for (int i = 0; i < catalogo.contador; i++) {
        free(catalogo.empresas[i].classis);
    }
    free(catalogo.empresas);
    return 0;
}

额外注意事项 #

• 内存分配检查：所有malloc和realloc的返回值都要检查是否为NULL，避免内存分配失败导致的程序崩溃。
• 内存释放：程序结束前要释放所有动态分配的内存，避免内存泄漏。
• 原函数中的其他问题：在你的完整criarEmpresa函数中，若用户未选择行业分支就返回，此时已经执行了realloc扩容，会导致不必要的内存占用，建议将realloc操作放在确认创建企业之后。

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