TypeScript中基于条件定义变量的最佳实践

针对你遇到的问题——条件分支下变量可能出现undefined但TypeScript无法检测的情况，以下是几种优雅且安全的实现方式：

1. 用函数封装赋值逻辑（最推荐） #

将变量的生成逻辑封装成函数，通过函数的返回类型约束确保必然返回目标类型，同时强制覆盖所有分支：

type FOO = {
  name: string
  size: number
}

function getFoo(is: number): FOO {
  switch(is) {
    case 0: return {name: 'A', size: 0};
    case 1: return {name: 'B', size: 1};
    case 2: return {name: 'C', size: 2};
    // 兜底分支，确保任何未覆盖的情况都会抛出错误
    default: throw new Error(`无效的is值: ${is}`);
  }
}

// 直接调用函数赋值，foo必然是FOO类型，无undefined风险
const foo = getFoo(is);

这种方式让逻辑更内聚，TypeScript能准确推导返回类型，同时运行时也能拦截非法输入。

2. 利用类型约束+穷尽检查 #

如果不想封装函数，可以通过限定输入类型+never类型做穷尽检查，让TypeScript帮你发现未覆盖的分支：

type FOO = {
  name: string
  size: number
}
// 先限定is的合法取值范围
type ValidIs = 0 | 1 | 2;

const is: ValidIs = ...; // 确保is只能是指定的几个值
let foo: FOO;

switch(is) {
  case 0: foo = {name: 'A', size: 0}; break;
  case 1: foo = {name: 'B', size: 1}; break;
  case 2: foo = {name: 'C', size: 2}; break;
  default:
    // 若有分支未覆盖，TypeScript会报错：类型不能赋值给never
    const _exhaustiveCheck: never = is;
    throw new Error(`未知的is值: ${_exhaustiveCheck}`);
}

一旦后续新增ValidIs的取值，忘记在switch里添加对应分支时，TypeScript会立即提示错误，从编译阶段避免遗漏。

3. 对象映射替代多分支switch #

对于简单的键值对应场景，用对象映射比switch更简洁，同时配合空值合并运算符处理异常情况：

type FOO = {
  name: string
  size: number
}

// 定义值映射表
const fooMap: Record<number, FOO> = {
  0: {name: 'A', size: 0},
  1: {name: 'B', size: 1},
  2: {name: 'C', size: 2}
};

// 从映射表取值，不存在则抛出错误
const foo = fooMap[is] ?? (() => { throw new Error(`无效的is值: ${is}`) })();

关于undefined检查的必要性 #

如果通过上述方式完全覆盖了所有合法分支，且约束了输入的合法性，就不需要额外检查undefined。但如果输入来自不可控的外部（比如接口返回、用户输入），建议保留兜底的错误抛出或检查，避免运行时出现意外。

内容的提问来源于stack exchange，提问作者47ndr