TypeScript泛型约束<T extends Cacheable>未生效？原因探究

1. 空接口Cacheable等于没加约束 #

你定义的Cacheable是个空接口，在TypeScript里任何类型都能满足空接口的约束——因为它没要求实现任何属性或方法。不管是number、string还是自定义接口，只要是空接口的子类型约束，通通都能通过。所以你写的T extends Cacheable实际上跟没加约束没区别，自然拦不住number这种类型。

2. 类型断言是“我说了算”的强制声明 #

as number属于类型断言，本质是你直接告诉TypeScript：“别管你推断的是什么，我确定这就是number类型”。只要不是完全离谱的断言（比如把string硬说成HTMLElement这种完全不沾边的），TS都会直接信任你，不会做额外检查。这也是为什么那段明显不符合逻辑的代码能编译通过。

怎么改才能达到预期约束效果？ #

方法一：给Cacheable加实际约束 #

如果想让Cacheable真正起到过滤作用，给它加个专属标识属性就行，比如：

export default interface Cacheable {
  // 加个可选属性，用来标识这是可缓存类型
  _cacheableMarker?: never;
}

这样一来，number这种基础类型就不符合T extends Cacheable的约束了，你要是敢把T指定成number，TS直接在编译阶段就报错，根本轮不到后面的类型断言。

方法二：显式指定泛型参数，别依赖断言 #

类型断言尽量少用，尤其是用来绕类型检查的情况。如果缓存里存的都是Cacheable子类的数据，调用getData时直接显式指定泛型参数：

// 直接指定T为Coin[]，TS会自动验证是否符合Cacheable约束
const coins = await cache.getData<Coin[]>('coins.json');

要是你尝试指定number：

// 编译报错：number不满足Cacheable约束
const num = await cache.getData<number>('coins.json');

这样从根源就把非法类型拦住了。

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