扩展泛型参数和 Func 实参泛型参数之间的关系

Question

所以我想我不太了解上述内容。就像假设你有一个像这样的可枚举类型的扩展......

public static TElement StringMatch<TElement, TData>(
        this IEnumerable<TElement> source,
        Func<TElement, TData> selector)

这里一切都很好，但我一直假设 StringMatch 泛型参数反映了 Func 泛型参数，因为 Func<> 是用户看来要传递的。

但是说我要指定Func<>的返回类型是一个具体的参数，可能像Func<TElement, string>

现在我的想法是像这样改变签名......

public static TElement StringMatch<TElement, string>(
            this IEnumerable<TElement> source,
            Func<TElement, string> selector)

...再次，镜像传递的 Func。但是，如果我尝试在 Books.StringMatch(b => b.Title) 之类的东西上调用它，我会收到类似的错误...

'Book' does not contain a definition for 'StringMatch' and no extension method 'StringMatch' accepting a first argument of type 'Book' could be found (are you missing a using directive or an assembly reference?) 

那么这里的交易是什么？扩展方法中的泛型参数究竟指定了什么？

Answer 1

一旦你拥有

public static TElement StringMatch<TElement, TData>(
    this IEnumerable<TElement> source,
    Func<TElement, TData> selector)

它涵盖了调用者传递Func 的情况，其中TData 是string。

如果您希望 TData 始终是特定类型 string，则只需将其作为方法中的正式泛型参数删除即可：

public static TElement StringMatch<TElement>(
    this IEnumerable<TElement> source,
    Func<TElement, string> selector)

当然，您可以同时实现这两者。编译器将选择最具体的一个。调用者也可以显式指定类型参数，只留下一个选择。