C++中使用变量索引访问二维Vector元素无输出问题排查

问题背景 #

我在用C++解决谷歌Code Jam题目时遇到异常：通过存储在变量中的索引访问二维Vector元素时无输出，但改用常量索引却能正常输出。

代码片段 #

#include <iostream>
#include <vector>
#include <set>
#include <map>
#include <queue>
#include <stack>
#include <utility>
#include <algorithm>

using namespace std;

int main()
{
    int tc; cin >> tc;
    while(tc--)
    {
        int n; cin >> n;
        
        vector<int> f(n+1, 0);
        for(int i=0; i<n; i++) cin >> f[i+1];
        f[0] = -1;

        vector<int> p(n+1, 0);
        for(int i=0; i<n; i++) cin >> p[i+1];
        p[0] = -1;

        vector<vector<int>> graph(n+1, vector<int>());
        map<int, vector<int>> levels;

        for(int i=1; i<n+1; i++) graph[p[i]].push_back(i);

        queue<pair<int, int>> Q;
        for(int i=0; i<graph[0].size(); i++) Q.push({graph[0][i], 0});

        while(!Q.empty())
        {
            int p = Q.front().first; // 局部变量p遮蔽了外层的vector<int> p
            int lv = Q.front().second;

            levels[lv].push_back(p);

            for(int i=0; i<graph[p].size(); i++) Q.push({graph[p][i], lv+1});
            Q.pop();
        }

        int x = levels.size() - 2;
        int ans = 0;

        while(x >= 0)
        {
            for(int k=0; k<levels[x].size(); k++)
            {
                int root = levels[x][k];
                // cout << root << '-'; // 正常输出
                // cout << graph[root].size() << ' '; // 正常输出
                // cout << graph[root][0] << ' '; // 无输出

                // for(int i=1; i<graph[root].size(); i++)
                // {
                //     mn = min(mn, f[graph[root][i]]);
                //     tmp += f[graph[root][i]];
                // }

                // tmp -= mn;
                // ans += tmp;

                // if(f[root] < mn) f[root] = mn;
            }
            x -= 1;
            cout << endl;
        }

        // for(int i=0; i<levels[0].size(); i++)
        //     ans += levels[0][i];

        // cout << ans << '\n';
    }
}

异常细节 #

注释中的测试代码表现如下：

cout << root << '-'; // 正常输出
cout << graph[root].size() << ' '; // 正常输出
cout << graph[root][0] << ' '; // 无输出

前两行语句可正常执行输出，但第三行使用变量root访问graph[root][0]时无输出。当root取值为3时，改用常量索引cout << graph[3][0]却能正常输出。

语法层面分析 #

从纯C++语法角度，变量索引和常量索引访问vector元素的规则完全一致，不存在语法层面的区别导致输出差异。你看到的现象本质是语法允许的运行时逻辑问题，具体可能的原因包括：

• 变量遮蔽（Variable Shadowing）：代码中BFS循环内定义了int p = Q.front().first;，这个局部变量p遮蔽了外层定义的vector<int> p。这是C++语法允许的行为，但会导致BFS过程中访问graph[p]时，使用的是局部变量p的值而非父节点数组p，最终导致graph结构构建错误，levels中的root对应的graph[root][0]可能是无效值或0，从而看起来无输出。
• 变量值与预期不符：你认为root的值是3，但实际运行时root可能是其他值，而graph[root][0]的取值是0或ASCII控制字符等不可打印内容，导致视觉上无输出；而手动使用常量3时，graph[3][0]是可打印的数字，所以有输出。
• 输出缓冲区未刷新：cout默认采用行缓冲模式，若未遇到换行符，输出内容可能暂存于缓冲区未显示。不过这种情况概率较低，因为前两行已经有输出，但语法上允许缓冲延迟的存在。

总结 #

纯语法层面不存在变量索引访问vector元素的限制，出现该现象是语法允许的运行时逻辑错误导致，其中变量遮蔽是代码中最明显的隐患点。

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