代码之家 › 专栏 › 技术社区 › Tamas Czinege

C语言中非泛型接口泛型成员实现的类型约束#

generics interface c#

Tamas Czinege · 技术社区 · 14 年前

假设我有这样一个界面:

interface IAwesome
{
    T DoSomething<T>();
}

有没有办法用类型约束实现DoSomething方法?显然,这是行不通的:

class IncrediblyAwesome<T> : IAwesome where T : PonyFactoryFactoryFacade
{
    public T DoSomething()
    {
        throw new NotImplementedException();
    }
}

编辑 :正在讨论的接口是 System.Linq.IQueryProvider 所以我不能修改接口本身。

3 回复 | 直到 14 年前

Lucero 14 年前

不,这不是故意的,因为这意味着 IAwesome 不会(完全)满意。

IncrediblyAwesome<T> 工具 壮丽 ,可以这样做:

IAwesome x = new IncrediblyAwesome<Something>()

显然,由于您的附加约束,这无法工作,因为 壮丽 不知道对它的限制。

在您的情况下,我能想到的唯一解决方案是(执行运行时检查):

interface IAwesome { // assuming the same interface as in your sample
    T DoSomething<T>();
}

class IncrediblyAwesome<TPony> : IAwesome where TPony : PonyFactoryFactoryFacade {
    IAwesome.DoSomething<TAnything>() {
        return (TAnything)((object)DoSomething()); // or another conversion, maybe using the Convert class
    }

    public TPony DoSomething() {
        throw new NotImplementedException();
    }
}

Yvo 14 年前

像这样的事情不会起作用吗?

interface IAwesome<U>
{
    T DoSomething<T>() where T : U
}

class IncrediblyAwesome<T> : IAwesome<PonyFactoryFactoryFacade>
{
    public T DoSomething()
    {
        throw new NotImplementedException();
    }
}

MartinStettner 14 年前

此外,您的示例在另一方面违反了合同:一个 IncrediblyAwesome PonyFactoryFactoryFacade (顺便说一句,我会 真正地 对本课程的目的感兴趣:-))。因此,具体实施 DoSomething 不是接口中指定的泛型方法,但始终返回一个单一类型。你不能写:

IAwesome a = new IncrediblyAwesome<SomePonyFacadeFactory1>();
SomePonyFacadeFactory2 facade2 = a.DoSomething<SomePonyFacadeFactory2>();

即使两个门面工厂都从 PonyFactoryFacade ...

另一个评论:我会远离黑魔法铸造,因为这些问题是你的设计固有的,而不仅仅是C#的缺点。。。

推荐文章

Glory Raj · 有什么方法可以使这两个块具有共同的功能吗

2 年前

username128437855 · 在泛型类中使用非泛型方法是否有任何问题?

2 年前

milczi · Swift通用无强制展开向下投射

6 年前

NSjonas · 接受函数并返回包含参数子集的函数的Typescript函数

6 年前

Richard Sand · Java工厂使用泛型和供应商接口,但仍然需要类型转换,有些地方不太正确

6 年前

Stephen Kennedy annamataws · 为什么受“Enum”约束的泛型类型在C#7.3中不能限定为“struct”?

6 年前

bugs · Typescript-泛型类型扩展自身

6 年前

John Bustos · C#通用工厂模式,不说明通用工厂模式的类型

6 年前

Blankdud · 具有默认数据的通用对象创建方法

6 年前

Tim Hutchison · 从泛型对象列表中读取泛型值

6 年前