class Sample
{
public static T M<T, TParam1>(TParam1 param1)
{
return default(T);
}
}
class Program
{
static void Main(string[] args)
{
double d = Sample.M((int)121);
}
}
此代码无法编译并导致以下错误消息：
方法的类型参数 'ThreadPoolTest.Sample.M(TParam1)' 不能从 用法。尝试指定类型参数 明确的
为什么在这个例子中类型推断不起作用？
【问题讨论】：
标签： c# type-inference
类型推断只能使用参数来进行方法调用。就类型推断而言，您将结果分配给 double 的事实完全无关紧要。换句话说，就编译器而言，它需要弄清楚这意味着什么：
Sample.M((int) 121)
没有更多信息。例如，您可能指的是 Sample.M<int, int>、Sample.M<double, int> 或 Sample.M<string, int> - 没有任何信息，所以请说出哪一个更匹配。
你没有在参数列表中提到T，所以类型推断无济于事。
【讨论】：
乔恩的回答当然是正确的。考虑一下为什么 C# 在进行推理时不考虑“返回类型”是很有启发性的。这里的基本原则是类型信息从inside流向outside，而不是从outside流向inside。表达。
在您的特定情况下，预期的返回类型是什么是非常明显的，因为您正在分配明确为双精度的东西。但也有很多情况并不明显：
static R M<A, R>(A a) { return default(R); }
static void N(int x, double y) {}
static void N(double x, int y) {}
...
N(M(123), 456);
好的，现在呢？如果有关“分配给什么”的类型信息必须in 流入 M 上的类型推断，那么必须流入的类型信息是“它可以是 int 或 double”。
但是等等，这是正确的吗？我们可以在这里对可能的返回类型进行更多的逻辑推断。
如果它是 int，那么我们有 N(M<int, int>(123), 456) 并且重载决议 on N 将失败，因为该调用不明确；它可能是 N 的任何一个版本！
因此它不能是 int ，对吗？它必须是双倍的，因为这意味着调用是N(M<int, double>(123), 456)，这无疑是第二个重载。
现在想象一下，对于 Q(R(S(N(M(... ; 很难正确实现，用户也很难理解他们的程序做了什么，为什么会产生错误，以及如何修复它们。
简单地说表达式的类型分析必须根据其内容而不是其上下文来确定要容易得多。这就是我们所做的。您向编译器抛出的重载解决问题必须是可以解决的，而无需查看问题的上下文；我们只看参数列表的内容来解决问题，而参数列表中没有足够的信息。
现在，lambda 是个例外。 Lambda 参数类型是从它们的上下文中推断出来的，因此，您可以轻松地强制编译器为深度嵌套的 lambda 尝试数万亿种可能的类型分配，以解决重载解决问题。但是我们不想将分析 lambdas 的困难扩展到整个语言；我们希望将这些困难限制在需要它们的特定语言功能上。
【讨论】：
因为你没有指定返回类型。
这就是你想要的：
double d = Sample.M<double, int>((int)121);
【讨论】：
TParam1，文字121 也是int。