TypeScript中可空返回类型不生效，IDE类型显示异常求助

首先明确：这个问题和ESLint完全无关。ESLint仅负责代码规范校验，不参与TypeScript的类型推断逻辑，类型推断由TypeScript编译器处理。

以下是具体排查方向：

1. 检查ICollectionService的实际实现类 #

如果你的collectionService实例对应的类，在实现get方法时没有严格遵循接口定义的返回类型，TypeScript会优先用实现类的返回类型来推断变量类型。比如：

// 错误示例：实现类返回类型缺少|null
class CollectionService implements ICollectionService {
  async get(id: string): Promise<Collection> {
    // 实际代码未处理null场景，直接返回Collection类型
    return fetchCollection(id);
  }
}

这种情况下，即使接口定义了Promise<Collection | null>，实现类的窄类型会覆盖接口定义，导致变量类型推断为Collection。

2. 检查TypeScript配置的严格空检查 #

打开你的tsconfig.json，确认以下关键配置：

{
  "compilerOptions": {
    "strict": true, // 开启严格模式会自动启用strictNullChecks
    // 或单独设置
    "strictNullChecks": true
  }
}

如果strictNullChecks为false，TypeScript会自动将null和undefined从类型中排除，直接推断collection的类型为Collection。

3. 排查是否存在非空断言或类型断言 #

检查代码中是否对get方法的调用使用了非空断言运算符!，比如：

const collection = await collectionService.get(collectionAddress)!;

或者在其他逻辑中对collectionService做了强制类型断言，将其指定为返回Promise<Collection>，这会让TypeScript忽略接口定义的null分支。

4. 确认Collection类型的定义 #

排查Collection类型本身是否被错误定义为包含null（概率较低），比如：

// 错误示例：类型本身已包含null，导致接口的|null被合并
type Collection = ActualCollectionType | null;

这种情况下Collection | null等价于Collection，但通常不是你遇到的问题场景。

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