为什么协变类型参数(如IEnumerable<out T>类型T )只用于返回类型(只读)或逆反变型参数(如Action<in T>类型T )仅用作参数类型(只写)？换句话说，我认为纯协变概念与仅用于成员返回类型的c#协变类型参数之间
浏览 3提问于2018-06-12得票数 2
回答已采纳
1回答
我看到了以下节选：
Int32因为协方差是关于具有类型，它是所需类型的基本类型之一。因此，协方差仅在返回类型的上下文中使用。在上面的示例中，我们有一个String (它是从Object派生的，所以它是反变的，而不是协变量)，它用于传递<e
浏览 2提问于2019-12-30得票数 2
回答已采纳
Int_List_Type intListType) printAnyListSize(intListType); //compile error...由于boost::any允许在列表中传递任何类型如何将boost::any类型转换为列表中的相应类型？
浏览 8提问于2012-09-28得票数 0
3回答
C#中的方差规则
、、、、
我们讨论的是泛型类型对其所有输入/输出/不变类型参数的方差吗？根据定义，泛型类型可以是一次在一种类型参数上的协变/反变/不变量。在这种情况下，要成为协变量或不变量，它的类型参数一次就不具有任何意义。为了确定泛型类型是否具有协变量有效性，我们将检查它的类型参数(非类
浏览 7提问于2013-04-26得票数 10
回答已采纳
考虑以下类和接口：class Factory<T> : IFactory<T>{ }
class Entity : IEntity{ }b.RegisterType<Factory<Entity>>().As<IFactory<IEntity>>();
浏览 0提问于2018-05-11得票数 2
回答已采纳
假设我定义了一个类型构造函数Box什么是正确的？类型Box是协变的
如果它们都是不正确的，那么正确的表达式是什么？
浏览 0提问于2014-06-16得票数 5
现在，在关于方法专门化的一节中，我陷入了麻烦。“还有另一种形式的方法专门化是通过继承隐式发生的C方法中的self事件可以被认为是C类型，也就
浏览 1提问于2018-01-28得票数 1
回答已采纳
1回答
如何在C++中实现协变参数类型
、、、、
我正在尝试编写一个矩阵类接口，然后为每种类型的矩阵创建特定的实现(例如，行较多、列较多、稀疏版本等)，问题是该接口使用IMatrix类定义数学操作，但如果我在覆盖方法中使用派生类，它将无法编译(因为我猜在C++协变类型只适用于返回类型，对吧?)(RMMatrix& matrix) override // fails because function signature differs from IMatrix 正如我之前说过的，我是OOP <
浏览 24提问于2020-11-04得票数 0
假设我们有一个带有类型参数的a类我们想要编写一个方法，返回带有任意类型参数的A类型的对象，如下所示：编译器将报告缺少类型A的类型参数。我们不能通过编写A[Any]来解决这个问题，因为例如A[String]不是A[Any]的子类型。但是我们可以通过+T的协变注释来实现这种子类型关系。有没有可能在不使用<
浏览 0提问于2012-07-02得票数 0
回答已采纳
1回答
Java数组不是完全类型安全的，因为它们是协变的：ArrayStoreException可以发生在别名数组上。另一方面，Java在其类型参数中是不变的:例如，List<Thread>不是List<Runnable>的子类型(这可能有点违背直觉)。动机似乎是因为List和其他集合是可变的，因此为了保持类型系统的正常运行，它们的类型参数必须是不变的。
如果编程语言只支持不可变类型
浏览 4提问于2020-03-26得票数 2
回答已采纳
我试图理解编译器是如何检查类型参数的位置是协变的还是逆变的。 def bar(param: T): Unit =
println(&quo
浏览 0提问于2018-03-17得票数 2
1回答
Kotlin中的Map接口(使用V1.6.21)的签名为为什么K不变而不是协变(out K)？类型参数K的文档说明：
映射在其键类型中是不变的，因为它可以接受键作为参数(例如，containsKey )并以键集的形式返回它。但是，接口Set在元素类型中是协变的，所以最后一部分(“在键集中返回它”)是不适用的，至少不是立即
浏览 5提问于2022-06-06得票数 4
3回答
我有一个协变Scala类型的Thing[+B]。实现使用内部可变队列：AsyncQueue是一个自定义可变队列实现，具有特殊的属性，我很难在不变的版本中实现这些属性。所以我不能在我的协变类型Thing中使用它。
由于queue是私有的，所以我可以保证代码的正确性:例如，我不会尝试将queue分配给Queue[Any]类型的引用
浏览 7提问于2014-05-17得票数 3
回答已采纳
ICommand<TMessage> {}public interface ICommand<out TMessage> TMessage Messag
浏览 17提问于2016-07-22得票数 1
我读了这篇文章：0x400918 0x400820指向Child::FatherFoo()的非虚拟thunk
而不是直接指向方法Child
浏览 24提问于2018-02-27得票数 1
1回答
在Scala中，方差可以用泛型类型参数上的+和-之类的方差运算符来定义。例如，List类型在标准库中是协变的。class List[+A]def foo[A](list : List[A])def foo[A](list : List[_:< A])
当然，这是没有意义的，因为list已经是协变的
浏览 0提问于2010-09-08得票数 11
回答已采纳
2回答
这是我阅读的一篇关于scala中反方差和协方差的文章中的代码片段。但是，我无法理解scala编译器抛出的错误消息:协变类型A发生在值pet2类型A中的相反位置。class Pets[+A](val pet:A) {}
我对这个代码片段的理解是，Pets是协变的，并且接受A的子类型的对象。然而，函数add接受A类型</
浏览 4提问于2018-02-15得票数 11
回答已采纳
在中，我被告知可以修改IEnumerable<T>的成员。如何做到这一点?当协变类型可以修改时，会出现差异冲突，那么IEnumerable<T>如何在T上是协变的
浏览 10提问于2016-07-21得票数 0
我使用List.Contains来判断变量是否在列表中，但是它不断地返回它不是的时候。 } 以下是子类“Actividad_a”的定义：这是检查列表中是否有某些内容的代码问题是，无论数据是否在列表中，!user1.Ac
浏览 0提问于2012-04-16得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
