TypeScript中的协变、逆变、双变和抗变是什么

<p>在TypeScript中，协变（Covariance）、逆变（Contravariance）、双变（Bivariance）和抗变（Invariance 是与类型相关的概念，涉及到参数类型的子类型关系。下面对这些概念进行解释，并提供示例代码。</p><h4>协变（Covariance）</h4><p>区别：协变意味着子类型可以赋值给父类型。</p><p>应用场景：数组类型是协变的，因此可以将子类型的数组赋值给父类型的数组。</p><p>协变表示类型T的子类型可以赋值给类型U，当且仅当T是U的子类型。在TypeScript中，数组是协变的，这意味着可以将子类型的数组赋值给父类型的数组。</p><pre><code >let subtypes: string[] = ["hello", "world"];
let supertype: Object[] = subtypes; // 数组是协变的，这是合法的</code></pre><h4>逆变（Contravariance）</h4><p>区别：逆变意味着超类型可以赋值给子类型。</p><p>应用场景：函数参数类型是逆变的，因此可以将超类型的函数赋值给子类型的函数。</p><p>逆变表示类型T的超类型可以赋值给类型U，当且仅当T是U的子类型。在TypeScript中，函数参数是逆变的，这意味着可以将超类型的函数赋值给子类型的函数。</p><pre><code >type Logger&lt;T&gt; = (arg: T) =&gt; void;
let logNumber: Logger&lt;number&gt; = (x: number) =&gt; console.log(x);
let logAny: Logger&lt;any&gt; = logNumber; // 函数参数是逆变的，这是合法的</code></pre><h4>双变（Bivariance）</h4><p>区别：双变允许参数类型既是协变又是逆变的。</p><p>应用场景：对象类型是双变的，这意味着可以将子类型的对象赋值给父类型的对象，同时也可以将超类型的对象赋值给子类型的对象。</p><p>双变允许参数类型既是协变又是逆变的。在TypeScript中，普通对象类型是双变的，这意味着可以将子类型的对象赋值给父类型的对象，并且可以将超类型的对象赋值给子类型的对象。</p><h4 style="text-align: start;"><strong>抗变（Invariance）</strong></h4><p style="text-align: start;"><strong>区别</strong>：抗变表示不允许类型之间的任何赋值关系。</p><p style="text-align: start;"><strong>应用场景</strong>：通常情况下，基本类型和类类型是抗变的。</p><p style="text-align: start;"><span style="color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); font-size: 14px;"><code>抗变</code></span>表示不允许类型T和U之间的任何赋值关系，即T既不是U的子类型，也不是U的超类型。在TypeScript中，一般情况下，<span style="color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); font-size: 14px;"><code>基本类型</code></span>和<span style="color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); font-size: 14px;"><code>类类型</code></span>是抗变的。</p>

DreamCoders/CoderGuide

内容风险标识

评论 (0)

DreamCoders/CoderGuide .gitee-modal { width: 500px !important; }

内容风险标识