Tại sao cảnh báo FxCop về lỗi tràn (CA2233) trong mã C# này?

Question

tôi có chức năng sau đây để có được một int từ một byte cao và byte thấp:

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

Khi tôi phân tích lắp ráp với FxCop, tôi nhận được cảnh báo quan trọng sau đây:

CA2233: OperationsShouldNotOverflow
Hoạt động số học không được là được thực hiện mà không cần xác nhận hợp lệ các toán hạng để tránh tràn.

Tôi không thể thấy cách điều này có thể tràn, vì vậy tôi giả định rằng FxCop đang quá hăng hái.
Tôi có thiếu gì đó không? Và những gì các bước có thể được thực hiện để sửa chữa những gì tôi có (hoặc ít nhất là làm cho cảnh báo FxCop biến mất!)?

Answer 1

Như Daniel A. Whitepointed out, bạn nhận được thông báo bởi vì "(byte.MaxValue + 1)" tràn một byte.

Nhưng thay vì đúc và nhân lên, tôi chỉ đơn giản là sẽ chuyển các bit như thực hiện trong mã bên dưới:

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

Như một tác dụng phụ, mã này có thể sẽ thực hiện tốt hơn. Tôi chưa kiểm tra kết quả IL hoặc x86 để xem trình biên dịch và/hoặc JITter có đủ thông minh để tối ưu hóa biểu thức gốc hay không.

Answer 2

Nó đang làm chúng như tính toán byte.

Hãy thử điều này

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

Answer 3

Dưới đây là 2 cách mà nó cuối cùng dừng lại rên rỉ về CA2233 cho tôi:

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; 
     } 
    } 

Tôi nghĩ rằng nó có thể là một lỗi trong các quy tắc.

Answer 4

Bổ sung byte và kết quả nhiều là int. Giá trị tối đa ở đây là 65535 mà sẽ không tràn một int. Chỉ cần nhấn lỗi.

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

obj có kiểu int

Hãy thử điều này:

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

Không có vấn đề.

hoặc thử này