ccf未初始化警告，代码有什么问题

Question

：
题目背景
一个未经初始化的变量，里面存储的值可能是任意的。因此直接使用未初始化的变量，比如将其赋值给另一个变量，并不符合一般的编程逻辑。代码中出现这种情况，往往是因为遗漏了初始化语句、或是打错了变量名。对代码中使用了未初始化变量的语句进行检查，可以方便地排查出代码中的一些隐秘 Bug。

问题描述
考虑一段包含 k 条赋值语句的简单代码。该段代码最多使用到 n 个变量，分别记作 a1,a2,⋯,an；该段代码使用的常量均记作 a0。

第 i 条（1≤i≤k）赋值语句为 axi=ayi，满足 1≤xi≤n、0≤yi≤n，表示将 ayi 的值赋给变量 axi。其中 axi 被称为该赋值语句的左值，一定是个变量；ayi 被称为右值，可以是一个常量或变量。

对于任意一条赋值语句 axi=ayi，如果右值 ayi 是一个变量，则其应该在此之前被初始化过。
具体来说，如果变量 ayi 在前 i−1 条赋值语句中做为左值出现过，即存在 j<i 满足 xj=yi（这里无需考虑第 j 条赋值语句本身是否也有右值未初始化的问题），我们就认为在第 i 条赋值语句中 ayi 已被初始化；
否则，我们认为该条语句存在右值未初始化的问题。

按照上述规则，试统计给定的代码中，有多少条赋值语句右值未被初始化。

输入格式
输入的第一行包含空格分隔的两个正整数 n、k，分别表示变量的数量和赋值语句的条数。

接下来输入 k 行，其中第 i 行（1≤i≤k）包含空格分隔的两个正整数 xi、yi，表示第 i 条赋值语句。

输出格式
输出一个整数，表示有右值未被初始化问题的赋值语句条数。

样例输入
10 7

1 2

3 3

3 0

3 3

6 2

2 1

8 2

样例输出
3

样例解释
其中第一、二、五条赋值语句右值未被初始化。

#include <iostream>

using namespace std;

int main(int argc, char** argv) {
    long long int i,j,n,k,l=0,m=0;
    cin>>n>>k;
    long long int arr[k][2];
    for(i=0;i<k;i++){
        for(j=0;j<2;j++){
            cin>>arr[i][j];
        }
    }
    for(i=0;i<k;i++){
        l=0;
        for(j=0;j<i-1;j++){
            if(arr[i][1]==arr[j][0]||arr[i][1]==0){
                l++;
            }
        }
        if(l==0){
            m++;
        }
    }
    cout<<m;
    return 0;
}

这个代码用样例输出是4，为什么会不一样，代码有什么问题吗

Answer 1

哈喽，YYX_YYJ向您问好

这段代码的目的是统计给定代码中右值未被初始化的赋值语句数量。然而，代码中存在逻辑错误，导致其无法正确统计未初始化的右值。

问题出在内层循环的条件判断上。代码中的判断条件是if(arr[i][1]==arr[j][0]||arr[i][1]==0)，这个条件意味着只有当右值为0或者是已经被初始化（即出现在之前某个左值的位置）的情况下，才不会增加未初始化的计数l。但是，这样的逻辑并没有正确实现“右值如果是变量则必须之前已经被初始化”的规则。

正确的逻辑应该是在赋值语句中，如果右值ayi未被初始化，则增加计数m。即如果ayi没有在之前作为左值出现过，那么就应该认为它是未初始化的。代码中的内层循环应该是查找ayi是否在之前作为左值出现过，而当前的代码逻辑没有正确地执行这个查找过程。

下面是修正后的代码逻辑的示例实现：

#include <iostream>
using namespace std;

int main(int argc, char** argv) {
    long long int n, k, l = 0, m = 0;
    cin >> n >> k;
    long long int arr[k][2];
    bool initialized[n+1] = {false}; // 创建一个数组来标记变量是否被初始化

    // 先读取所有赋值语句，同时标记哪些变量作为左值出现过
    for (int i = 0; i < k; i++) {
        cin >> arr[i][0] >> arr[i][1];
        if (arr[i][1] > 0) { // 如果右值是变量，标记它被初始化
            initialized[arr[i][1]] = true;
        }
    }

    // 再次检查赋值语句，统计右值未初始化的数量
    for (int i = 0; i < k; i++) {
        if (arr[i][1] > 0 && !initialized[arr[i][1]]) { // 如果右值是变量且未被初始化，则计数m增加
            m++;
        }
    }

    cout << m;
    return 0;
}

这段代码首先读取所有赋值语句，并使用`initialized`数组来标记每个变量是否作为左值出现过。之后，再次遍历赋值语句，如果发现右值是一个变量且在之前的`initialized`数组中没有被标记为`true`，则说明它未被初始化，此时应该增加计数`m`。