如何理解TypeScript中Cache<V = any>泛型接口的定义？

export interface Cache<V = any> {
  value?: V;
  timeoutId?: ReturnType<typeof setTimeout>;
  time?: number;
  alive?: number;
}

1. Cache<V = any>是用于描述对象还是函数？ #

这个类型是通过interface关键字定义的，结构内只有属性定义、没有函数类型必需的调用签名/构造签名，它是用来描述缓存对象的结构的，用来约束符合该类型的对象可包含的字段：缓存值、定时器ID、缓存时间戳、存活时长，和函数类型无关。

2. 泛型参数V为什么要指定any？ #

这里的any是泛型默认值的配置，核心作用是降低类型使用成本：如果使用者用Cache类型时没有明确指定缓存值的具体类型，不会触发“缺失泛型参数”的类型报错，value字段会默认按any类型处理，适配不需要严格类型约束的快速开发场景，不用强制使用者每次使用都显式传入泛型参数。

3. 泛型定义中的等号代表什么含义？ #

这个等号是TypeScript支持的泛型参数默认值语法，逻辑和JavaScript函数的参数默认值一致：当使用这个泛型类型时，如果没有在对应位置显式传入具体的类型实参，TypeScript就会自动把等号后面定义的类型作为该泛型参数的实际类型。
举两个简单的使用场景：

• 写Cache<string>时，显式传入了string作为泛型实参，此时V的类型就是string，对应字段约束为value?: string
• 直接写Cache不传任何泛型参数时，V就会取等号后定义的默认值any，对应字段约束为value?: any

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