关于代码正确性的一个好规则是：所有你没有测试过的代码都是错误的。所有你测试过的代码也是错误的，但看起来是偶然工作的。而你已经证明正确的代码则是正确地做错了事情。