c# - 更改此条件，使其不总是计算为 'true'

Question

为什么 SonarQube 会提示这部分代码？

我检查了这段代码，但并不总是这个值是真的。

public static void WriteJson(object value)
{
    decimal decimalValue = ((decimal?)value).Value;
    int intValue = (int)decimalValue;
    if (decimalValue == intValue)
        Console.WriteLine(intValue);
    else
        Console.WriteLine(decimalValue);
    Console.ReadKey();
}

为什么 SonarQube 会提示这个？

Answer 1

误报与我们的数据流分析引擎的缺陷有关 - 它没有考虑 float 和整数之间的转换(目前)，并且无法识别 float 何时被截断。

我将尝试详细说明一下:数据流分析引擎会跟踪分析方法中局部变量的值，并且在将新值分配给变量时，引擎会创建一个表示实际值的特殊对象.当您将一个变量分配给另一个变量时，该对象保持不变。例如:

var x = 5; // the symbol of x is associated with value_0
var y = x; // the symbol of y is associated with value_0
if (x == y) // value_0 is compared with value_0 --> always true

我们分配的值(还)不包含类型信息，我们(还)无法检测到像您这样的情况的变化:

var x = 5.5; // the symbol of x is associated with value_0
var y = (int)x; // the symbol of y is associated with value_0 (wrong)
if (x == y) // false positive

并且我们会产生误报，但它们相对较少，因为大多数转换不会产生新值。

感谢您的反馈，我们将对此进行调查 in the near future .