2.8.3 断言在哪里定义和例化更为合适？