12.2 条件的类型