C# 泛型约束：无法从用法推断类型 [重复]

Question

可能重复：
No type inference with generic extension method

我有一个带有约束的通用函数，它返回集合中的第一个对象：

static T first<T, L>(L list) 
where L : ICollection<T>            
where T : SomeType
{
        T r = default(T);
        if (list != null && list.Count>0)
        {
            if (list.Count == 1)
            {
                r = list.First();
            }
            else
            {
                //throw some exception ...
            }
        }
        return r;
 }

但是当我对集合使用它时，代码将无法编译并给我一个“无法从使用中推断出类型”错误：

ICollection<SomeType> list = funcReturnCollectionOfSomeType();
SomeType o = first(list);

不知道为什么，有人可以帮忙吗？谢谢。

Answer 1

它不能从类型 L 向后推断类型 T。使用单个泛型参数：

static T first<T>(ICollection<T> list) 
where T : SomeType
{
  ...