反映具有约束的泛型类型的所有可能排列

Question

给定一个带有约束的泛型类型：

class MyClass<T> where T: Alpha
{
}

以及该约束的实现：

class Alpha {}
class Bravo : Alpha {}
class Charlie : Alpha {}

如何在运行时获取所有组合的泛型类型？

// I want these types at run-time
MyClass<Alpha> 
MyClass<Bravo> 
MyClass<Charlie> 

编辑：根据@rich.okelly的回答，我认为真正的问题是：

如何找到在运行时实现泛型类型约束的所有类型？

因此，如果给我 typeof(MyClass<>)，我就会得到上面的类型。

Answer 1

例如：

var alphaType = typeof(Alpha);
var allTypes = AppDomain.CurrentDomain.GetAssemblies().SelectMany(a => a.GetTypes()).Where(t => alphaType.IsAssignableFrom(t));
var myClass = typeof(MyClass<>);
foreach (var type in allTypes) 
{
  var genericType = myClass.MakeGenericType(type);
}

或者，如果通用类型已经加载：

var allTypes = AppDomain.CurrentDomain.GetAssemblies().SelectMany(a => a.GetTypes()).Where(t => t.IsGenericType && t.GetGenericTypeDefinition() == typeof(MyClass<>));
foreach (var type in allTypes) 
{
  ...
}

更新

您可以使用GetGenericArguments() 方法 和 GetGenericParameterConstraints() 方法获取所需的类型。

var myType = typeof(MyClass<>);
var typeConstraints = myType.GetGenericArguments().First().GetGenericParameterConstraints();
var allTypes = AppDomain.CurrentDomain.GetAssemblies().SelectMany(a => a.GetTypes());
var genericTypes = allTypes.Where(t => typeConstraints.All(tc => tc.IsAssignableFrom(t))).Select(t => myType.MakeGenericType(t));
foreach (var type in genericTypes)
{
    ...
}

Answer 2

您可以枚举应用程序域中所有加载的程序集。然后枚举每个程序集中的所有类型并测试每个类型是否是 常量的子类。