c# - 是否有一种(优雅的)解决方案可以在方法中进一步约束泛型类型参数？

Question

我有一个通用基类 Foo<T>来自哪些类(class)Bar<U>和 Bat<T>派生。 U源自 T . Bat 和 Bar 是相似的实现，仅在少数地方不同，其中类型为 U 的值必须以不同的方式处理。

在Foo , 我有一个工厂方法 Create接受类型为 T 的参数并且应该创建一个 Bar或 Bat目的。它看起来大致是这样的:

public static IFoo<T> Create(T input) {
  if (input.TypeIdentifier == Types.Bar) {// exemplary type check
    // input is of or derives from `U`
    // return a Bar<U>
  } else 
    return new Bat(input);
}

// usage:
U myU = new ClassThatDerivesFromU();
T myT = new ClassThatDerivesFromT(CouldBe.Of(Type.U));
var myFoo1 = Create(myU); // of type IFoo<U>
var myFoo2 = Create(myT); // of type IFoo<T>

自 T不是 U ，我无法实例化 Bar对象。

一个可能的解决方案是这样的:

public static U To<T, U>(T input) where U : T {
  return input as U;
}

// to create Bar:
new Bar(To<T, U>(input));

然而，这在我看来是个 hack，不能与结构一起使用(在这种情况下，U 由于继承而不能成为结构，但我有另一种情况，我想根据 if T 调用方法。例如 struct 或 class。

在 C++ 中，可以通过提供 Create 的多个重载来解决 (iirc) 这样的场景具有不同类型约束的方法，编译器将检查类型 T并选择正确的方法(使用 U 或 T 作为类型约束)。

我不知道 C# 中有类似的内置解决方案，但也许我可以使用一种优雅的解决方法？ (反射是一个明显的答案，但不是一个选项)

Answer 1

是的，在使用接口(interface)时允许泛型变化。您可以将 IFoo 中的泛型类型参数声明为协变或逆变(取决于用法)。如果你想使用更派生的类型，那么类型 T必须是逆变的，并且 IFoo 可以声明如下:

interface IFoo<in T> { ... }

看看this MSDN page有关 C# 中泛型和变体的更多信息。

更新

一旦你有条件 IFoo<U>是IFoo<T>如果U : T (例如，IFoo 的通用类型是逆变的)然后您可以在您的创建方法中自由安全地进行转换:

return (IFoo<T>)((object)new Bar<U>());