我有一个需要协变的类。这个类包含一个Map，并且这个map的键必须使用与我的类相同的T类型：class B extends A
它不会编译，因为Ma
浏览 1提问于2017-02-06得票数 2
只需阅读Scala集合实现，就会注意到一个细微的差别：
可变HashMap：class HashMap[A, B]()你能解释一下为什么不变的值类型是协变的，而可变的值类型不是协变的吗？谢谢你的帮忙
浏览 0提问于2018-03-21得票数 3
回答已采纳
1回答
如何确定类型参数的方差？
、、、、
受的启发，我想一个更好的问题应该是：
在设计库时，在确定类型参数应该是协变的还是逆变的时，您是否应该问自己一组特定的问题？或者您是否应该让所有内容都保持不变，然后根据需要进行更改？
浏览 15提问于2011-03-12得票数 11
回答已采纳
1回答
Java数组不是完全类型安全的，因为它们是协变的：ArrayStoreException可以发生在别名数组上。另一方面，Java在其类型参数中是不变的:例如，List<Thread>不是List<Runnable>的子类型(这可能有点违背直觉)。动机似乎是因为List和其他集合是可变的，因此为了保持类型系统的正常运行，它们的类型参数必须<e
浏览 4提问于2020-03-26得票数 2
回答已采纳
3回答
我有一个协变Scala类型的Thing[+B]。实现使用内部可变队列：AsyncQueue是一个自定义可变队列实现，具有特殊的属性，我很难在不变的版本中实现这些属性。因为它是可变的，所以AsyncQueue是不变的。所以我不能在我的协变类型Thing中使用
浏览 7提问于2014-05-17得票数 3
回答已采纳
1回答
Kotlin中的Map接口(使用V1.6.21)的签名为为什么K不变而不是协变(out K)？类型参数K的文档说明：
映射在其键类型中是不变的，因为它可以接受键作为参数(例如，containsKey )并以键集的形式返回它。但是，接口Set在元素类型中是协变的，所以最
浏览 5提问于2022-06-06得票数 4
1回答
在Java语言中，如果类型A是B的子类型，则泛型类型C<A>和C<B>是不变的。例如，ArrayList<Base>不是ArrayList<Derived>的子类型。然而，在Scala中，如果类型C<A>是C<B>的子类型，则泛型类型A和B是协变的。那么在Scala中有而在J
浏览 0提问于2012-05-13得票数 15
回答已采纳
3回答
C#中的方差规则
、、、、
指针和非泛型类型在C#中不变体，但数组和非泛型委托除外.泛型类、结构和枚举是不变的。我就在这儿吗？
2)数组类型T[]，其中T是有效的。(当然，类和结构的泛型类型参数永远不会被声明为“out”或“in”；它们总是不变的。)如果ith类型参数声明为协变量，则Ti必须是有效的协变量。如果它被宣布为反变体，则Ti必须是</e
浏览 7提问于2013-04-26得票数 10
回答已采纳
2回答
下面是来自Predef的示例我开始思考，它可以用在哪里。显然，您不能将方差更改为相反，也不能使不变类型表现为协变或逆变。因此，我尝试创建一个不变版本的Listdefined type alias InvList
但是这个新的不变List仍然像它原
浏览 0提问于2012-05-10得票数 13
回答已采纳
如果T是协变的或逆变的，我可以确定以下变量的方差：或我之所以这样问，是因为我在“在scala中编程”这本书中看到，在代码中： defmeow[K]K的位置是负的，它必须是逆变的(让我们假设它不是不变的类型)。因为我们不能仅仅使
浏览 0提问于2014-04-29得票数 2
Hom(-,-)在第一个参数中是逆变的，在第二个参数中是协变的。
这一事实能以某种方式提供另一种解释为什么Scala的具有相同的属性吗？我见过这种说法，例如，但在解释这两个概念之间的联系时，有如此多的人挥舞着手，这让我大吃一惊。
浏览 3提问于2016-05-29得票数 3
9回答
来自Joshua Bloch的Effective，String[] is subtype of Object[]
<em
浏览 361提问于2013-09-07得票数 181
回答已采纳
我想了解scala编译器为什么会为以下代码段发出错误： val x = mutable.Map.empty因此，A是协变的错置在一个负(对变)位置-Elem。为什么编译器说它是一个“不变的位置”？如果我使A不变，如： val x = mutable.Map.empty[Int
浏览 6提问于2020-07-30得票数 0
回答已采纳
我正在使用Scala中的集合，发现可变集合被定义为不变集合，而不可变集合被定义为协变集合。Scala中的方差和可变性/不变性之间的关系是什么？
浏览 1提问于2013-09-02得票数 7
1回答
extends MyInterface> list;
}import java.lang.reflect._
class ScalaClass这种差异显然与这样一个事实有关，即在Java中，泛型在T中永远不是协变
浏览 27提问于2009-03-19得票数 19
回答已采纳
3回答
在许多面向对象编程语言中，类型可以是共同的、对的或不变的.大多数(如果不是所有这些语言)都能够让变量发生变异，也就是说，它们不是完全不变的语言。我在这就是答案中看到，至少在Scala中，协变类型既不能出现在对变位，也不能出现在协变位置。
这个答案(事实上，我在互联网上发现的所有类似的例子)的问题是，它依赖于可变性来显示上述事实的证据。所以我<em
浏览 0提问于2019-09-23得票数 3
回答已采纳
然而，我很难理解最后得出的结论：
如果您查看Run+A和Vet的定义，您可能会注意到，类型A只出现在Run+A方法的返回类型中，并且只出现在Vet方法的参数中。更普遍的情况是，生成A类型值的类型可以在A上进行协变(就像您对Run+A所做的那样)，而在A上使用A类型值的类型可以在A上生成反变体(就像您对Vet所做的那样)。从上面的段落中，您可以推断只有getter的</em
浏览 0提问于2017-11-10得票数 0
回答已采纳
我有一个不相关的协变接口和泛型类。我希望协变量接口具有一个属性，它是协变量类型上的泛型类的实例，如下所示。public interface IFoo<out T> Bar<T> barobj { get; set; }{不幸的是我搞错了
ErrorCS1961无效方差:类型参数'T‘在&
浏览 3提问于2021-04-09得票数 0
云服务器
ICP备案
实时音视频
对象存储
云直播
腾讯云开发者
