.NET 4.0 中方法重载和协变的重大变化

Question

从 .NET 3.5 迁移到 4.0 后，我遇到了一个奇怪的问题，一个函数导致 4.0 上的堆栈溢出，而在 3.5 框架上完美工作。我使用以下代码重现了该问题：

public interface IPerson
{
    string Name { get; }
}

public class Person : IPerson
{
    public Person() { }

    public Person(IPerson source)
    {
        this.Name = source.Name;
    }

    public string Name { get; set; }
}

public class PersonList : List<Person>
{
    public void AddRange(IEnumerable<IPerson> source)
    {
        this.AddRange(source.Select(p => new Person(p)));
    }               
}

引发错误：

  IPerson otto = new Person { Name = "Otto" };
  IPerson fritz = new Person { Name = "Fritz" };

  PersonList list = new PersonList();

  IEnumerable<IPerson> persons = new[] { otto, fritz };
  list.AddRange(persons); //works on 3.5, stack overflow on 4.0

查看 PersonList 的 AddRange(IEnumerablesource) 方法。 在 3.5 中，调用从 List 派生的方法 AddRange(IEnumerablesource)。在 4.0 中，尽管事实上带有参数的更好匹配函数 (IEnumerableI< /code>) 存在与输入参数完全匹配的情况。

这种新行为是有意为之并记录在案的吗？

Answer 1

这是正确的 C# 行为，因为在 C# 中，如果更多派生类上的任何方法都是适用的候选者，它自动优于派生较少的类上的任何方法，即使派生较少的方法具有更好的签名匹配。 因此，C# 4 制作了 AddRange(IEnumerablesource) 一个适用的候选者，然后更好的签名 AddRange(IEnumerablesource) 位于基类中，因此不会被选中。

但由于规则的原因，它很容易在您的情况下修复。

public class PersonList  : List<Person>
{
    public void AddRange(IEnumerable<IPerson> source)
    {
           base.AddRange(source.Select(p => new Person(p)));
    }    
}