CS.CMP.VAL.NULL
泛型类型中没有引用约束的类型参数的实体与“null”进行了比较。
漏洞与风险
如果泛型类型中的类型参数没有引用约束,它可以使用值类型替代。将值类型实体与“null”进行比较始终会返回 false,因此无任何作用。
示例 1
复制
namespace Namespace {
class Foo<T1> where T1: class {
T1 t;
bool checkT() {
return (t == null); // OK - cannot be a value type
}
}
class Bar<T2> where T2: struct {
T2 t;
bool setT(T2 arg) {
if (arg != null) // defect
t = arg;
}
}
}