Vérification du dépassement de capacité/débordement en C++?

Question

Existe-t-il un moyen général de vérifier un débordement ou un sous-dépassement d'un type de données donné (uint32, int, etc.)?

que je fais quelque chose comme ceci:

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

Lorsque j'imprime un après quelques itérations, il affiche un grand nombre comme: 4294963846.

Answer 1

Pour vérifier plus haut/bas en arithmétique vérifier le résultat par rapport aux valeurs d'origine.

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

Pour votre propre chèque serait:

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

Answer 2

Je suppose que si je voulais faire que je ferais une classe qui simule le type de données, et le faire manuellement (ce qui serait lent J'imagine)

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; 

il peut être plus difficile que cela, vous pourriez avoir à liquider en utilisant une définition au lieu d'un typedef ...

J'ai fait une chose similaire avec des pointeurs pour vérifier où la mémoire était écrite en dehors des limites. très lent, mais n'a pas trouvé où la mémoire était corrompue

Answer 3

Cert a une bonne référence pour les signed integer overflow qui est un comportement non défini et unsigned wrapping qui ne sont pas et ils couvrent tous les opérateurs.

Le document fournit le code de vérification suivant pour l'emballage non signé soustraction à l'aide des conditions préalables est comme suit:

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

et post-conditions:

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

Si vous êtes gcc 5 vous pouvez utiliser __builtin_sub_overflow :

__builtin_sub_overflow(ui_a, ui_b, &udiff)