TypeScript私有类实例变量存在性类型断言报never错误

报错核心原因 #

TypeScript 对private修饰的私有属性有特殊的类型校验规则：私有属性的类型识别仅认类内原始声明的定义，不允许和外部额外声明的同名字段做交叉类型合并。你代码中写的this & { myArray: string }属于在类型结构里重新声明了同名的myArray字段，和类内私有myArray属性冲突，因此整个交叉类型被判定为never，最终触发属性不存在的报错。
另外你的代码里还有一处类型书写错误：类内声明的myArray是string[] | undefined类型，但断言里写成了myArray: string，就算把属性改成public也会出现类型不匹配问题。

可行实现方式 #

方案1：基于类自身属性类型做断言收窄（推荐，可复用校验逻辑） #

不要在断言的类型里手写新的myArray字段，而是通过TS内置工具类型从类自身的定义中提取属性类型做收窄，避免触发私有属性交叉冲突：

export class A {
  private myArray?: string[];

  private constructor() {}

  // 用Required+Pick从类A本身提取myArray的类型，不额外声明同名字段
  private assertMyArray(): asserts this is this & Required<Pick<A, 'myArray'>> {
    if (!this.myArray) throw new Error('myArray is not defined');
  }

  private doSomething() {
    this.assertMyArray();
    // 此处this.myArray会被正确收窄为string[]类型，无编译报错
    const len = this.myArray.length;
  }
}

这种方式可以复用统一的属性存在性校验逻辑，不需要重复写判断，也符合TS的私有属性类型校验规则。

方案2：非空断言（适合单次使用的轻量场景） #

如果只需要在单个位置访问该属性，不需要复用校验逻辑，可以直接用TS的非空断言运算符!，标记该属性一定非空：

private doSomething() {
  const len = this.myArray!.length;
}

该方式代码量最小，但需要开发者自己保证属性在访问时确实已经初始化，否则会出现运行时错误，且多位置使用时会产生大量重复的断言标记。

方案3：临时变量收窄（无额外类型声明，逻辑直观） #

通过将属性赋值给临时变量，在当前作用域内做类型守卫收窄，完全避开私有属性的交叉类型问题：

private doSomething() {
  const myArray = this.myArray;
  if (!myArray) throw new Error('myArray is not defined');
  // 临时变量myArray会被自动收窄为string[]类型
  const len = myArray.length;
}

该方式不需要额外编写类型断言，逻辑和运行时代码完全一致，缺点是每个需要访问该属性的方法内都要重复写判断和赋值逻辑。

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