8.3.4 条件型约束