扩展方法和类型约束

Question

我开始使用扩展方法，遇到了这个问题： 在下一个场景中，我得到一个：

“扩展方法具有永远无法满足的类型约束”

Public Interface IKeyedObject(Of TKey As IEquatable(Of TKey))
    ReadOnly Property InstanceKey() As TKey 
End Interface

<Extension()> _
Public Function ToDictionary(Of TKey As IEquatable(Of TKey), tValue As IKeyedObject(Of TKey))(ByVal l As IEnumerable(Of tValue)) As IDictionary(Of TKey, tValue)
     'code
End Function

但是，如果我用 IKeyedObject(Of Integer) 替换 IKeyedObject(Of k) ，它就可以工作，

  <Extension()> _
    Public Function ToDictionary(Of TKey As IEquatable(Of TKey), tValue As IKeyedObject(Of TKey))(ByVal l As IEnumerable(Of tValue)) As IDictionary(Of TKey, tValue)
        'code
    End Function

我错过了什么吗？有什么办法我可以在这里做我想做的事吗？

提前致谢

Answer 1

扩展方法“”具有永远无法满足的类型约束。

我已阅读以下有关此错误的内容 MSDN：

由于该方法是扩展方法，编译器必须能够仅根据方法声明中的第一个参数来确定该方法扩展的数据类型 [.. .]

在您的情况下，编译器必须能够从参数 l 推断出 TKey 和 TValue，这是不可能的。因此编译器会发出警告。

---

哪一种是有道理的。毕竟，想象一下您将如何调用扩展方法：

Dim values As IEnumerable(Of TValue) = ...

Dim dictionary As IDictionary(Of ?, TValue) = values.ToDictionary()
'                                ^                                            '
'                                where does the compiler get this type from?  '

诚然，编译器可以通过让您显式声明另一个类型参数来推断它，就像 values.ToDictionary(Of TKey)() ，但显然它不允许这样做。