C# · 12月 27, 2021

为什么C#编译器不能为返回值推断类型参数?

我有这个代码(为了清楚起见,最小化): interface IEither<out TL,out TR> {}class Left<TL,TR> : IEither<TL,TR> { public Left(TL value) { }}static class Either { public static IEither<TL,TR> Left<TL,TR> (this TL left) { return new Left<TL,TR> (left); }}

为什么我不能说:

static class Foo{ public static IEither<string,int> Bar () { //return “Hello”.Left (); // Doesn’t compile return “Hello”.Left<string,int> (); // Compiles }}

我收到一个错误,指出’string’不包含’Left’的定义,并且没有扩展方法’Left’接受’string’类型的第一个参数可以被找到(你缺少using指令或程序集引用吗? (CS1061).

解决方法 我建议您看看C#规范中的7.5.2节.

7.5.2 Type inference

When a generic method is called without specifying type arguments,a
type inference process attempts to infer type arguments for the call.
The presence of type inference allows a more convenient Syntax to be
used for calling a generic method,and allows the programmer to avoid
specifying redundant type information.

[…]

Type inference occurs as part of the binding-time processing of a method invocation (§7.6.5.1) and takes place before the overload resolution step of the invocation […]

那么在任何类型的重载分辨率完成之前,分辨率就会发生,问题在于推断出你所说的类型甚至没有被尝试,而且坦白地说也不总是可能的.

通用类型的参数的类型解析只能通过调用中的参数完成!在你的例子中只有一个字符串!它不能从参数中推断出int,只能在通用类型解析时解析的调用上下文.