never类型是TypeScript中最特殊的类型之一，它表示永远不会发生的值。作为专业前端工程师，理解never类型对于编写类型安全的代码至关重要。

1. `never`类型的核心概念

定义：never类型表示永远不会出现的值，常见于：
- 抛出错误的函数（函数无法正常返回）
- 死循环函数（函数永不结束）
- 类型收窄后不可能存在的分支
关键特性：
- never是所有类型的子类型（可赋值给任意类型）
- 除never本身外，没有任何类型可赋值给never

基础示例：

// 1. 抛出错误的函数
function throwError(msg: string): never {throw new Error(msg);
}// 2. 死循环
function infiniteLoop(): never {while (true) {}
}

2. 前端开发中的典型应用场景

类型收窄的穷尽检查：
在联合类型处理中，确保所有分支被覆盖（如Redux reducer）：

type Action = | { type: 'FETCH_START' }| { type: 'FETCH_SUCCESS', data: string[] }| { type: 'FETCH_FAIL', error: Error };function reducer(state: State, action: Action): State {switch (action.type) {case 'FETCH_START': return { ...state, loading: true };case 'FETCH_SUCCESS':return { loading: false, data: action.data };case 'FETCH_FAIL':return { loading: false, error: action.error };default:// 类型收窄后，action应为neverconst _exhaustiveCheck: never = action;return state;}
}

若新增FETCH_RETRY类型但未处理，default分支会因never类型报错（TS2345）

条件类型过滤：
在类型工具中排除特定类型：

// 剔除null和undefined
type NonNullable<T> = T extends null | undefined ? never : T;// 效果: string | number
type Cleaned = NonNullable<string | number | null>;

防御性编程：
标记不应到达的代码分支（如React自定义hook）：

function useCustomHook(val: string | number) {if (typeof val === 'string') {// 处理字符串} else if (typeof val === 'number') {// 处理数字} else {// 标记不可能的分支const unreachable: never = val;throwError('Unexpected value'); // 调用never返回函数}
}

3. `never`与其他类型的关系

类型	特性对比	典型用例
`never`	表示"不可能发生"的值	错误处理/穷尽检查
`void`	表示无返回值（返回undefined）	无返回值的函数
`unknown`	顶级类型，表示任意值但需类型断言	第三方库数据接收
`any`	放弃类型检查（禁用TS安全特性）	兼容JS旧代码（应避免使用）

4. 优缺点与最佳实践

优点：
- 增强类型安全：强制处理所有可能的分支（联合类型）
- 自文档化：明确标记不可达代码
- 高级类型工具：实现类型逻辑过滤（如Exclude<T, U>）
缺点：
- 过度使用会增加代码复杂度
- 新手易误解其设计意图
前端实践建议：
1. 在Redux/Vuex的reducer中必用穷尽检查
2. 自定义类型工具时优先使用never过滤无效类型
3. 避免在基础业务逻辑中滥用，保持代码简洁性