假设C#中有这些泛型类型:
class Entity<KeyType>
{
public KeyType Id { get; private set; }
...
}
interface IRepository<KeyType, EntityType> where EntityType : Entity<KeyType>
{
EntityType Get(KeyType id);
...
}
Run Code Online (Sandbox Code Playgroud)
以及这些具体类型:
class Person : Entity<int> { ... }
interface IPersonRepository : IRepository<int, Person> { ... }
Run Code Online (Sandbox Code Playgroud)
现在的定义PersonRepository是多余的:该事实KeyType的Person就是int明确地规定,尽管可以从事实推导出Person是一个亚型Entity<int>.
能够IPersonRepository像这样定义会很高兴:
interface IPersonRepository : IRepository<Person> { ... }
Run Code Online (Sandbox Code Playgroud)
并让编译器弄清楚KeyType是的int.可能吗?
假设我有以下类结构:

的Page,StaticPage并且DynamicPage接口是由客户来实现.它们根据页面类型(静态或动态)提供各种数据,用于通过页面呈现页面Renderer.这些接口可能有很多实现.
该Renderer的render页面.此外,此接口可能有多个实现(针对不同的呈现技术).
这只是一个简单的外观,它应该根据给定的页面类型在提供的渲染器上调用相应的渲染方法.这就是谎言
如何Renderer根据提供的页面类型确定在对象上调用哪个方法?
目前我正在使用条件派遣:
void render(Page page, Renderer renderer) {
if (page is StaticPage) {
renderer.renderStaticPage(page);
} else if (page is DynamicPage) {
renderer.renderDynamicPage(page);
} else {
throw new Exception("page type not supported");
}
}
Run Code Online (Sandbox Code Playgroud)
这个解决方案的问题是每当我想添加另一个页面类型(即扩展Page界面)时,我也需要调整这个方法.实际上,这是应该使用面向对象语言中的多态(虚拟)方法,但在这种情况下,这不起作用(见下面的原因).
抽象类而不是接口.这将在实现者的类型层次结构上放置一个不必要的约束:它们将不再能够扩展他们想要的任何类,而是强制扩展抽象StaticPage或DynamicPage类,这很糟糕.
dispatch(Renderer render)向接口添加方法并强制实现者根据页面类型调用渲染器对象上的相应方法.这显然很糟糕,因为实现者不应该关心渲染:他们只需要提供要渲染的数据.
那么,也许有一些模式或一些替代设计可能有助于这种情况?欢迎任何想法.:)