自泛型类型

Question

我建立了下面的类：

abstract class Foo 
{ 
    protected abstract void Process(FooProcessor<T> processor) 
} 

我需要的是让T是孩子Foo类的类型：

class FooChild : Foo 
{ 
    protected override void Process(FooProcessor<FooChild> processor) 
    { 
    } 
} 

它是可以实现的？如果是这样，怎么样？

Answer 1

有点像自我约束可以让你暴露派生类型也限制在同一时间：

abstract class Foo<T> where T : Foo<T> 
{ 
    protected abstract void Process(FooProcessor<T> processor); 
} 

然后派生类型定义自己的目标：

class FooChild : Foo<FooChild> 
{ 
    protected override void Process(FooProcessor<FooChild> processor) 
    { 
    } 
} 

请注意尽管这种设计往往只有一小部分用途。此外，您将失去将Foo作为基础而不指定其通用类型的能力。

还有一个blog post from Eric Lippert关于如何滥用这个设计，所以你可能想要考虑你想要让你的受保护的方法直接引用派生类，你实际上试图达到的是什么。

您可能会更好地使用接口来封装您试图实现的行为。

Answer 2

你的意思是这样的：

class FooProcessor<T> 
{ 
} 

abstract class Foo<T> 
{ 
    protected abstract void Process(FooProcessor<T> processor); 
} 

class FooChild : Foo<FooChild> 
{ 
    protected override void Process(FooProcessor<FooChild> processor) 
    { 
    } 
} 

这将是更容易使用的界面来实现：

interface FooProcessor<T> 
{ 
} 

interface Foo<T> 
{ 
    void Process(FooProcessor<T> processor); 
} 

class FooChild : Foo<FooChild> 
{ 
    void Foo<FooChild>.Process(FooProcessor<FooChild> processor) 
    { 
     this.Process((FooProcessorFooChild)processor); 
    } 

    protected void Process(FooProcessorFooChild processor) 
    { 
    } 
} 

class FooProcessorFooChild : FooProcessor<FooChild> 
{ 
}