Como é que vocês lidam com isso?

[fredericopissarra 118]

Exceto linguagens como Python, onde os tipos integrais são "big numbers", ou seja, não estão restritos a uma quantidade delimitada de bits, em linguagens como C, C++, ... que têm tipos definidos, como é que vocês fazem para detectar overflows em operações aritméticas?

Notaram que não há como acessar os flags da status word do processador, diretamente, nessas linguagens? Ou será que nunca pensaram nisso?

Por exemplo, numa expressão:

x += y;

Se x for do tipo int, como saber se ele extrapolou o limite superior? (se int tem 32 bits, o limite superior é, obviamente, +2³¹-1.  Ao incrementar ele passa a ser -2³¹... Pode-se verificar o sinal, mas temos que ter um método mais "genérico" porque y pode ser negativo também... se x for -2³¹ e y for -1, também teremos um overflow...

Existe o método simples e um mais genérico... Que não vou mostrar aqui no interesse de causar uma discussão (um Forum serve pra isso, não?)...

[fredericopissarra 118]

Com relação a minha alegação sobre Python:

$ python
Python 2.7.15rc1 (default, Nov 12 2018, 14:31:15) 
[GCC 7.3.0] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> x=2**31-1
>>> x
2147483647
>>> x+1
2147483648
>>> x=2**64-1
>>> x
18446744073709551615
>>> x+1
18446744073709551616L
>>> x=2**128-1
>>> x
340282366920938463463374607431768211455L
>>> x+1
340282366920938463463374607431768211456L
>>>

 

Editado Março 30 por fredericopissarra

[kassane 11]

Se não me engano o Python usa  Aritmética de Precisão Arbitrária, ou seja, os tipos de dados não têm limite além daquele usado na memória da sua máquina (que é bem grande para um valor inteiro).

Editado Março 30 por kassane

[fredericopissarra 118]

1 hora atrás, kassane disse:

Se não me engano o Python usa  Aritmética de Precisão Arbitrária, ou seja, os tipos de dados não têm limite além daquele usado na memória da sua máquina (que é bem grande para um valor inteiro).

Acredito que tenha sido isso o que eu disse...

[kassane 11]

15 horas atrás, fredericopissarra disse:

Acredito que tenha sido isso o que eu disse...

A minha resposta é um grosso modo!

[fredericopissarra 118]

Um de meus artiguinhos com mais detalhes... e um jeito melhor:

https://bitismyth.wordpress.com/2019/03/31/adicoes-e-subtracoes-inteiras-condicoes-de-overflow/

Multiplicações são mais "simples" e divisões não causam overflows...