C# 泛型、duck typing、高效枚举

[geelaw]

最近写了一篇比较符合大众开发者口味的文章，讨论如何升级 .NET 里的 IEnumerable<T> 来实现更高效的、进行枚举的泛型方法。

缘起这篇 StackOverflow 问题，博客文章是 这里。

文章介绍了背景知识——C# 的显式接口实现、foreach 的 duck typing 、泛型约束，引出一个自然的问题（也就是 StackOverflow 上的）：在知道 IEnumerable<T> 更具体的静态类型 TEnumerable 的约束泛型方法里 foreach 可以利用到 TEnumerable 里面的枚举器吗？

答案是不行，因为泛型方法不是 C++ 模板，它总是选择 IEnumerable<T> 的枚举器，即使 TEnumerable 隐藏了 IEnumerable<T> 且有另一个可见的枚举方法。泛型方法的实例化 != 把类型代入后复制方法体得到的非泛型方法。

解法也很简单，只要告诉编译器这个 TEnumerable 返回的枚举器的具体类型就可以了。文章提出了把 IEnumerable<T> 以一种向后兼容的方式升级 的方法，类似于从 IEnumerable 升级到 IEnumerable<T>。

[good1uck]

曲高和寡