可怕的数字来自无处

Question

无处不在，我为这个功能得到了很大的成果......它应该很简单，但我现在看不到它。

double prob_calculator_t::pimpl_t::B_full_term() const
{
    double result = 0.0;
    for (uint32_t j=0, j_end=U; j<j_end; j++)
    {
        uint32_t inhabited_columns = doc->row_sums[j];
        // DEBUG
        cout << "inhabited_columns: " << inhabited_columns << endl;
        cout << "log_of_sum[j]: " << log_of_sum[j] << endl;
        cout << "sum_of_log[j]: " << sum_of_log[j] << endl;
        // end DEBUG
        result += ( -inhabited_columns * log( log_of_sum[j] ) + sum_of_log[ j ] );
        cout << "result: " << result << endl;
    }
    return result;
} 

跟踪在哪里：

inhabited_columns: 1
log_of_sum[j]: 110.56
sum_of_log[j]: -2.81341
result: 2.02102e+10
inhabited_columns: 42
log_of_sum[j]: 110.56
sum_of_log[j]: -143.064
result: 4.04204e+10

感谢您的帮助！

Answer 1

inhabited_columns 未签名，我在其前面看到一个-：-inhabited_columns。

（请注意，一元-的运算符优先级非常高;高于*等。

这就是你的问题所在！引用Mike Seymour的回答：

  

当你否定它时，结果仍然是无符号的;价值降低了   modulo 2 ³² 给出一个很大的正值。

一个解决方法就是写

-(inhabited_columns * log(log_of_sum[j]))

然后否定将以浮点执行

Answer 2

inhabited_columns是无符号类型。当你否定它时，结果仍然是无符号的;该值以2 ³² 模式减小，得到较大的正值。

您应该将其更改为足够大的签名类型（可能是int32_t，如果您的列数不会超过几十亿，或者可能是double，因为您关于在双精度算术中使用它。