我有一个通用基类 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# 中有类似的内置解决方案,但也许我可以使用一种优雅的解决方法? (反射是一个明显的答案,但不是一个选项)
最佳答案
是的,在使用接口(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>());
关于c# - 是否有一种(优雅的)解决方案可以在方法中进一步约束泛型类型参数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/13816390/