contravariance 相关问题

在编程语言的类型系统中,协方差和逆变是指从较窄到较宽的类型的排序以及它们在某些情况下的可互换性或等价性(例如参数,泛型和返回类型)

如何在打字稿中为带参数但不带任何参数的函数类型指定类型保护?

函数类型对于参数来说是逆变的,对于返回类型来说是协变的。在这种情况下,如何指定带有扩展容器类型的参数的通用函数类型而不使用任何类型? 类型

回答 1 投票 0

为什么 C# 4.0 的协变/逆变仅限于参数化接口和委托类型?

这是 CLR 的限制还是与现有代码存在兼容性问题? 这是否与 C# 4.0 中委托组合的混乱方差有关? 编辑: 是否可以...

回答 3 投票 0

为什么C#不允许参数类型逆变?

C#支持返回类型协变,但为什么不支持参数类型逆变。 想象一下这个例子: 抽象类动物 { 公共抽象无效PlayWith(玩具玩具); } 班级

回答 1 投票 0

.NET 4.0 通用不变式、协变式、逆变式

这是我面临的场景: 公共抽象类记录{} 公共抽象类 TableRecord : 记录 { } 公共抽象类 LookupTableRecord : TableRecord { } 公章密封...

回答 2 投票 0

泛型兼容性

我知道这通常可以追溯到方差,但我不确定如何解决下面显示的问题。 我想要一个通用传感器列表,并将特定传感器类型添加到列表中,但是这

回答 1 投票 0

具有通用处理程序和查询的 Mediatr

我正在使用 Mediatr 开发 ASP.NET Core 2.2 Web API 应用程序。 我有一个看起来像的处理程序 - 公共类 MyQueryHandler : IRequestHanlder, IQueryable<...

回答 6 投票 0

Rust 协变和逆变

我很好奇 Rust 是否像 C# 一样支持协变和逆变, 例如,在 C# 中,有委托 Func: 委托 TResult Func(T arg); 对象 F1(字符串 s) { 返回空值;...

回答 0 投票 0

如何在一个类中有一个参量以及一个函数来变换它?

我有一个非常简单的类:case class Foo[+T](t: T) 现在我想添加一个参数来将T转化为Int。由于特殊原因,我不想使用类型类、隐式或任何基于继承的 ...

回答 1 投票 0

通用类型中的C#协方差

对于这个简单的例子,我无法绕过C#协方差,下面是我如何定义我的模型: 接口IResponse { } 接口ICommand 其中 TResponse : IResponse { } 类 ...

回答 1 投票 0


回答 3 投票 103

我的变通量通用参数的解决方法是否必要?

我从一个简单的通用接口开始:interface IFooContext {TObject Value {get; }字符串DoSomething (Expression > ...

回答 1 投票 2

将接口传递给另一个接口方法

我需要在OOP中实现事件监听器模型。现在我有了EventInterface和ListenerInterface。但是我想将事件传递给侦听器,例如:interface ListenerInterface {public function ...

回答 1 投票 0

有没有一种方法可以键入TypeScript方法装饰器,以限制它可以装饰的方法类型?

我想编写一个TypeScript方法装饰器,该装饰器只能应用于具有某种类型的第一个参数的方法。这是我正在传递请求的代码库中的常见模式...

回答 2 投票 0

kotlin在树视图中正确使用协变量和协方差

Hello stackoverflow社区,我写了一个使用泛型类型的方法。我感到奇怪的是,这有点复杂。在互联网上,我发现了对数方差和...

回答 1 投票 0

协方差是否都是关于接受值?

协方差是否全部与接受值有关?我正在通过C#书中的CLR学习C#。我遇到了以下摘录:由于T是协变的,因此可能会有以下代码...

回答 1 投票 2

Convarivariance / Covariance-无法将类转换为接口

我有以下代码公共接口IInterface {}公共类GenericClass 其中TSomeClass:类{公共TSomeClass SomeMethod(TSomeClass someClass = null){...

回答 2 投票 0

为什么将Int => Int传递给采用AnyVal =>的函数,当Int扩展AnyVal时,Int导致类型不匹配?

我是scala的新手,我很难将func作为参数传递给另一个func。我试图传递的函数应该有一个参数,但我不知道它的类型(但它是一个...

回答 2 投票 0

Java中的矛盾和继承有什么区别?

我有一个父类A,它的子类B。这两个摘要之间有什么区别:public static void main(String [] args){ArrayList super A> e = new ArrayList&...

回答 1 投票 0

如何将泛型类用作具有约束类型方法的参数

我仍在尝试完全理解泛型,尤其是与基类一起使用时。我有一个通用的表类,它接受行类的派生类型,但是被限制为...

回答 1 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.