IEnumerable 是如何实现的?逆变?

发布于 2024-09-08 15:08:15 字数 382 浏览 5 评论 0 原文

这篇文章(http://blogs.msdn.com/b/brada/archive/2005/01/18/355755.aspx) 表示 IEnumerable 是 Contra-变体。然而类型 T 是协变的,因为它是一个 out 参数。那么 IEnumerable 在什么情况下是逆变呢?

希望我没有感到困惑!感谢您提前的答复!

This post (http://blogs.msdn.com/b/brada/archive/2005/01/18/355755.aspx) says IEnumerable<T> is Contra-variant. However type T is co-variant because it is an out parameter. So in what context is IEnumerable<T> Contra-variant ??

Hope I am not confusing! Thanks for the answers in advance!

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(1

旧情勿念 2024-09-15 15:08:15

IEnumerable 不是逆变的。它是协变的。

来自 MSDN (IEnumerable< ;(<(T>)>) 接口) 我们有:

类型参数

输出T

要枚举的对象的类型。
此类型参数是协变的。也就是说,您可以使用以下类型
您指定的或任何更多的类型
导出。

从这篇帖子中我们得知:

基类库已更新以支持协方差和
各种常见的逆变
使用的接口。例如,
IEnumerable 现在是协变体
接口 – IEnumerable。

示例代码:

// Covariant parameters can be used as result types
interface IEnumerator<out T>
{
     T Current { get; }

     bool MoveNext();
}

// Covariant parameters can be used in covariant result types 
interface IEnumerable<out T>
{
     IEnumerator<T> GetEnumerator();
}

// Contravariant parameters can be used as argument types 
interface IComparer<in T>
{
     bool Compare(T x, T y); 
}

有关更多示例,请查看:

协变和逆变常见问题解答

C# 中的协变和逆变,第一部分(Eric Lippert 关于协变的精彩系列文章和逆变)

了解 C# 协方差和逆变(3)示例

IEnumerable isn't contra-variant. It's covariant.

From MSDN (IEnumerable<(Of <(T>)>) Interface) we have that:

Type Parameters

out T

The type of objects to enumerate.
This type parameter is covariant. That is, you can use either the type
you specified or any type that is more
derived.

From this post we have that:

The Base Class Library has been updated to support covariance and
contravariance in various commonly
used interfaces. For example,
IEnumerable is now a covariant
interface
– IEnumerable.

Sample code:

// Covariant parameters can be used as result types
interface IEnumerator<out T>
{
     T Current { get; }

     bool MoveNext();
}

// Covariant parameters can be used in covariant result types 
interface IEnumerable<out T>
{
     IEnumerator<T> GetEnumerator();
}

// Contravariant parameters can be used as argument types 
interface IComparer<in T>
{
     bool Compare(T x, T y); 
}

For more examples on this, take a look at:

Covariance and Contravariance FAQ

Covariance and Contravariance in C#, Part One (Great series of posts by Eric Lippert about Covariance And Contravariance)

Understanding C# Covariance And Contravariance (3) Samples

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文