条件类型 Conditional type

通过 T extends U 测试可赋值关系，并在两个结果中选择其一的类型表达式。