Kiểm tra tràn/tràn trong C++?

Question

Có cách tổng quát nào để kiểm tra tình trạng tràn hoặc tràn của một kiểu dữ liệu nhất định (uint32, int, v.v.) không?

Tôi đang làm một cái gì đó như thế này:

uint32 a,b,c; 
... //initialize a,b,c 
if(b < c) { 
    a -= (c - b) 
} 

Khi tôi in một sau khi một số lần lặp lại, nó sẽ hiển thị một số lượng lớn như: 4294963846.

Answer 1

Để kiểm tra cho hơn/underflow trong số học kiểm tra kết quả so với giá trị ban đầu.

uint32 a,b; 
//assign values 
uint32 result = a + b; 
if (result < a) { 
    //Overflow 
} 

Đối cụ thể của bạn kiểm tra sẽ là:

if (a > (c-b)) { 
    //Underflow 
} 

Answer 2

Tôi đoán nếu tôi muốn làm điều đó tôi sẽ làm một lớp mô phỏng các kiểu dữ liệu, và làm điều đó bằng tay (mà sẽ chậm tôi sẽ tưởng tượng)

class MyInt 
{ 
    int val; 
    MyInt(const int&nval){ val = nval;} // cast from int 
    operator int(){return val;} // cast to int 

    // then just overload ALL the operators... putting your check in 
}; 

//typedef int sint32; 
typedef MyInt sint32; 

nó có thể có nhiều khó khăn hơn thế, bạn có thể phải gió lên sử dụng một định nghĩa thay vì một typedef ...

Tôi đã làm một điều tương tự với con trỏ để kiểm tra nơi bộ nhớ đã được viết ra bên ngoài giới hạn. rất chậm nhưng đã tìm thấy nơi bộ nhớ bị hỏng

Answer 3

Chứng chỉ có một tham chiếu tốt cho cả signed integer overflow là hành vi không xác định và unsigned wrapping và chúng không bao gồm tất cả các toán tử.

Tài liệu này cung cấp mã kiểm tra sau cho gói unsigned trong trừ sử dụng điều kiện tiên quyết là như sau:

void func(unsigned int ui_a, unsigned int ui_b) { 
    unsigned int udiff; 
    if (ui_a < ui_b){ 
    /* Handle error */ 
    } else { 
    udiff = ui_a - ui_b; 
    } 
    /* ... */ 
} 

và với hậu điều kiện:

void func(unsigned int ui_a, unsigned int ui_b) { 
    unsigned int udiff = ui_a - ui_b; 
    if (udiff > ui_a) { 
    /* Handle error */ 
    } 
    /* ... */ 
} 

Nếu bạn là gcc 5 bạn có thể sử dụng __builtin_sub_overflow :

__builtin_sub_overflow(ui_a, ui_b, &udiff)