TypeScript可选属性场景下类型推断失效问题排查

问题重现 #

以下代码定义了包含分支节点、叶子节点的类型体系，支持可选data属性，但调用getTitleFromNode函数时出现类型错误：

type OptionalData<T> = T extends undefined ? {} : { data: T }

type BaseNode<T> = {
    title: string
} & OptionalData<T>

type Nodes<T = undefined> = BranchNode<T> | LeafNode<T>

type BranchNode<T = undefined> = BaseNode<T> & {
    nodes: Nodes<T>[]
}

type LeafNode<T = undefined> = BaseNode<T>

const branchNode: BranchNode = {
    title: "branchNode",
    nodes: []
}

const branchNodeWithAdditional: BranchNode<number> = {
    title: "branchNodeWithAdditional",
    nodes: [],
    data: 1
}

const leafNode: LeafNode = {
    title: "leafNode"
}

const leafNodeWithAdditional: LeafNode<number> = {
    title: "leafNodeWithAdditional",
    data: 1
}

function getTitleFromNode<T, N extends Nodes<T>>(node: N): string {
    return node.title
}

// 调用均触发类型错误
const branchNodeTitle = getTitleFromNode(branchNode)
const branchNodeWithAdditionalTitle = getTitleFromNode(branchNodeWithAdditional)
const leafNodeTitle = getTitleFromNode(leafNode)
const leafNodeWithAdditionalTitle = getTitleFromNode(leafNodeWithAdditional)

报错信息：

Argument of type 'BranchNode' is not assignable to parameter of type 'Nodes'.
Type 'BranchNode' is not assignable to type 'BranchNode'.
Property 'data' is missing in type 'BranchNode' but required in type '{ data: unknown; }'. (2345)

核心原因 #

1. 泛型推断顺序优先级：函数getTitleFromNode的泛型参数顺序为<T, N extends Nodes<T>>，TypeScript会优先推断第一个泛型参数T。当传入默认类型的BranchNode（即BranchNode<undefined>）时，TypeScript无法从联合类型Nodes<T>反向精准锁定T为undefined，反而会将T推断为更宽泛的unknown类型。
2. 条件类型约束冲突：当T被推断为unknown时，OptionalData<unknown>会返回{ data: unknown }，而BranchNode<undefined>本身没有data属性，因此触发类型不匹配错误。

解决方案 #

方案1：简化函数泛型约束 #

函数仅需访问节点的title属性，无需依赖T，直接将泛型约束简化为N extends Nodes，让TypeScript直接推断节点类型：

function getTitleFromNode<N extends Nodes>(node: N): string {
    return node.title
}

方案2：调整泛型推断逻辑（进阶） #

若需保留T的关联，可先推断节点类型N，再通过条件类型提取T：

function getTitleFromNode<N extends Nodes, T = N extends Nodes<infer U> ? U : undefined>(node: N): string {
    return node.title
}

方案3：优化OptionalData类型定义 #

通过非分布式条件类型增强推断准确性，避免T被错误泛化：

type OptionalData<T = undefined> = [T] extends [undefined] ? {} : { data: T }

最终验证 #

修改后的代码可正常通过类型检查，所有节点的title均能正确获取，类型推断符合预期。

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