任何数据类型都有最大和最小值，会溢出是由物理特性决定。编译型静态类型语言一般明确定义类型大小，这种定义出来的类型都存在溢出的可能。有的动态语言为减少程序员溢出的困扰，尽可能为数据扩展成更大的数值，Python就是这样的好人。
- Python中计算2的100次幂2**100，结果正确。Python 2有int和long区分，Python 3只有long类型, long是不溢出的。原理在于long内部保存了一个整型数组，保存每位。
- C/C++/Java/C#/Go/Rust原生均不支持无限长整型，除非用数组或字符串模拟大整数运算。
- PHP提供bcadd之类或GMP函数完成大整数计算。
- JS的BigInt可以表示任意大的整数。
- PHP超出整数范围的数值会自动转换成浮点数以保证数值正确。
有符号和无符号数的溢出
- C/C++有符号数溢出结果无定义，无符号数溢出是确定的，结果是2的n次幂取模。
- 大部分编程语言数值存储用补码，例如short最小值是-32768，最大值是32767，如short变量n是负数，-n很可能溢出。
自动类型转换和溢出
需要注意，编程语言一般有隐式或自动类型转换，尽管表达式计算结果看起来超过类型大小，但因为有隐式转换，溢出并不会发生。
- short b = 20000; int a = b * b;
当short是2字节，int是4字节，b * b会变成int类型b相乘，结果在int类型范围，不会溢出。
