问为什么测试这些数字(2^16，2^31 .)

EN

这些代表边界

整数

• 2^15在有符号16位整数的边界上。
• 2^16在无符号16位整数的边界上。
• 2^31在有符号32位整数的边界上。
• 2^32在无符号32位整数的边界上。

测试接近公共边界的值，以测试是否正确处理溢出(在各种整数类型中，算术溢出；在可能会使缓冲区溢出的长字符串情况下，缓冲区溢出)。

字符串

• 255/256处于可以用8位表示的数字的边界上。
• 1024在以10位表示的数字的边界上。
• 2048在以11位表示的数字的边界上。

我怀疑诸如255、256、1000、1024、2000、2048这样的建议是基于经验/观察得出的，即一些开发人员可能会分配一个他们认为“无论如何都足够大”的固定大小的缓冲区，并且没有检查输入。这种态度导致了缓冲区溢出攻击。

这些边界值接近于最大有符号short、最大unsigned short和int相同。测试它们的原因是查找在典型数据类型的边框值附近发生的bug。

例如，您的代码使用了签名的short，并且您有一个测试，测试的内容刚好在这类类型的最大值之上。如果第一个测试通过，而第二个测试失败，您可以很容易地看出，short上的溢出/截断是原因。

这些数字是栅栏两边的边框(+1、0和-1)，表示“整圆”计算机号码，它们总是2的幂。那些2的幂也不是随机的，它们代表整数精度的标准选择-- 8、16、32等位宽。