编写具有多个类型的泛型扩展方法时的类型推断问题

Question

我正在为 IEnumerable 编写一个通用扩展方法，用于将一个对象列表映射到另一个映射对象列表。这就是我希望该方法起作用的方式：

IList<Article> articles = GetArticles();
return articles.Map<ArticleViewModel>(_mappingEngine);

这是方法：

public static IEnumerable<T2> Map<T1, T2>(this IEnumerable<T1> list, IMappingEngine engine)
{
    return list.Select(engine.Map<T1, T2>);
}

但是articles.Map<ArticleViewModel>(_mappingEngine); 给出了编译错误。 问题是 T1 的类型推断不起作用。我必须明确地这样称呼它：

articles.Map<Article, ArticleViewModel>(_mappingEngine);

如果我创建一个只有一个参数 T1 的扩展方法，如下所示：

public static IEnumerable<T1> DummyMap<T1>(this IEnumerable<T1> list, IMappingEngine engine)
{
    return list;
}

那我可以这样调用，不用指定T1：

articles.DummyMap(_mappingEngine);

是否有原因导致编译器无法在 Map 的扩展方法中推断 T1 的类型？

Answer 1

问题是 T1 的类型推断不起作用

实际上，问题不是 T1 而是 T2；此推理中不使用返回类型。所以你不能那样做。一种选择可能是流畅的 API，例如：

return articles.Map(_mappingEngine).To<SomeT2>();

类似：

public static MapProjection<T1> Map<T1>(this IEnumerable<T1> list, IMappingEngine engine)
{
    return new MapProjection<T1>(list, engine);
}
public class MapProjection<T1>
{
    private readonly IEnumerable<T1> list;
    private readonly IMappingEngine engine;
    internal MapProjection( IEnumerable<T1> list, IMappingEngine engine)
    {this.list = list; this.engine = engine;}

    public IEnumerable<T2> To<T2>()
    {
        return list.Select(engine.Map<T1, T2>());
    }
}

假设界面是这样的：

public interface IMappingEngine {
    Func<T1, T2> Map<T1, T2>();
}

Answer 2

我相信您希望 C# 编译器推断 T1 的类型，即使您提供 T2 而不提供 T1。

关键是您可以使用类型推断，或者干脆不使用它。你不能混合两个世界：

    public void M<T, S>(T t, S s)
    {
    }

    M<string>("hello", "world!")

这段代码不能编译，但是：

    public void M<T, S>(T t, S s)
    {
    }

    M("hello", "world!")

..编译。