随着问题的发展,我发布了第二个答案。这是一个示例类层次结构:
- 允许对许多模型类型使用相同的提供者
- 允许以一致的方式构建许多不同的提供者和模型
- 在编译时检查提供者/模型的兼容性
- 使用过程中不需要铸造
代码:
public interface IWhatever { }
public class Foo { }
public class Foo2 : Foo, IWhatever { }
public class Bar { }
public class Bar2 : Bar { }
public class Bar3 : Bar, IWhatever { }
public interface IModelProvider<T>
{
U Create<U>() where U : T;
}
public class FooProvider : IModelProvider<Foo>
{
public U Create<U>() where U : Foo
{
// create a proper "U" - for example Foo or Foo2
return Activator.CreateInstance<U>(); // simpliest
}
}
public class BarProvider : IModelProvider<Bar>
{
public U Create<U>() where U : Bar
{
// create a proper "U" - for example Bar, Bar2 or Bar3
// more verbose
if (typeof(U) == typeof(Bar)) return (U)new Bar();
if (typeof(U) == typeof(Bar2)) return (U)(object)new Bar2();
if (typeof(U) == typeof(Bar3)) return (U)(object)new Bar3();
throw new Exception();
}
}
public class WhateverProvider : IModelProvider<IWhatever>
{
public U Create<U>() where U : IWhatever, new()
{
// create a proper "U" - for example Foo2 or Bar3
return new U(); // really the simpliest
}
}
公共类 VeryGenericProvider : IModelProvider { public TModel Create() where TModel : new() { return new TModel(); } }
public class ProviderFactory
{
public static IModelProvider<T> Get<T>() where T : new()
{
// somehow choose a provider for T, dumb implementation just for example purposes
if (typeof(T) == typeof(Foo)) return (IModelProvider<T>)new FooProvider();
if (typeof(T) == typeof(Bar)) return (IModelProvider<T>)new BarProvider();
if (typeof(T) == typeof(IWhatever)) return (IModelProvider<T>)new WhateverProvider();
return VeryGenericProvider<T>();
}
}
public static class ProviderTest
{
public static void test()
{
Foo foo = ProviderFactory.Get<Foo>().Create<Foo>();
Foo2 foo2 = ProviderFactory.Get<Foo>().Create<Foo2>();
// Bar2 bar2 = ProviderFactory.Get<Foo>().Create<Bar2>(); - compile error
Bar2 bar2 = ProviderFactory.Get<Bar>().Create<Bar2>(); // - ok!
Bar3 bar3 = ProviderFactory.Get<IWhatever>().Create<Bar3>();
}
}
此代码编译,但我还没有运行它。请注意,“测试”中的最终用法确实执行类型检查并且不需要任何强制转换——但提供者的内部实现肯定需要强制转换一些东西——例如,请参阅手动构造对象的 BarProvider。即使“我们知道”确定 U 是 Bar2,也没有办法告诉语言将 U 的约束从 Bar 升级到 Bar2 - 因此需要双重转换。
我的意思是:
return (U)new Bar(); // is ok because U is constrained to 'Bar'
相对
return (U)new Bar2(); // will not compile, U:Bar is not related to Bar2:Bar
return (U)(object)new Bar2(); // is ok: temporary cast to object 'erases' type information