8.4.1 内置的断言工厂