简体繁体 English

对于更高类型的类型，C＃4.0中泛型类型参数的方差是否更接近？

[英]Is variance of for generic type parameters in C# 4.0 a step closer for higher kind types?

原文 2010-06-17 00:19:04 4 1 c#/ generics/ c#-4.0/ covariance/ higher-kinded-types

We know that implementing classes are still invariant, despite the fact that their interfaces are variant. 我们知道实现类仍然是不变的，尽管它们的接口是变体的。 However I am inquiring, is cov/contravariance a step closer to parametric polymorphism or these are two separate concepts? 然而，我在询问，cov / contravariance更接近参数多态还是这两个独立的概念？

1 个解决方案

Variance is related to subtyping, not really to kinds. 方差与子类型有关，而不是与种类有关。 That said, I think you might be able to use some subtyping tricks to get some of the benefits of higher kinds. 也就是说，我认为您可以使用一些子类型技巧来获得更高类型的一些好处。 I'm still stuck with C# 3 though, so I haven't experimented with this very much, but I certainly plan to. 我仍然坚持使用C＃3，所以我没有尝试过这个，但我当然打算这样做。

如何在 C# 4.0 中实现通用协方差和逆变？ - How is Generic Covariance & Contra-variance Implemented in C# 4.0?

为什么 C# 4.0 中的类没有通用差异？ - Why isn't there generic variance for classes in C# 4.0?

将继承的类型与C＃集合通用类型参数一起使用 - Using inherited types with C# collection generic type parameters

C＃3中具有接口继承（co（ntra） - 方差？）的通用类型推断 - Generic type inference with interface inheritance (co(ntra)-variance?) in C# 3

C＃中具有方差的通用方法？ - Generic method with variance in C#?

方法参数C＃中的有界泛型类型 - Bounded Generic Types in Method Parameters C#

帮助在C＃4.0中使用差异 - Help using variance in C# 4.0

C＃中带有类型参数的泛型类型 - Generic types with type parameter in C#

具有多种类型的 C# 泛型类型推断 - C# Generic Type Inference With Multiple Types

C＃泛型类型中的“当前类型”占位符？ - “Current Type” placeholder in C# generic types?

暂无

暂无

声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

相关问题 如何在 C# 4.0 中实现通用协方差和逆变？ - How is Generic Covariance & Contra-variance Implemented in C# 4.0? 为什么 C# 4.0 中的类没有通用差异？ - Why isn't there generic variance for classes in C# 4.0? 将继承的类型与C＃集合通用类型参数一起使用 - Using inherited types with C# collection generic type parameters C＃3中具有接口继承（co（ntra） - 方差？）的通用类型推断 - Generic type inference with interface inheritance (co(ntra)-variance?) in C# 3 C＃中具有方差的通用方法？ - Generic method with variance in C#? 方法参数C＃中的有界泛型类型 - Bounded Generic Types in Method Parameters C# 帮助在C＃4.0中使用差异 - Help using variance in C# 4.0 C＃中带有类型参数的泛型类型 - Generic types with type parameter in C# 具有多种类型的 C# 泛型类型推断 - C# Generic Type Inference With Multiple Types C＃泛型类型中的“当前类型”占位符？ - “Current Type” placeholder in C# generic types?

相关标签

粤ICP备18138465号 © 2020-2024 STACKOOM.COM