[英]How to implement a generic parameter that isn't generic
我有一个带有两个通用参数的接口,但其中一个参数应该由类实现提供。
public interface IA<T, U> { ... }
public class X<T> : IA<T, int> { ... }
public class Y<T> : IA<T, MyClass> { ... }
但是,另一个接口有一个方法,它将IA
一个实例作为参数 - 但是,每个实例必须是相同的(同一个类可以采用多个X
,但是它永远不会采用Y
,反之亦然)。 我试图把它作为一个通用的约束,但后来我有类似的东西
public interface IB<T, U, V> where U : IA<T, V> {
void MyMethod(U value);
}
public class Z<T> : IB<T, X<T>, int> { ... }
当然,我不想写那个参数V
,因为我不能为它选择一个值。 参数U
已经决定了V的值应该是多少! 但是,我不能简单地删除V
,因为那时我无法写入约束。
另一种解决方案是不使用约束:
public interface IB<T> {
void MyMethod(IA<T> value);
}
但是这样,我无法确保IB
的实现只会收到一个IA
实现(即它将能够同时接收X
和Y
,而且它不应该)。
有没有办法避免在接口IB
(在第一个解决方案中)中创建通用参数V
,同时仍然相互排除IA
的实现? 是否有任何特定原因编译器无法推断V
的类型并允许我只写class Z<T> : IB<T, X<T>>
或者这种情况只是在语言规范中没有预期/是选择不实施?
您已经有足够的泛型类型来限制IB<T,U>.MyMethod()
接收X
和Y
您只需将方法参数定义为接受特定类型即可。
public interface IA<T,U> {}
public class X<T> : IA<T,int> {}
public class Y<T> : IA<T,string> {}
public interface IB<T,U>
{
void MyMethod(IA<T,U> value);
}
IB<int,int> foo;
X<int> a;
Y<int> b;
foo.MyMethod(a); // will compile
foo.MyMethod(b); // will not compile
有没有办法避免在接口IB(在第一个解决方案中)中创建通用参数V,同时仍然相互排除IA的实现? 是否有任何特定的原因编译器无法推断V的类型并允许我只编写类Z:IB>或者这种情况只是在语言规范中没有预期/被选择不实现?
我不认为这是推理如何在C#中起作用。 为了推断U
的类型, MyMethod
会像这样写。
public interface IB<T>
{
void MyMethod<U>(IA<T,U> value);
}
IB<int> foo = null;
X<int> a;
foo.MyMethod(a); // int type is inferred by compiler
您仍然必须在IB
界面中使用IA<T,U>
。 我不认为有一个简单的方法。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.