为什么 C# 不支持泛型的泛型（具有参数化类型的泛型）？

Question

最近（可能是设计缺陷），当需要拥有 MyType 集合（其中 T 不固定）时，我面临一项常规任务（即整个一个中的多个不同泛型实例化）收藏）。

由于它被广泛提议（对于这种情况），声明了一个抽象类：

public abstract class MyType {}
public class MyType<T>: MyType {}

然后我有一个 MyType 的集合。 然而，对于这个集合，我有一个限制，即任何类型 T 的元素都不能超过一个。

因此，我对 ICollection 进行了一些自定义实现。 我想包含一个方法 Get() 来获取与类型 TParam 相对应的项目。稍后使用如下：

MyCollection<MyType> collection = new MyCollection<MyType>();
MyType<int> myInt = collection.Get<int>();

然而，我意外地发现我什至无法声明它：

public TCustom<TParam> Get<TParam, TCustom<TParam>>() { } //this won't compile

因为内部泛型（或所谓的“泛型的泛型”）既不受 C# 支持，也不被 .NET 支持（我想）。您认为这些限制背后是否有任何具体原因（复杂性除外）？

更新1.询问编译器版本和编译器错误。

微软 C#、.NET 3.5 (Visual Studio 2010)。 错误：

错误CS0081：类型参数声明必须是标识符而不是 类型

错误 CS0246：类型或命名空间名称“TCustom”无法 找到（您是否缺少 using 指令或程序集引用？）

更新 2。询问我是否需要修复或解释原因。我真的很想知道为什么。但如果你对问题有好的解决方案，也欢迎。

更新3。这个问题可能已经在此博文。看来 CLR 团队承受着巨大的压力，要求不要使语言过于复杂。

Answer 1

在这种情况下，您可以简单地将数据隐藏在非通用字典中：

private Dictionary<Type, object> _Data;

然后使用 Get 方法：

public MyType<TParam> Get<TParam>()
{ 
    return (MyType<TParam>)_Data[typeof(TParam)];
}

如果 TParam 类型不相关，则没有通用数据无论如何，结构都会给你类型安全，那为什么还要尝试呢？

Answer 2

为什么你需要

public TCustom<TParam> Get<TParam, TCustom<TParam>>() { } 

当通用类型（在你的情况下为 MyType）已知时，你不能做

public MyType<TParam> Get<TParam>() { 
  return (MyType<TParam>)_items.FirstOrDefault(i => i is MyType<TParam>);
}

或者我错过了什么？