Clang编译疑似跳过return语句导致返回值异常问题排查

你遇到的问题核心是递归调用的返回值没有被正确传递，导致上层函数最终执行了末尾的return -1;，而非else块中的正确返回值。

问题代码（修正格式后） #

#include <stdio.h>
#include <math.h>

#define MAX_BITS 32

int counter = 0, dec_eqv = 0;
int runcounter = 1;

int binToDec(char *bit)
{
    printf("dec_eqv is %d\n", dec_eqv);
    if (counter == 0 && runcounter)
    {
        dec_eqv = 0;
        int i = 0;
        while (*(bit + i++))
            ;
        counter = (i - 1) - 1;
        runcounter = 0;
        printf("counter is %d\n", counter);
    }
    if (*bit != 0)
    {
        printf("*bit not zero\n");
        if (*bit == '1')
        {
            dec_eqv += (int)pow(2, counter--);
        }
        else
        {
            counter--;
        }
        binToDec(bit + 1); // 仅调用递归，但未返回其结果
    }
    else
    {
        printf("here *bit is 0\n");
        runcounter = 1;
        printf ("here dec_eqv is %d\n", dec_eqv);
        return dec_eqv;
        printf ("Skipping return\n");
    }
    return -1;
}

int main()
{
    char bin[MAX_BITS];
    printf("Enter binary number (%d-bit max): ", MAX_BITS);
    scanf("%[^\n]s", bin);
    int result = binToDec(bin);
    printf("Decimal equivalent of 0b%s is %d.\n", bin, result);
    return 0;
}

具体原因 #

当递归深入到最后一个字符（即*bit == 0）时，else块确实会执行return dec_eqv;，但这个返回值只会传递给直接调用它的上层递归函数。而上层递归函数在调用binToDec(bit + 1);后，并没有把这个返回值继续向上传递，而是继续执行到函数末尾的return -1;，最终main函数拿到的就是这个错误的返回值。

修复方法 #

在if (*bit != 0)块中，调用递归后需要返回其结果，确保正确传递返回值：

if (*bit != 0)
{
    printf("*bit not zero\n");
    if (*bit == '1')
    {
        dec_eqv += (int)pow(2, counter--);
    }
    else
    {
        counter--;
    }
    return binToDec(bit + 1); // 新增return，传递递归返回值
}

额外建议 #

• 避免使用全局变量（counter、dec_eqv、runcounter），递归依赖全局变量会导致逻辑混乱，多次调用函数时极易出错。建议将这些变量作为函数参数或局部静态变量管理。
• scanf("%[^\n]s", bin);存在格式错误，应改为scanf("%31[^\n]", bin);，既去掉多余的s，又限制输入长度防止缓冲区溢出。
• 使用pow计算2的幂效率低且可能存在精度问题，建议用位运算替代，比如1 << counter（注意counter不能超过当前int类型的位宽）。

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