为何calloc仅在代码特定位置生效？两段代码差异解析求助

先拆解你的两段代码问题，以及为什么会出现你看到的矛盾现象：

两段代码的核心问题 #

第二段代码（无法正常工作）的致命错误 #

你原本的思路（先确定因数数量再分配内存）是对的，但代码实现完全搞反了顺序，犯了两个严重的未定义行为错误：

1. 空指针非法写入：在调用calloc之前，divisors是初始化为0的空指针，你直接在循环里执行divisors[i-1] = i——这相当于往不存在的内存地址写数据，必然导致程序崩溃或出现不可预料的异常。
2. 未初始化变量操作：divisor_number是局部变量，默认没有初始化，初始值是随机的垃圾值。循环里的divisor_number++本质是在操作一个随机数，最后用这个值分配内存，结果完全不可控。

第一段代码（看似正常运行）的侥幸 #

第一段代码其实也完全不符合规范，同样是未定义行为：

• divisor_number未初始化，调用calloc(divisor_number, sizeof *divisors)时，分配的内存大小是随机的。只是运气好的话，这个随机值刚好能装下输入数字的所有因数，所以程序没立刻崩溃，但这完全是偶然，换个输入或运行环境就会出问题。
• 如果divisor_number的随机值很小，同样会出现内存越界写入，导致程序崩溃或破坏其他数据。

正确的实现思路 #

你想先统计因数数量再分配内存的逻辑是对的，但需要分三步执行：

1. 先遍历输入数字，统计出因数的总个数；
2. 用统计好的数量调用calloc分配对应大小的内存；
3. 再次遍历，把所有因数存入分配好的内存中。

修复后的示例代码：

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

int* save_number(int *int_number);

int main() {
    int int_number, *divisors = NULL, count_even = 0, i; // 修复count_even未初始化的问题
    printf("Please enter an integer:");
    divisors = save_number(&int_number);
    
    if (divisors == NULL) { // 必须检查内存分配是否成功
        fprintf(stderr, "Memory allocation failed\n");
        return 1;
    }

    // 修复循环逻辑：用因数数量遍历，而非原数字大小
    for (i = 0; divisors[i] != 0; ++i) {
        if (divisors[i] % 2 == 0) {
            printf("%d\n", divisors[i]);
            count_even++;
        }
    }
    printf("Total even divisors: %d\n", count_even);
    free(divisors); // 记得释放内存，避免泄漏
    return 0;
}

int* save_number(int *int_number) {
    int i, divisor_count = 0, *divisors = NULL;
    
    scanf("%d", int_number);
    
    // 第一步：统计因数数量
    for (i = 1; i <= *int_number; ++i) {
        if (*int_number % i == 0) {
            divisor_count++;
        }
    }
    
    // 第二步：分配内存
    divisors = calloc(divisor_count + 1, sizeof *divisors); // 多分配一个位置存0，方便main函数判断结束
    if (divisors == NULL) {
        return NULL;
    }
    
    // 第三步：存入因数
    int index = 0;
    for (i = 1; i <= *int_number; ++i) {
        if (*int_number % i == 0) {
            divisors[index++] = i;
            printf("%d\n", divisors[index-1]);
        }
    }
    divisors[index] = 0; // 标记结束
    
    return divisors;
}

让编译器提供更多排查信息 #

要让编译器帮你快速定位未初始化变量、非法内存访问这类问题，可以开启以下编译选项：

GCC/Clang 编译器 #

• 开启全量警告：-Wall -Wextra -Wpedantic，会检测未初始化变量、可疑指针操作等问题；
• 开启地址 sanitizer：-fsanitize=address，运行时会实时检测非法内存访问，并给出详细的错误位置和调用栈；
• 编译命令示例：gcc your_code.c -o your_program -Wall -Wextra -Wpedantic -fsanitize=address

MSVC（Visual Studio）编译器 #

• 开启最高级别警告：/W4；
• 开启地址 sanitizer：/fsanitize=address；
• 可以在Visual Studio项目设置中直接配置，或用命令行编译。

这些工具能帮你把隐藏的未定义行为暴露出来，避免靠“侥幸”运行程序。

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