无法从用法中推断出开放的泛型类型参数

Question

在这个问题中，当提到编译器时，我实际上指的是 Roslyn 编译器。使用 IntelliSense 时出现问题，推测是同一个编译器。

出于演示目的和完整性，使用了以下类（使用带有 C# 6.0 和 .NET 4.6.1 的 Visual Studio 2015）：

public class A
{
    public IEnumerable<B> B { get; set; }
}
public class B
{
    public IEnumerable<C> C { get; set; }
}
public class C { }
public class Helper<T> { }

看下面的扩展方法：

public static void FooBar<T1, T2>(
    this Helper<IEnumerable<T1>> helper,
    Expression<Func<T1, IEnumerable<T2>>> expression) { ... }

编译器能够在这样消费时推断它：

Helper<IEnumerable<B>> helper = ...;
helper.FooBar(l => l.C); //T1 is B and T2 is C

还请看这个重载的扩展方法：

public static void FooBar<T1, T2, T3>(
    this Helper<T1> helper,
    Expression<Func<T1, IEnumerable<T2>>> expression1,
    Expression<Func<T2, IEnumerable<T3>>> expression2) { ... }

当这样输入T1时，编译器不能推断：

Helper<A> helper = ...;
helper.FooBar(l => l. //compiler/IntelliSense cannot infer that T1 is A

这个截图示例将描述更多我的意思无法推断：

当我将鼠标悬停在扩展方法上时，我也会收到此错误消息（我已将 < 和 > 字符分别替换为 [ 和 ]，因为 StackOverflow 不能格式化那些引用）：

无法推断方法 'FooBar[T1,T2](this Helper[IEnumerable[T1]], Expression[Func[T1, IEnumerable[T2]]])' 的类型参数 从用法上。尝试明确指定类型参数。

但是当像这样手动完成它时：

helper.FooBar(l => l.B, l => l.C); //compiler infers that T1 is A, T2 is B and T3 is C

编译器很高兴。

为什么编译器/IntelliSense（或 Visual Studio 的自动完成功能）无法识别 T1 并希望我在开始输入时明确指定类型参数？

请注意，如果我在示例中的所有位置都省略了 IEnumerable<>，编译器可以在键入时愉快地推断出所有内容。
手动输入l => l.B 后，编译器也很高兴。然后它知道T1 是A，因此您可以在IntelliSense 的帮助下表达最后一个参数。

Answer 1

我发现你的问题很有趣，因为我使用的是 VS 2015，我想我也可以尝试一下。我遇到了和你一样的错误，所以我想这可能是一个 VS 错误，因为在其他版本中它可以正常工作。

这是我的错误：

而且我在 CTRL + SPACE 上也得到 没有建议。

编辑：

可以看到类似的错误here。

所以，由于在旧版本的 VS 中这是可行的，所以这就是它可以被视为错误的原因。

Answer 2

正如我所说，我有 same problem.（而 here 是错误报告）
它与表达式或 IEnumerable 无关。
这是一个简化的例子

using System;

namespace ConsoleApplicationExpressionTree
{

    public static class Extentions
    {
        static void Main() { }
        static void AMethod(string[] args)
        {
            SetValue(new Customer(), e => e.Name   /*type here */, "TheName");

        }

        public static void SetValue<TEntity, TProperty>(TEntity instance, Func<TEntity, TProperty> expression, TProperty newValue)
        {

        }
    }
    public class Customer
    {
        public string Name { get; set; }
        public int Age { get; set; }
    }
}

我刚刚注意到，如果你从方法中删除第三个参数，它会起作用！！！

using System;

namespace ConsoleApplicationExpressionTree
{

    public static class Extentions
    {
        static void Main() { }
        static void AMethod(string[] args)
        {
            SetValue(new Customer(), e => e.Name   /*type here */);

        }

        public static void SetValue<TEntity, TProperty>(TEntity instance, Func<TEntity, TProperty> expression)
        {

        }
    }
    public class Customer
    {
        public string Name { get; set; }
        public int Age { get; set; }
    }
}

因此，如果您非常幸运，您可以通过调整参数来修复当前示例。
如果没有，你只需要等待MS修复它......

Answer 3

如果我的理解正确，那么 VS2013 中的一切对我来说都按预期工作：

你的第一个案例：

你的第二种情况：

我开始输入l.，IntelliSense 显示l 有一个可以使用的属性B。因此，如果我是对的并且它在 VS2013 中正确推断，而在 VS2015 中它不正确推断，那么这绝对是 VS2015 IntelliSense 中的错误，可以报告给 Microsoft。