代码if-else判断仅在CodeBlocks生效，Codeforces提示答案错误求助

问题重现 #

这段代码的if-else判断出现跨环境不一致的问题：当x和y理论值相等时，VSCode、在线评测平台及多数编译器会判定二者不等，但CodeBlocks却判定相等。代码如下：

#include <stdio.h>

int main() {
    int i, n, j;
    scanf("%d", &n);
    long long int a[n], x = 0, y = 0;

    for (i = 0; i < n; i++) {
        scanf("%d", &a[i]);
    }

    for (i = n - 1, j = 1; i >= 0; i--, j = j * 10) {
        y = y + a[i] * j;
    }

    printf("%d ", y);

    for (i = 0, j = 1; i < n; i++, j = j * 10) {
        x = x + a[i] * j;
    }

    printf("%d ", x);

    if (x == y) {
        printf("YES");
    }
    else {
        printf("NO");
    }

    return 0;
}

问题根源 #

1. 格式符不匹配导致打印误导 #

x和y是long long类型，但你用了%d（int类型的格式符）来输出，这属于未定义行为。打印时只会读取变量的低4字节内容，并非完整的long long值——你看到的"值不等"只是打印的假象，实际变量值可能是相等的。

2. int类型变量j溢出 #

j是int类型，当n足够大时，j *= 10会快速超出int的取值范围（通常是-2147483648到2147483647），整数溢出是C语言中的未定义行为。不同编译器对溢出的处理逻辑不同：

• CodeBlocks默认编译器可能采用了溢出回绕的处理方式
• 其他平台的编译器可能直接丢弃高位或触发其他行为
  这直接导致x和y的计算结果在不同环境下出现差异。

3. 变长数组的兼容性问题 #

long long int a[n]是C99标准的变长数组（VLA），部分老旧编译器或严格编译模式下可能不支持，不过这不是当前判断异常的直接原因。

修复后的代码 #

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

int main() {
    int i, n;
    long long int j;
    scanf("%d", &n);
    // 用动态分配替代变长数组，提升兼容性
    long long int *a = (long long int*)malloc(n * sizeof(long long int));
    long long int x = 0, y = 0;

    for (i = 0; i < n; i++) {
        scanf("%lld", &a[i]);
    }

    for (i = n - 1, j = 1; i >= 0; i--, j *= 10) {
        y += a[i] * j;
    }

    printf("%lld ", y);

    for (i = 0, j = 1; i < n; i++, j *= 10) {
        x += a[i] * j;
    }

    printf("%lld ", x);

    printf(x == y ? "YES" : "NO");

    free(a);
    return 0;
}

关键修改说明 #

• 将j的类型改为long long，避免乘法运算时溢出
• 读取和打印long long类型时使用%lld格式符，保证类型匹配
• 用malloc动态分配数组替代变长数组，兼容更多编译环境
• 释放动态分配的内存，避免内存泄漏

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