基于Horner法则的数组表示十进制数求模C函数正确性验证

嘿，这个问题问得很好——你的核心思路（用Horner法则优化大数模运算）是完全正确的，但函数里有几个细节问题会导致错误或者未定义行为，咱们一步步拆解来看：

1. 符号类型不匹配引发的未定义行为 #

你把余数变量r声明成了signed int，但输入的coeffs和divisor都是unsigned类型。在C语言中，不同符号整数运算时，有符号数会被隐式转换成无符号数，但如果中间计算结果（比如r * 10 + coeffs[i]）超过了signed int的最大值INT_MAX，再把这个值赋值回signed int的r就会触发未定义行为（C标准明确规定有符号整数溢出是未定义的，编译器可能生成任何不可预测的代码）。

举个例子：如果divisor是一个接近UINT_MAX的无符号数，r在循环中可能会增长到超过INT_MAX，这时候程序的行为就完全不可控了。

修复方案：把r的类型改成unsigned int，和输入参数的类型保持一致：

unsigned r = 0;

2. 循环终止条件的潜在歧义 #

从你的数组定义{x_(n-1), ..., x_0}来看，degree应该是数组的元素个数（也就是数字的位数），这时候for(int i = 0; i < degree; ++i)的循环次数是对的。但要注意调用函数时必须传入正确的degree值——如果不小心传入了最高位的指数（比如数字是x_3x_2x_1x_0时传入3而不是4），循环就会少执行一次，结果自然错误。

3. 除数为0的致命问题 #

虽然divisor是无符号类型，但它依然可以被传入0值。这时候执行% divisor会触发除零错误，直接导致程序崩溃。如果你的应用场景中存在传入0的可能，必须添加错误处理逻辑：

#include <assert.h> // 需要包含断言头文件

// ... 在函数开头添加
if (divisor == 0) {
    // 可以用断言终止程序并提示错误，或者返回特定错误码
    assert(divisor != 0 && "Divisor cannot be zero!");
}

修正后的完整函数 #

#include <assert.h>

unsigned modulo(const unsigned* coeffs, unsigned degree, unsigned divisor) {
    assert(divisor != 0 && "Divisor cannot be zero!");
    unsigned r = 0;
    for (unsigned i = 0; i < degree; ++i) {
        r = (r * 10 + coeffs[i]) % divisor;
    }
    return r;
}

最后再确认下核心逻辑：Horner法则的本质是利用模运算的分配律(a*b + c) % m = ((a%m)*b + c) % m，每一步取模来避免中间结果过大，这个思路是完全正确的——只要把上面的细节问题修复，函数就能正确工作啦！

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