14.4 域约束与断言