代码之家 › 专栏 › 技术社区 › Jeroen

方法和约束的唯一性

generics c#

Jeroen · 技术社区 · 16 年前

public void AddConfig<T>(Config c)  where T : BaseTypeA
{
// do stuff
}

public void AddConfig<T>(Config c)  where T : BaseTypeB
{
// do stuff
}

我很乐意能做到这一点。但我认为这是不可能的。编译器忽略约束。为什么(我知道这是故意的)。

我认为我的两个选择是:

对吗?

2 回复 | 直到 16 年前

Matt Mitchell 16 年前

如果你的意思是在同一个类中,那么你是正确的(我不认为编译器检查以确保BaseTypeA和BaseTypeB不能相互转换,这是你需要检查以确保它们是唯一的方法,例如 where T : BaseTypeA && T !: BaseTypeB 如果你明白我的意思)。

 interface IConfigurable
 {
      void AddConfig(Config c)
 }

 public class BaseTypeA : IConfigurable

 public class BaseTypeB : IConfigurable

Eric Lippert 16 年前

约束不是签名的一部分。那是故意的。

如果你有兴趣从那些认为约束应该是签名的一部分的人那里读到上百条评论,请查看我的标题巧妙的博客文章的评论 Constraints Are Not Part Of The Signature.

推荐文章

Abdulkerim Awad · 带有泛型的Typescript函数重载无法按预期工作

1 年前

matt · 为什么在使用泛型参数时可以进行强制转换,而在指定了参数后则不能

1 年前

Moonlit · 在Golang中将`func()Foo`转换为`func)any`?

1 年前

Pavel Foltyn · 如何在C中生成逆字典#

1 年前

Danil · 无法访问通用下标

1 年前

Daniel · C#编译器在应该出错时失败

1 年前

Unlucky · Apollo服务器PubSub实现中的TypeScript泛型问题

1 年前

Oliver Schönrock · 将泛型函数指针强制转换为具有指向不同类型的void*params的特定签名是否定义良好

1 年前

Raz Luvaton · 如何在rust中使用结构泛型使用编译时已知大小为数组长度的类型

2 年前

Exifers · Record与泛型键扩展模板文字的交集不会推断索引访问的结果

2 年前