CCF CSP未初始化警告Python程序

CCF CSP系列文章(20220320未初始化警告）

---

---

题目背景

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

---

问题描述

考虑一段包含k条赋值语句的简单代码。该段代码最多使用到n个变量，分别记作a1, a2, a3, …, 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

样例解释

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

参考程序

n, k = map(int, input().split())
num = [[i for i in map(int, input().split())] for j in range(k)]
time = 0
temp = set()
for i in range(K):
    if num[i][1] != 0 and num[i][1]:
    	time += 1
    temp.add(num[i][0])
print(time)

---

总结

本次题目需要解决的是未初始程序条数的统计，首先是通过列表推导式输入相应的数值，接着创建一个集合统计初始化的值，再接着遍历赋值列表的每一列，如果每一列的第二个元素为0或在集合里，则为初始化，就不统计未初始化次数，如果两者条件都不满足，则统计次数，每次判断并统计完次数之后便将对应列的第一个元素加入到集合中去，为判断后面语句是否提供基础条件，遍历完列表每一列后即可得到统计数，输出即可。