TypeScript控制流分析为何不缩小含可选属性的联合类型？

问题场景 #

先看这个TypeScript示例：

interface HasOptionalSession {
  session?: string;
}

interface HasSession {
  session: string;
}

function ensureSession(input: HasOptionalSession | HasSession): HasSession {
  if (typeof input.session !== 'string') {
    throw new Error('Session is required');
  }
  return input; // TypeScript error: Type 'HasOptionalSession | HasSession' is not assignable to type 'HasSession'.
}

原本预期检查后input必然是HasSession类型，但TypeScript并未自动缩小类型。

对比Python的mypy处理逻辑：

from typing import Union, TypedDict

class HasOptionalSession(TypedDict, total=False):
    session: str

class HasSession(TypedDict):
    session: str

def ensure_session(input: Union[HasOptionalSession, HasSession]) -> HasSession:
    if not isinstance(input.get('session'), str):
        raise ValueError('Session is required')
    return input  # mypy correctly infers this is HasSession

核心原因：TypeScript对可选属性的类型缩小限制 #

TypeScript的控制流分析不会通过检查可选属性的存在性/类型，直接将联合类型缩小到不含该可选属性的分支，背后有几个关键设计考量：

1. 可选属性的语义差异 #

TypeScript中session?: string的语义是属性可能不存在，或者存在且值为string/undefined，而非"属性存在但值可能为undefined"。也就是说，HasOptionalSession的实例可以主动设置session为合法字符串，但它依然属于HasOptionalSession类型——此时检查input.session是字符串，无法反向推导它一定是HasSession类型。

2. 结构类型系统的约束 #

TypeScript采用结构类型系统：只要对象结构匹配，就会被视为兼容类型。HasOptionalSession实例如果包含session: string，结构完全兼容HasSession，但类型系统不会自动将其"升级"为HasSession，因为它依然符合原接口的定义。

而Python的TypedDict更偏向标称类型逻辑：HasOptionalSession（total=False）和HasSession是两个独立的标称类型，当检查到session存在且为字符串时，mypy会判定只有HasSession符合"session必填"的定义，从而完成类型缩小。

3. 控制流分析的保守性 #

TypeScript的控制流分析设计得相对保守，避免过度推断导致意外错误。如果允许通过可选属性检查自动缩小类型，可能会误判同时实现多个接口的对象，或后续代码修改属性值导致类型推断失效的场景。

TypeScript的解决方案：显式类型守卫 #

虽然自动缩小不生效，但可以通过自定义类型守卫或断言函数明确告知TypeScript类型信息，比如：

function assertHasSession(input: HasOptionalSession | HasSession): asserts input is HasSession {
  if (typeof input.session !== 'string') {
    throw new Error('Session is required');
  }
}

function ensureSession(input: HasOptionalSession | HasSession): HasSession {
  assertHasSession(input);
  return input; // 类型推断正常
}

内容的提问来源于stack exchange，提问作者DI For