回答情况：
提问时间：
问题标签：
Java数组不是完全类型安全的，因为它们是协变的：ArrayStoreException可以发生在别名数组上。如果编程语言只支持不可变类型，那么类型参数为协变或反变(但从不不变)的类型系统能工作吗？我知道有些较老的语言(例如)似乎只支持协/反变参数类型。
我的一般问题是:在一个完全不可变的数据类型的世界中，是否存在一个特定需要不变参数类型(而不是协变量或禁忌变量)的情况？对于只有在不变类型参数下才正确的不可变数据结构，是否有
浏览 4修改于2020-04-02得票数 2
回答已采纳
我有一个不相关的协变接口和泛型类。我希望协变量接口具有一个属性，它是协变量类型上的泛型类的实例，如下所示。不‘是协变的。
这是否意味着不可能拥有使用协变量类型作为参数的泛型类型的协变量接口？我在这里做错什么了吗？
浏览 3修改于2021-04-09得票数 0
我对拟合变系数模型很感兴趣，其中变系数平滑也根据因子变量而变化。根据mgcv文档，当使用s()指定平滑时，by参数可以采用数字变量或因子变量，在这种情况下，适合可变系数模型；在这种情况下，会为每个因子级别生成平滑的副本。我看不出为什么这是不可能的，所以这两个不同的效果是由同一个参数指定的，这有点奇怪。
浏览 1提问于2019-10-16得票数 1
在IIS上，我可以访问变量$_SERVER ['REMOTE_USER']，它返回用户名和域(例如域\user)，但是在安装XAMPP之后，这个变量是不可用的。
我该怎么做才能让这个变量再变一次？
浏览 9修改于2015-06-17得票数 3
回答已采纳
更普遍的情况是，生成A类型值的类型可以在A上进行协变(就像您对Run+A所做的那样)，而在A上使用A类型值的类型可以在A上生成反变体(就像您对Vet所做的那样)。从上面的段落中，您可以推断只有getter的类型可以是协变量的(换句话说，不可变的数据类型可以是协变的，Scala标准库的大多数数据类型也是这样)，但是可变的数据类型必然是不变的(它们有getters和生产者:如果某物产生A类型，我可以想象A类型的引用变量被设置为A类型的对象或A的任何子类型，而不是超级类型，所以它可以是协变的。
浏览 0提问于2017-11-10得票数 0
回答已采纳
MyInterface] = null
list = l}
这(当然)不能编译--但是我如何声明list变量呢这种差异显然与这样一个事实有关，即在Java中，泛型在T中永远不是协变的，而在Scala中，它们可以是协变的，也可以不是协变的。例如，Scala类List在T上是协变的(并且必然是不可变的)。
浏览 27修改于2009-03-19得票数 19
回答已采纳
在调整Google中表的列大小时，我遇到了一个问题:两个选项似乎都不起作用(拖动边框不可用，拖动标尺不可用，格式->列变灰，表属性中的列宽度也变灰。我找不到任何对此负责的设置。如何解决这个问题？
浏览 0修改于2021-03-25得票数 1
1回答
我对ansible非常陌生，并且在我的剧本中出现了变量继承/循环问题。该剧本用于为某些Cisco leafs配置vxlan vrfs和vxlan。以下是变量： password: password vlan: 1000redirects provider: "{{ cli }}"
浏览 1提问于2016-11-07得票数 0
回答已采纳
3回答
{ B<MyBaseClass> myVar = new A<MyClass>();我认为这可以使用具有协变量类型参数的泛型接口来实现编辑
正如SLaks所指出的，‘接口是协变的，类不是协变的。’(谢谢SLaks)。所以现在我的问题是为什么？这个设计背后的想法是什么(我认为是针对Eric的)，是不可能的，不受欢迎的，还是在“也许某一天”的清单上？
浏览 2修改于2018-03-06得票数 10
回答已采纳
3回答
例如，泛型类型T<out D>在D上是协变的(因此是有效的)，因此我们可以说类型参数D是协变量有效的。我说的对吗？
4)构造的类、结构、枚举、接口或委托类型X可能是共同有效的。为了确定是否是，我们根据对应的类型参数是否声明为协变量(out)、反变量(in)或不变量(都不声明)，对每个类型参数进行不同的检查。根据定义，泛型类型可以是一次在一种类型参数上的协变/反变/不变量。在这种情况下，要成为协变量或不
浏览 7修改于2013-04-28得票数 10
回答已采纳
例如，在生成性对抗性网络中，由于x给出的潜在变量z的条件分布是“可处理的”，我们经常听到这样的推论是容易的。另外，我在某个地方读到，Boltzmann机器和变分自动编码器在后验分布不可处理的情况下使用，所以需要应用某种近似。
有人能告诉我什么是“可驯服”，在一个严格的定义吗？
浏览 2修改于2020-04-21得票数 6
在许多面向对象编程语言中，类型可以是共同的、对的或不变的.大多数(如果不是所有这些语言)都能够让变量发生变异，也就是说，它们不是完全不变的语言。我在这就是答案中看到，至少在Scala中，协变类型既不能出现在对变位，也不能出现在协变位置。
这个答案(事实上，我在互联网上发现的所有类似的例子)的问题是，它依赖于可变性来显示上述事实的证据。如果是这样的话，那么每一种类型的完全不可变的OOP语言(例如，所有这些语言)是否都是协变的，而不管它们在哪里使用(即作为函数输入类型/函数输出类型)？
浏览 0修改于2019-09-23得票数 3
回答已采纳
我需要拟合一个具有时变协变量的参数PH模型(所以，不是Cox模型)。我们可以在R中这样做吗？我听说survreg函数不能处理时变协变量。我一直在徒劳地寻找可以处理这一问题的软件包。
浏览 3提问于2013-03-06得票数 3
如果T是协变的或逆变的，我可以确定以下变量的方差：或我之所以这样问，是因为我在“在scala中编程”这本书中看到，在代码中： defmeow[K]K的位置是负的，它必须是逆变的(让我们假设它不是不变的类型)。因为我们不能仅仅使用单个类型的K来声明协方差或逆方差，所以我们必须使用上界或下界，因此K可能是：或但是我如何确定新类型是协变的还是逆变的？
浏览 0修改于2014-04-29得票数 2
4回答
在coursera的“Scala中的函数编程”课程中，Martin Ordersky提到：
例如，在Java中，让Dog扩展Animal。根据的说法，协方差是“由宽变窄”。在上面，我们从狗变成动物。所以，论点类型不是协变的，而不是反变的吗？
浏览 5修改于2015-05-31得票数 18
回答已采纳
1回答
当我按下一个按钮，一堆变量改变的时候，我想做它。DeckOfPlayingCardsPPS, DeckOfPlayingCardsText, DeckOfPlayingCardsQuantityText)end
我的问题是，为什么变量不变化
浏览 3修改于2016-03-12得票数 1
回答已采纳
我深入阅读了C# (第3版)，在第13章中，在讨论在c# 4中包含协变和反变类型参数的一节中，提出了这样的主张：
有人能为这一说法提供一些理由吗？对我来说，为什么这是真的还不清楚。
浏览 0修改于2018-08-08得票数 9
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号