assert, 在库和业务模型中，使用瘦断言库 assert 一个简单的php库，它包含在业务模型中输入验证( 不过滤)的断言和保护方法。 库可以用于在输入数据上实现 pre-/post条件。思想是减少在模型中实现断言的代码量，同时简化实现断言的代码路径。 断言失败