Question

为什么以下内容无法推断R：

static R Foo<R>(Func<Action<R>, R> call) { ... }

虽然几乎是'相同'，但是有效：

static R Foo<R>(Func<Action, R> call) { ... }

用法：

var i = Foo(ec => -1);

第一个样本'必须'被编译的方式：

var i = Foo<int>(ec => -1);

- 或 -

var i = Foo((Action<int> ec) => -1);

思考：从第二个片段中可以看出，R已经由'lambda'的返回类型决定。为什么不能同样适用于第一个？即使使用ec（应该是另一个编译器提示），它也无法推断。

Answer 1

我认为问题不在于编译器如果没有为函数R推断CallWithEscapeContinuation，那就是它无法推断lambda的类型：

ec =>
{
  Enumerable.Range(0, 100).Select(x =>
  {
              // Called here, the compiler has no idea what signature to expect for `ec`
              // Could be Action<Int>, could be Action<Decimal> (for example).
    if (x == 40) ec(x);
    return x;
  }).ToList();
  return -1;
}

当您提供int提示时，它可以推断出lambda的类型和CallWithEscapeContinuation的签名。

如果您只有Action（而不是Action<R>），则上述内容无关紧要，因为没有影响lambda可能签名的类型参数。

类型推断神秘失败

1 个答案: