C++求解可整除和对问题时cout语句影响输出结果异常问询

问题原因 #

1. 未定义行为导致输出结果随机变化 #

你代码中int modK[k] = {0};的写法存在严重问题：

• C++标准不支持变长数组(VLA)，k是运行时传入的变量，数组长度不能用运行时变量定义，你看到的能编译只是GCC的非标准扩展
• 变长数组无法使用={0}的方式做全零初始化，该写法仅对编译期固定长度的数组有效。这就导致modK数组的初始值是栈上的随机垃圾值，是否添加cout语句会改变栈内存的布局，进而影响modK数组的垃圾值，最终得到完全不同的运行结果，本质是未定义行为的典型表现。

2. 统计逻辑本身存在错误 #

就算数组初始化正确，你的统计逻辑也无法得到正确结果：

• 当k为偶数时，仅统计了余数为0、余数为k/2的数对，完全漏掉了余数i从1到k/2-1的modK[i] * modK[k-i]配对
• 当k为奇数时，循环起始值写为i=0，会重复统计余数0的数对，导致结果偏大。

修复方案 #

首先将非标准的变长数组替换为C++标准的vector容器，保证初始化正确：

// 替换 int modK[k] = {0}; 为以下代码
vector<int> modK(k, 0);

然后修正统计逻辑：

int cnt = 0;
// 余数为0的数对两两组合
cnt += modK[0] * (modK[0] - 1) / 2;
// 遍历1到k/2的余数配对
for(int i = 1; i <= k / 2; ++i) {
    if(i == k - i) {
        // 余数相等的情况仅当k为偶数时出现，即i=k/2
        cnt += modK[i] * (modK[i] - 1) / 2;
    } else {
        cnt += modK[i] * modK[k - i];
    }
}

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