5.4.3 assert断言