「在 TypeScript 中，任何类型都可以被归为 any 类型。」 用来表示类型是不确定的, 如果U的类型可以表示T, 那么返回X, 否则Y. 「a 可以赋值给 Words 类型，所以 WA 为 true，而 d 不能赋值给 Words 类型，所以 WD 为 false。」…