【你问我答】TypeScript中的never类型有什么用？

never是不存在值的类型，never类型修饰函数表示函数最终会直接抛错或者返回error或者是死循环;never修饰的变量是任何类型的子类型，所以never类型变量可以赋值给任何类型变量，反之，除了never自己以外，其他类型变量不能赋值给never类型。

TypeScript 2.0 引入了新的原始类型 never. never 类型代表从来不会出现的值的类型. 特别的, never 可以是永远不返回的函数的返回值类型, 也可以是变量在类型收窄中不可能为真的类型。 在一个明确指定了 never 返回值类型的函数中, 所有 return 语句 (如果有) 表达式的值必须为 never 类型, 且函数不应能执行到终止点。 由于 never 是所有类型的子类型, 在联合类型中它始终被省略, 并且只要函数有其他返回的类型, 推导出的函数返回值类型中就会忽略它。