IntelliJ未检测出TypeScript函数类返回类型不匹配问题，求助

核心原因：TypeScript的结构类型系统 #

你遇到的问题根源是TypeScript采用结构类型系统，而非传统面向对象语言的名义类型系统。在结构类型规则下，TypeScript判断两个类型是否兼容，只看它们的结构（属性、方法）是否一致，完全不关心类型的名称或者定义方式。

对应你的示例分析 #

1. 两个空类TreeRefreshOutcome和TreeRefreshOutcome2没有任何属性或方法，结构完全一致，因此TypeScript认为它们是互相兼容的类型——所以返回TreeRefreshOutcome2实例不会触发类型错误。
2. 返回""或5不报错的原因：空类没有任何成员要求，任何类型（包括string、number）都满足“包含空类所有成员”的条件，因此可以兼容赋值。而返回null报错是因为你的TypeScript配置中开启了strictNullChecks（默认开启），null不能赋值给非null的类型。
3. interface和class表现一致：因为interface同样遵循结构类型规则，而type如果定义了具体结构（比如非空的对象类型），结构不一致时自然会触发错误。

解决方法：实现名义类型检查 #

如果需要强制区分名称不同但结构相同的类，可以给类添加一个唯一的私有成员，破坏结构兼容性：

export class TreeRefreshOutcome {
  private readonly _brand: 'TreeRefreshOutcome' = 'TreeRefreshOutcome';
}

export class TreeRefreshOutcome2 {
  private readonly _brand: 'TreeRefreshOutcome2' = 'TreeRefreshOutcome2';
}

function foo() : TreeRefreshOutcome {
  return new TreeRefreshOutcome2(); // 此时会触发类型不匹配错误
}

私有成员不会被外部访问，但TypeScript会将其纳入结构检查，因为两个类的私有成员标识不同，结构不再兼容，就能检测出类型错误。

额外检查：确认TypeScript配置 #

确保你的tsconfig.json中启用了基础的严格类型检查选项，避免因配置放宽导致错误被忽略：

{
  "compilerOptions": {
    "strict": true,
    "noImplicitAny": true,
    "strictNullChecks": true
  }
}

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