C语言动态分配内存：使用exit退出时是否需搭配else分支？

我在程序中写了一段动态内存分配的代码，如下：

int main() { 
    int* index = (int*)malloc(n*sizeof(int)); 
    if(index == NULL) { 
        printf("Memory Not Allocated.\n"); 
        exit(0); 
    } 
    int* arr = (int*)malloc(p*sizeof(int)); 
    if(arr == NULL) { 
        printf("Memory Not Allocated.\n"); 
        exit(0); 
    } 
    int* queue = (int*)malloc(frames*sizeof(int)); 
    if(queue == NULL) { 
        printf("Memory Not Allocated.\n"); 
        exit(0); 
    } 
    // More code... 
    // --------------- 
    // --------------- 
    // More code.... 
}

这段代码里我为index、arr和queue动态分配内存，只用if条件判断内存是否分配成功，因为if分支里调用了exit(0)退出程序，所以没写else分支。我觉得内存分配失败时程序会直接退出，不需要用else，但不确定这个想法对不对。

请问是否应该改用下面带else分支的写法？

int main() { 
    int* index = (int*)malloc(n*sizeof(int)); 
    if(index == NULL) { 
        printf("Memory Not Allocated.\n"); 
        exit(0); 
    } else { 
        int* arr = (int*)malloc(p*sizeof(int)); 
        if(arr == NULL) { 
            printf("Memory Not Allocated.\n"); 
            exit(0); 
        } else { 
            int* queue = (int*)malloc(frames*sizeof(int)); 
            if(queue == NULL) { 
                printf("Memory Not Allocated.\n"); 
                exit(0); 
            } else { 
                // More code... 
                // --------------- 
                // --------------- 
                // More code.... 
            } 
        } 
    } 

想知道哪种写法更规范正确？两种写法是否都可行？

结论先行：第一种不带else的写法更规范，两种写法都可行，但第一种在可读性和维护性上更优 #

1. 两种写法的可行性

两种写法都是可行的：

• 第一种写法中，当malloc返回NULL时，exit(0)会直接终止程序，后续代码不会执行，所以不需要else来包裹正常逻辑——程序已经在错误分支里退出了，正常逻辑自然只会在分配成功时执行。
• 第二种带else的写法也能正确工作，但会造成不必要的代码缩进嵌套，随着需要分配的内存变量增多，嵌套层级会越来越深，代码会变得难以阅读和维护（也就是常说的"箭头代码"问题）。

2. 为什么第一种写法更规范

在C语言的编程实践中，这种"错误处理优先，提前退出"的写法是被广泛推荐的：

• 可读性更好：正常逻辑保持在同一缩进层级，不需要层层嵌套，一眼就能看清楚程序的主流程。
• 维护成本更低：如果后续需要添加更多的内存分配或者其他前置检查，直接在对应位置添加if判断+提前退出即可，不会让嵌套层级失控。
• 逻辑更清晰：错误处理和正常逻辑分离，错误情况被快速处理并退出，主流程不受干扰。

3. 额外的优化建议

你当前的错误提示比较笼统，所有分配失败都输出同样的信息，建议可以区分不同变量的分配失败，方便调试：

int* index = (int*)malloc(n*sizeof(int)); 
if(index == NULL) { 
    printf("Memory allocation failed for index.\n"); 
    exit(EXIT_FAILURE); // 更推荐用EXIT_FAILURE而非0，0表示正常退出，错误退出用非0值
} 

另外，exit(0)通常用于程序正常终止，内存分配失败属于异常情况，更适合用EXIT_FAILURE（需要包含<stdlib.h>头文件），这样操作系统能识别到程序是异常退出的。

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