CSP-J 2021 第一轮 第 16 题：程序（一，popcount与最低位）：n=1001是否越界

题目

#include <iostream>
using namespace std;

int n;
int a[1000];

int f(int x)
{
    int ret = 0;
    for (; x; x &= x - 1) ret++;
    return ret;
}

int g(int x)
{
    return x & -x;
}

int main()
{
    cin >> n;
    for (int i = 0; i < n; i++) cin >> a[i];
    for (int i = 0; i < n; i++)
        cout << f(a[i]) + g(a[i]) << ' ';
    cout << endl;
    return 0;
}

输入的 $n$ 等于 $1001$ 时，程序不会发生下标越界。（ ）

选项

• A. 正确
• B. 错误

答案

B

题解

答案：B. 错误。

数组 a[1000] 有 1000 个元素，合法下标是 0～999。

当 n = 1001 时，循环条件为 i < 1001，所以 i 会取到 1000，程序会访问 a[1000]，发生下标越界。

注意：越界不一定会立即报错或崩溃，但仍然属于越界。 本题不需要分析 f 和 g。