泛型类型约束问题：如何使泛型类Bar的泛型参数T为任意派生自泛型抽象类Foo的类型

你遇到的CS0305错误，核心问题是Foo<T>是泛型抽象类，直接写where T : Foo会被编译器当作你要引用非泛型的Foo类，但实际上并不存在这样的类型——你需要的是约束T为任意派生自Foo<X>的类型（X可以是任何类型）。

这里有两种主流解决方案，根据你的场景选择：

方案1：使用C# 7.3+的开放构造类型约束 #

这是最直接的方案，不需要修改原有的Foo<T>定义，利用C# 7.3引入的开放构造类型约束特性，直接指定T必须是Foo<>的派生类（这里的Foo<>表示任意构造后的Foo泛型类型）：

abstract class Foo<T> { }
// 使用开放构造类型 Foo<> 作为约束
class Bar<T> where T : Foo<> { }

验证示例 #

你可以创建任意Foo<>的派生类，都能合法作为Bar的泛型参数：

// 派生自Foo<int>
class IntFoo : Foo<int> { }
// 派生自Foo<string>
class StringFoo : Foo<string> { }

// 以下代码均可正常编译
var bar1 = new Bar<IntFoo>();
var bar2 = new Bar<StringFoo>();

方案2：给Foo添加非泛型基类（兼容旧版C#） #

如果你的项目使用C# 7.3之前的版本，开放构造类型约束不被支持，可以给Foo<T>添加一个非泛型的抽象基类，然后约束T继承自这个非泛型基类：

// 新增非泛型抽象基类
abstract class Foo { }
// 让泛型Foo<T>继承自非泛型Foo
abstract class Foo<T> : Foo { }
// 约束T继承自非泛型Foo
class Bar<T> where T : Foo { }

这种方案需要修改原有的Foo<T>定义，但兼容性更好，适合低版本C#环境。

内容的提问来源于stack exchange，提问作者just-a-hriday