0

我目前尝试构建一个泛型接口，每个派生它的（泛型）类都有一个接受委托的方法，该委托接受类型参数并返回另一个相同类型的类，只有另一个类型参数。

我尝试了以下方法：

public interface GenericInterface<out T, out SomeDerived>
    where SomeDerived<T> : GenericInterface<T, SomeDerived>
{
    SomeDerived<NT> bind<NT>(bindee<T, NT, SomeDerived<NT>> bindFunc);
}

public delegate AnotherDerived<T2> bindee<in T1, out T2, out AnotherDerived>(T1 param)
    where AnotherDerived<T2> : GenericInterface<T2, AnotherDerived>;

public class Derived<T> : GenericInterface<T, Derived>
{
    Derived<NT> bind<NT>(bindee<T, NT, Derived<NT>> bindFunc);
}

但它无法编译，我得到这个错误：

类、结构或接口成员声明中的标记“<”无效

在这种情况下，正确的设计是什么？

编辑：

我了解编译器错误的语法原因。您不能将泛型类型实参应用于 where 子句中的形参。我在问什么是模仿这种行为的最佳方法。

4

1 回答 1

2

我会在这里冒险并说您在这里尝试使用 Generic 做的事情是不可能的；如果有人认为我错了，我会删除。

所以让我们从这个开始

interface IFoo<T> where T : IFoo<T>{}
class Foo<T> : IFoo<T> where T : IFoo<T>{}
class Bar<T> : Foo<T> where T : IFoo<T>{}

让我们尝试实例化这一点；

var foo = new Foo< Bar< ....errr what now? ad infinitum...

所以要解决这个问题，你需要重新设计，让你的类看起来更像这样：

interface IBase {}
interface IFoo<out T> where T : IBase { }
class Foo<T> : IFoo<T> where T : IBase { }

然后允许：

IFoo<IBase> foo = new Foo<Base>();

[附录]

您可以拥有功能级别的泛型，让您解决此类问题......

interface IFoo<out T> where T : IBase
{
    IFoo<TBind> Bind<TBind>(Action<T, TBind> bindFunc) where TBind : IBase;
}
于 2013-09-14T12:44:38.543 回答