Проверка недостаточности/переполнения в C++?

Question

Есть ли общий способ проверки переполнения или недотока заданного типа данных (uint32, int и т. Д.)?

Я делаю что-то вроде этого:

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

При печати после нескольких итераций, он отображает большое количество, как: 4294963846.

Answer 1

Чтобы проверить над/сгущенного в арифметике проверить результат по сравнению с исходными значениями.

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

для вашей конкретной проверки будет:

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

Answer 2

Я думаю, если бы я хотел сделать, что я хотел бы сделать класс, который имитирует тип данных, и сделать это вручную (который будет медленным Я бы себе)

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; 

это может быть более сложным, чем это, возможно, придется свернуть с помощью определения вместо ЬурейеЕ ...

Я сделал аналогичную вещь с указателями, чтобы проверить, где была выписана память. очень медленно, но обнаружил, что память была повреждена.

Answer 3

Cert имеет хорошую ссылку для signed integer overflow, которая является неопределенным поведением и unsigned wrapping, которая не является и охватывает все операторы.

Документ содержит следующий код проверки для неподписанной обертки в вычитании с помощью предварительных условий заключается в следующем:

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; 
    } 
    /* ... */ 
} 

и постусловия:

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

Если вы gcc 5 вы можете использовать __builtin_sub_overflow :

__builtin_sub_overflow(ui_a, ui_b, &udiff)