我有一个与 Typescript 中的泛型类型和子类型概念相关的问题。但花了一些时间阅读 Typescript 官方文档后，我仍然没有找到答案。我的问题是：交集类型是否可以被视为创建交集的类型的子类型。
我有以下类型：
type Dog = { color:string}
type Cat = { gender:boolean}
type Fish = { weigh: number}
type Dog_Cat_Fish = Dog & Cat & Fish;
type Dog_Cat = Dog & Cat;
我可以这样说吗：
Dog_Cat_Fish 是Cat(1)的子类型Dog_Cat_Fish 是Dog_Cat (2)的子类型T & U是T(3)的子类型T & U & V是T & V(4)的子类型其中T，V和U是*类型变量（泛型类型）。
感谢您考虑我这个愚蠢的问题。
最近在学习Typescript 中的泛型概念，有个问题就是“为什么函数的参数会逆变？”，我知道：
Covariance是如果T extends U（T可分配给），则（也可分配给）U为真G<T> extends G<U>G<T>G<U>
Contravariance是如果T extends U，那就一定会得出结论G<U> extends G<T>（现在G<U>可以分配给G<T>）。
在该论坛提问之前，我阅读了以下帖子，但是，我仍然无法理解为什么 Typescript 中的函数在其参数中是逆变的：
我发现不仅 TypeScript 中的函数与其参数是逆变的，而且其他一些语言也是如此。
我很沮丧，因为我没有弄清楚为什么这是事实，就接受了它。你能帮我解释一下吗？如果我缺少相关知识，请告诉我是什么。
我正在学习 TypeScript 泛型。我创建了一个如下所示的泛型函数：
function getRandomElement<T>(items: T[]): T {
let ranIndex = Math.floor(Math.random() * items.length);
return items[ranIndex];
}
然后我有意调用该函数并仅传递类型（不将参数传递到函数中）。
let result = getRandomElement<number>;
然后我以为 Ts 编译器会给出关于创建result变量语句的错误消息，但什么也没发生。结果之后变成了一个函数（(items: number[]) => number）。我想更多地研究一下 typescript 的这个特性。但搜索了一段时间后，我没有找到任何必要的信息。
您能帮忙解释一下这个功能或者给我一个关于它的关键词吗？谢谢你考虑我这个愚蠢的问题。