如何解决TypeScript数组操作中类型'X'不可赋值给'never'的问题？

我有一组TypeScript类型，核心特性如下：

• 所有类型都有设为枚举常量的like属性。
• Partial类型拥有children数组属性。
• 不同Partial类型的children数组可接受的子项类型不同。
• Full类型没有children属性，而是拥有其他属性。

基于这些类型，我写了一个替换子项的函数，功能类似TypeScript版本的children.splice(children.indexOf(item), 1)，要求替换项匹配对应对象children数组的允许类型：

export function replaceASTChild<
  A extends AST,
  X extends ASTPartialType<AST>,
  B extends ASTType<AST>,
>(input: APIInputType, a: A, x: X, b: B): void {
  // 无关逻辑，获取input.scope.parent（上一级父节点）
  const objectScope = api.assumeObjectScope(input, 1)
  // 断言对象类型
  api.assertASTPartial(objectScope.data, a)
  const index = objectScope.data.children.indexOf(x)
  objectScope.data.children[index] = b
}

请问如何正确实现这个替换功能并避免类型错误？

以下是复现错误的最小示例：

type AInitialType = {
  children: Array<string>
}

type AFinalType = {
  foo: string
}

type BInitialType = {
  children: Array<number>
}

type BFinalType = {
  bar: number
}

type CInitialType = {
  children: Array<AInitialType | BInitialType | AFinalType | BFinalType>
}

type CFinalType = {
  items: Array<AFinalType | BFinalType>
}

type XInitialType = AInitialType | BInitialType
type XFinalType = AFinalType | BFinalType

export function replaceChild(container: XInitialType, item: string | number, replacement: XFinalType): void {
  const index = container.children.indexOf(item)
  container.children[index] = replacement
}

const elementInitial1: AInitialType = {
  children: ['hello world']
}
const container1: CInitialType = {
  children: [elementInitial1]
}

replaceChild(container1, elementInitial1, { foo: 'hello world' })

1. 核心修复：建立泛型类型关联 #

当前函数的类型参数没有绑定容器、旧子项、新子项之间的类型关系，导致TypeScript无法验证兼容性。通过泛型约束将三者关联，同时补充运行时安全判断：

// 工具类型：提取容器children数组的元素类型
type ChildType<T extends { children: any[] }> = T['children'][number]

export function replaceASTChild<
  Container extends { children: any[] },
  OldChild extends ChildType<Container>,
  NewChild extends ChildType<Container>
>(input: APIInputType, container: Container, oldChild: OldChild, newChild: NewChild): void {
  const objectScope = api.assumeObjectScope(input, 1)
  api.assertASTPartial(objectScope.data, container)
  
  const index = objectScope.data.children.indexOf(oldChild)
  // 避免子项不存在时的数组越界错误
  if (index !== -1) {
    objectScope.data.children[index] = newChild
  }
}

2. 针对最小示例的具体修复 #

最小示例的问题在于replaceChild参数类型不匹配，且容器的children类型未包含允许的替换项。修改后的代码如下：

type AInitialType = {
  // 补充允许的替换项类型，确保AFinalType能被放入children
  children: Array<string | AFinalType>
}

type AFinalType = {
  foo: string
}

type BInitialType = {
  // 补充允许的替换项类型
  children: Array<number | BFinalType>
}

type BFinalType = {
  bar: number
}

type CInitialType = {
  children: Array<AInitialType | BInitialType | AFinalType | BFinalType>
}

type CFinalType = {
  items: Array<AFinalType | BFinalType>
}

// 泛型函数绑定容器与子项的类型关系
export function replaceChild<
  Container extends { children: any[] },
  OldChild extends Container['children'][number],
  NewChild extends Container['children'][number]
>(container: Container, item: OldChild, replacement: NewChild): void {
  const index = container.children.indexOf(item)
  if (index !== -1) {
    container.children[index] = replacement
  }
}

const elementInitial1: AInitialType = {
  children: ['hello world']
}
const container1: CInitialType = {
  children: [elementInitial1]
}

// 现在类型检查通过
replaceChild(container1, elementInitial1, { foo: 'hello world' })

关键注意点 #

• 泛型关联：通过泛型约束让TypeScript明确容器的children类型范围，确保旧子项和新子项都符合要求。
• 类型补全：Partial类型的children数组需要包含允许的替换项类型，否则无法通过类型检查。
• 运行时安全：增加索引存在判断，避免子项不存在时出现数组越界错误。

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