为什么 FxCop 会警告此 C# 代码中的溢出 (CA2233)？

Question

我有以下函数从高字节和低字节获取 int：

public static int FromBytes(byte high, byte low)
{
    return high * (byte.MaxValue + 1) + low;
}

当我使用 FxCop 分析程序集时，我收到以下严重警告：

CA2233：操作不应溢出
算术运算不应该 没有首先验证就完成了 防止溢出的操作数。

我不明白这怎么可能溢出，所以我只是假设 FxCop 过于热心。
我错过了什么吗？可以采取哪些步骤来纠正我所遇到的问题（或者至少让 FxCop 警告消失！）？

Answer 1

它以字节计算的方式进行它们。

试试这个

return (int)high * ((int)byte.MaxValue + 1) + (int)low;

Answer 2

字节加法和乘法结果都是整数。这里的最大值是 65535，不会溢出 int。只是压制错误。

byte a = 1;
byte b = 2;
object obj = a + b

obj 的类型为 int

试试这个：

        byte high = 255;
        byte low = 255;
        checked
        {
            int b = high * (byte.MaxValue + 1) + low;   
        }

没问题。

或者试试这个

Answer 3

正如 丹尼尔·怀特 指出，您收到消息是因为“(byte.MaxValue + 1)”溢出一个字节。

但我不会进行转换和乘法，而是简单地按照下面的代码中的方式移动位：

public static int FromBytes(byte high, byte low) {
    return high << 8 | low;
}

作为副作用，此代码可能会执行得更好。我还没有检查生成的 IL 或 x86 以查看编译器和/或 JITter 是否足够智能来优化原始表达式。

Answer 4

以下是它最终停止对我抱怨 CA2233 的两种方法：

    public static int FromBytes(byte high, byte low)
    {
        int h = high;
        return h * (byte.MaxValue + 1) + low;
    }

    public static int FromBytes2(byte high, byte low)
    {
        unchecked
        {
            return high * (byte.MaxValue + 1) + low;
        }
    }

我认为这可能是规则中的一个错误。