断言并不关心你的代码是否没有错误。 它们关心的是结果是否违反了协议不变性。 就是这么简单。