如何确定类型参数的方差？
确定类型参数的方差是通过类型系统中的类型约束和语法规则来实现的。在编程语言中，类型参数的方差指定了类型参数在子类型关系中的变化方式。
类型参数的方差分为三种：协变（covariant）、逆变（contravariant）和不变（invariant）。
- 协变（Covariant）：如果类型参数的方差为协变，那么子类型关系会保持不变或者变得更加宽松。换句话说，如果类型A是类型B的子类型，那么
SomeType<A>就是SomeType<B>的子类型。在协变的情况下，类型参数只能用于方法的返回类型。 - 逆变（Contravariant）：如果类型参数的方差为逆变，那么子类型关系会变得更加严格。换句话说，如果类型A是类型B的子类型，那么
SomeType<B>就是SomeType<A>的子类型。在逆变的情况下，类型参数只能用于方法的参数类型。 - 不变（Invariant）：如果类型参数的方差为不变，那么子类型关系不会发生变化。换句话说，
SomeType<A>和SomeType<B>之间没有子类型关系。在不变的情况下，类型参数可以用于方法的参数类型和返回类型。
确定类型参数的方差需要根据具体的编程语言和类型系统来进行判断。一般来说，对于不变的类型参数，可以在方法中使用该类型参数的方法参数和返回类型；对于协变的类型参数，可以在方法中使用该类型参数的返回类型；对于逆变的类型参数，可以在方法中使用该类型参数的方法参数。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云：https://cloud.tencent.com/
- 云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 云数据库 MySQL 版：https://cloud.tencent.com/product/cdb_mysql
- 人工智能平台（AI Lab）：https://cloud.tencent.com/product/ailab
- 物联网开发平台（IoT Explorer）：https://cloud.tencent.com/product/iothub
- 移动推送服务（信鸽）：https://cloud.tencent.com/product/tpns
- 云存储（COS）：https://cloud.tencent.com/product/cos
- 区块链服务（BCS）：https://cloud.tencent.com/product/bcs
- 腾讯云元宇宙：https://cloud.tencent.com/solution/virtual-universe
相关·内容
2回答
类型的表达式不符合预期的类型B
scala
我有下面的代码来理解协变和下限，我故意让代码有编译错误。
getOrElse的工作原理类似于Option+T的getOrElse方法。
我会问，为什么getOrElse2和getOrElse3不能更好地理解协变和下限。
编译错误将作为注释粘贴到代码中：
class MyOption[+A](val x: A) {
def get():A = x
//similar to Option.getOrElse,which works
def getOrElse[B>:A ](default: => B): B = {
if (x != null) x else
浏览 3提问于2017-07-29得票数 4
回答已采纳
1回答
IEnumerable<T>反变式是如何实现的？
c#、generics、ienumerable、covariance、contravariance
这篇文章()说IEnumerable<T>是反变种的。但是，类型T是协变的，因为它是一个out参数。那么在什么情况下IEnumerable<T>是逆变的呢?？
希望我没有弄糊涂！提前感谢您的回答！
浏览 2提问于2010-07-11得票数 4
回答已采纳
2回答
Scala -泛型隐式下限
scala、generics、implicit-conversion、implicit
请考虑以下几点： class Super
class Sub extends Super
implicit val implicitOption: Option[Super] = None
def f[A, B >: A](a: A)(implicit i: Option[B]) = println("It worked") 如果我调用f(new Super)，它工作得很好，但是f(new Sub)给了我一个编译错误(找不到参数i的隐含值)。 当为A = Sub时，为什么不能将implicitOption用作隐式参数
浏览 19提问于2020-01-16得票数 2
回答已采纳
2回答
Scala中的协方差逆方差错误
scala、covariance
我尝试编译以下代码：
class A[-T]
class B[-T] extends A[A[T]]
我得到了以下错误：
error: contravariant type T occurs in covariant position in type [-T]A[A[T]]{def <init>(): B[T]} of class B
为什么这是一个错误？
浏览 0提问于2016-11-08得票数 4
3回答
如果`T‘是协变的还是逆变的，那么`K >：T`和`K <：T`的方差是多少？
scala、covariance、contravariance、type-systems、variance
如果T是协变的或逆变的，我可以确定以下变量的方差：
K >: T
或
K <: T
我之所以这样问，是因为我在“在scala中编程”这本书中看到，在代码中：
trait Cat[T] {
def meow[K]
}
K的位置是负的，它必须是逆变的(让我们假设它不是不变的类型)。
因为我们不能仅仅使用单个类型的K来声明协方差或逆方差，所以我们必须使用上界或下界，因此K可能是：
K >: T
或
K <: T
但是我如何确定新类型是协变的还是逆变的？
浏览 0提问于2014-04-29得票数 2
2回答
Scala数据类型
scala、typing
作为试图理解scala的不同和相似之处的一部分，我试图理解Java“对象”类型的等价物是什么。
如果我有一个Scala列表类型，什么类型才能支持下面的ListTYPE，Any，(Int，Any))。
注意:我知道这是一种糟糕(糟糕)的编程技术，但这有助于我理解。
我最初认为ListAny可以工作，但不能让它在所有情况下都能工作：
[error] found : org.apache.spark.rdd.RDD[Any]
[error] required: org.apache.spark.rdd.RDD[(Any, ?)]
类似的
[error] found : org.apac
浏览 1提问于2014-09-20得票数 2
1回答
TypeScript中方差、协方差、逆方差和协方差之间的DIfference
typescript、covariance、variance、contravariance、invariance
你能在一些简单的TypeScript例子中解释一下什么是方差、协方差、逆方差和协方差吗？
浏览 51提问于2021-02-28得票数 5
回答已采纳
3回答
Scala中的协方差与反方差
scala、covariant、contravariant
在理解方法参数限制的协方差类型方面，我有一种困惑。我阅读了很多材料，但我无法得到以下的概念。
class SomeThing[+T] {
def method(a:T) = {...} <-- produces error
}
在上面的代码中，A是类型T，为什么我们不能传递T的子类型呢？参数x上的方法的所有期望都可以用T的子型来完全满足。
同样，当我们有逆变类型T (-T)时，它不能作为方法参数传递，但它是允许的。我认为它不能被传递的原因是:例如，方法在a上调用一个方法(在对象a中)，该方法存在于T中。当我们通过超级T类型时，它可能不存在。但是编译器允许这样做。这让我很困惑。
浏览 3提问于2020-11-11得票数 1
1回答
打字中协变与逆变位置的区别
typescript、covariance
我正在尝试理解Typescript advanced types handbook中的以下示例。 引用一下，它说： 下面的示例演示了协变位置中同一类型变量的多个候选项如何导致推断联合类型： type Foo<T> = T extends { a: infer U, b: infer U } ? U : never;
type T10 = Foo<{ a: string, b: string }>; // string
type T11 = Foo<{ a: string, b: number }>; // string | number 同样，同一类型
浏览 18提问于2020-06-21得票数 5
回答已采纳
1回答
Scala型界与方差
scala、generics、types、type-inference、type-bounds
我正试图更好地了解以下行为：
scala> class C[-A, +B <: A]
<console>:7: error: contravariant type A occurs in covariant position
in type >: Nothing <: A of type B
class C[-A, +B <: A]
^
然而，以下工作：
scala> class C[-A, +B <% A]
defined class C
我可以
浏览 2提问于2013-06-04得票数 6
1回答
有人能解释一下这个通用语法吗？
c#、generics、delegates、action
我已经在谷歌上搜索了一下，没有找到任何可以解释语法的东西。
因此，我对生产者消费者使用Action<T>，其中Action<T>是要执行的消费者操作。我右击Action<T> - 'go to definition‘来查看它的定义，这就是我看到的
public delegate void Action<in T>(T obj);
嗯..。我使用泛型已经有一段时间了，从来没有使用过也没有见过<in T>的语法
有人手头有一个很好的总结来解释语法和它产生的结果吗？
谢谢。D
浏览 0提问于2012-09-06得票数 2
回答已采纳
1回答
为什么终身胁迫适用于结构，而不适用于特征？
struct、rust、traits、lifetime、coercion
编译器不接受下列代码：
struct Struct<'a, 'b: 'a> {
value: &'a dyn Value<'b>,
}
impl<'a, 'b: 'a> Struct<'a, 'b> {
fn foo(&self) {
UnitedLifetime(self.value);
}
}
struct UnitedLifetime<'a>(&'a dyn Valu
浏览 9提问于2021-12-20得票数 2
回答已采纳
1回答
Scala中的子类型和类型参数
scala、generics、variance
我是Scala的新手，目前正在学习Scala中的类型参数，我遇到了以下场景。
假设我有两个类A和B，其中B是A的子类型。
class A {
...
}
class B extends A {
...
}
所以我可以说B <: A。
这是否也意味着List[B] <: List[A]
浏览 0提问于2012-10-14得票数 5
回答已采纳
1回答
继承和(自动？)类型转换
scala
请看下面的代码，其中Extractor[A,B]是通用框架的一部分，其他所有内容都应该被视为“客户端代码”(我将其简化并将所有内容重命名。所以不要介意Extractor看起来不是很有用)。
scala> abstract class Extractor[A,B] {
| def extract(d:A):B
| def stringRepr(d:A):String
浏览 0提问于2010-09-13得票数 7
回答已采纳
5回答
具有继承的模板类参数的集合
c#、templates、inheritance
对我来说，这样做是完美的：
public class A { }
public class B : A { }
public class C
{
public List<A> b = new List<B>();
}
List期望元素属于A类，List也是如此。我知道存在类型不匹配，但从逻辑上讲，编译器允许这种不匹配是完全合理的。为什么不行？
浏览 0提问于2013-02-03得票数 0
3回答
Scala中泛型声明中的+-符号
scala、generics
我在看版的PartialFunction文档
trait PartialFunction[-A, +B] extends (A) ⇒ B
也许有人可以帮助澄清通用声明中加号和减号的意义？
浏览 6提问于2014-12-24得票数 52
回答已采纳
2回答
如果方法将类型参数排除为参数，为什么禁止在泛型中使用'out‘关键字？
kotlin、generics、covariance、contravariance
我正在寻找一个在类声明中使用out时可能导致问题的示例，并且该类有一个将参数类型作为参数的方法。
另外，我正在寻找一个示例，当在类声明中使用时，中的参数类型是类的var成员。我想我只有通过例子才能理解规则。
浏览 2提问于2021-01-18得票数 1
回答已采纳
1回答
如何确定类型参数的方差？
scala、types、covariance、contravariance、generic-variance
受的启发，我想一个更好的问题应该是：
在设计库时，在确定类型参数应该是协变的还是逆变的时，您是否应该问自己一组特定的问题？或者您是否应该让所有内容都保持不变，然后根据需要进行更改？
浏览 15提问于2011-03-12得票数 11
回答已采纳
7回答
同类型自变量上的协方差和反方差
c#、covariance、contravariance、variance
C#规范指出，参数类型不能同时是协变量和反变体。
在创建协变或反变接口时，这一点很明显，您可以分别用"out“或"in”装饰类型参数。没有允许两者同时进行的选项("outin")。
这种限制是否仅仅是语言上的一种限制，还是有更深层次、更根本的基于范畴理论的原因会使你不希望你的类型同时是协变的和反变的？
编辑：
我的理解是数组实际上是协变的和反变的。
public class Pet{}
public class Cat : Pet{}
public class Siamese : Cat{}
Cat[] cats = new Cat[10];
Pet[] pet
浏览 4提问于2010-12-24得票数 12
回答已采纳
1回答
Scala F-有界型多态性
scala、scala-collections
trait Account[T <: Account[T]]
case class BrokerAccount(total:BigDecimal) extends Account[BrokerAccount]
case class SavingsAccount(total:BigDecimal) extends Account[SavingsAccount]
下面的函数声明和调用工作正常。
def foo1( xs: Array[T forSome { type T <: Account[T] }]):Array[T forSome { type T <: Account[
浏览 2提问于2016-05-25得票数 2
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
