C语言素数判断程序首个if分支始终返回1，调试求助

问题概述 #

你的素数判断程序预期逻辑为：若n是素数则返回1，否则返回0，但当前程序无论输入合法参数，始终返回1。你排查后认为问题出在main函数的首个if分支，但调试时已正常指定单个参数（即argc==2），该分支并未执行。

你提到的问题分支代码：

if (argc != 2) {
    return 1; 
}

完整程序代码：

#include <stdio.h> // for printf function
#include <math.h> // for square root function
#include <stdlib.h> // for strtol function 

int is_prime(int n, int i) {
    
    if (i == sqrt(n)) {
        return 0; 
    }
    if (n % i == 0) {
        return 1; 
    }
    return is_prime(n, i + 1); 
    
    /*  for (int i = 2; i <= sqrt(n); i++) {
        if (n % i == 0) {
            return 1; 
        }
    }  
    return 0; */ 
}

int main(int argc, char* argv[]) {
    if (argc != 2) {
        return 1; 
    }
    int n = strtol(argv[1], NULL, 10); 
    
    if (n < 0) {
        return 1;
    }
    int boolean_n = is_prime(n, 2); 

    return 0; 
}

核心问题分析 #

1. 递归终止条件完全失效：is_prime函数中if (i == sqrt(n))的逻辑几乎永远不会触发——sqrt(n)返回浮点数，而i是整数，只有当n是完全平方数且i恰好等于其平方根时才会命中，但此时n%i==0的条件会先触发并返回1，导致这个终止条件形同虚设。递归会一直执行到i增大到等于n，此时n%i==0必然成立，函数返回1，无论n是否为素数。
2. 程序未返回判断结果：main函数最后直接return 0，完全忽略了is_prime的返回值boolean_n，导致程序的退出码永远是0（除非参数错误或输入负数），这和你描述的“始终返回1”实际是is_prime函数的返回结果问题。
3. 返回值逻辑与预期不符：你描述的预期是“素数返回1，非素数返回0”，但代码中is_prime找到因数时返回1，终止时返回0，刚好和预期颠倒。

修复方案 #

1. 修正递归终止条件 #

用整数运算替代浮点数比较，避免精度问题，将终止条件改为(long long)i * i > n——当i的平方超过n时，说明n没有因数，是素数。

2. 对齐返回值与预期逻辑 #

调整is_prime的返回值：

• 当确认是素数时返回1（符合你的预期）
• 找到因数时返回0（符合你的预期）

3. 让程序返回判断结果 #

将main函数的return 0;改为return boolean_n;，使程序退出码对应素数判断结果。

4. 完善边界判断 #

增加对n<2的判断（0、1、负数都不是素数），同时将n的类型改为long避免strtol返回值溢出。

修复后的完整代码 #

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

int is_prime(long n, int i) {
    // 用long long避免i*i溢出int范围
    if ((long long)i * i > n) {
        // 遍历完所有可能因数，是素数，返回1
        return 1; 
    }
    if (n % i == 0) {
        // 找到因数，非素数，返回0
        return 0; 
    }
    return is_prime(n, i + 1); 
}

int main(int argc, char* argv[]) {
    if (argc != 2) {
        return 1; 
    }
    long n = strtol(argv[1], NULL, 10); 
    
    if (n < 2) {
        // 小于2的数不是素数，返回0
        return 0;
    }
    int result = is_prime(n, 2); 

    return result; 
}

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