如何让TypeScript明确识别代码中的特定接口类型？

你遇到的报错根源是原接口中没有定义type属性，所以当你用'type' in varExample做判断时，TypeScript无法通过这个条件把联合类型缩小到Interface2——它只知道对象可能有type，但没法确定这个对象就是Interface2，自然不允许访问仅存在于Interface2的propC。

下面是三种可行的解决方法：

方法一：给接口添加区分字段（推荐） #

这是TypeScript处理联合类型的标准方案，给两个接口添加一个字面量类型的共同字段，用于明确区分类型：

export interface Interface1 {
  type: 'Interface1'; // 固定字面量，唯一标识该接口
  propA: string;
  propB: string;
}

export interface Interface2 {
  type: 'Interface2';
  propA: string;
  propC: string;
}

同时，确保doSomething返回的对象也包含对应的type字段：

// 示例：实现Interface1的对象
const ObjectImplementingInterface1: Interface1 = {
  type: 'Interface1',
  propA: 'a',
  propB: 'b'
};

之后使用时，TypeScript会自动通过type字段缩小类型，不需要额外检查'type' in：

const varExample = this.doSomething(this.s);
if (varExample) {
  if (varExample.type === 'Interface1') {
    this.importantResult = varExample.propA;
  } else if (varExample.type === 'Interface2') {
    this.importantResult = varExample.propC; // 不再报错
  }
} else {
  this.importantResult = 'someValue';
}

方法二：使用自定义类型守卫函数 #

如果不想修改原接口，可以写一个专门的类型守卫函数，告诉TypeScript如何判断对象属于哪个接口：

// 自定义类型守卫：判断对象是否为Interface2
function isInterface2(obj: Interface1 | Interface2): obj is Interface2 {
  return 'propC' in obj;
}

// 同理可以写isInterface1
function isInterface1(obj: Interface1 | Interface2): obj is Interface1 {
  return 'propB' in obj;
}

使用时直接调用守卫函数：

const varExample = this.doSomething(this.s);
if (varExample) {
  if (isInterface1(varExample)) {
    this.importantResult = varExample.propA;
  } else if (isInterface2(varExample)) {
    this.importantResult = varExample.propC; // 类型已缩小，无报错
  }
} else {
  this.importantResult = 'someValue';
}

方法三：直接检查目标属性是否存在 #

针对简单场景，也可以直接检查propC是否存在——因为它是Interface2独有的属性，TypeScript会自动缩小类型：

const varExample = this.doSomething(this.s);
if (varExample) {
  if ('propB' in varExample) {
    this.importantResult = varExample.propA;
  } else if ('propC' in varExample) {
    this.importantResult = varExample.propC; // 无报错
  }
} else {
  this.importantResult = 'someValue';
}

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