c# - 为什么编译器无法推断自定义集合的循环变量类型？

Question

有时编译器无法推断变量类型。例如，如果我定义一个 string 列表，如下所示:

或者字符串数组List:

显然编译器会推断项目的类型。但是如果我这样做:

 public class Foo 
    : IEnumerable
{
    List<string> _fooRecords = new List<string>();

    public IEnumerator GetEnumerator()
    {
        return _fooRecords.GetEnumerator();
    }
}

或者这个:

public class Foo 
    : IEnumerable
{
    List<string> _fooRecords = new List<string>();

    public IEnumerator GetEnumerator()
    {
        foreach (var item in _fooRecords)
        {
            yield return item;
        }
    }
}

编译器无法推断变量类型:

然后我想也许我需要实现 IEnumerator 接口(interface)，我做了这样的事情:

public class FooEnumerator : IEnumerator
{
    private List<string> recordsList;
    private int index;
    private string current;
    public FooEnumerator(List<string> list)
    {
        recordsList = list;
    }

    public object Current
    {
        get { return current; }
    }

    public bool MoveNext()
    {
        if (index != recordsList.Count - 1)
        {
            current = recordsList[index];
            index++; 
            return true;
        }
        return false;
    }

    public void Reset()
    {
        index = 0;
    }
}

像这样使用它(在 Foo 类中):

public IEnumerator GetEnumerator()
{
     return new FooEnumerator(_fooRecords);
}

但是什么都没有改变。现在我想知道为什么编译器不能为自定义类型推断循环变量类型？当然Foo类只是一个例子，.NET Framework中有很多自定义集合。例如Form类的ControlCollection:

当我循环遍历 Form 控件时，我不能这样做:

foreach (var item in this.Controls)
{
     item.Name = "bla bla bla.."; //error
}

我需要指定类型或者我需要使用OfType扩展方法:

foreach (Control item in this.Controls)
{
     item.Name = "bla bla bla.."; // OK!
}

foreach (var item in this.Controls.OfType<Control>())
{
     item.Name = "bla bla bla.."; // OK!
}

现在我只是想知道真正的原因是什么，编译器不够聪明？或者在循环执行之前无法确定返回类型？

Answer 1

A non-generic enumerator可以返回任何对象(Current 字段的类型是对象)，所以编译器无法推断任何东西。在 generic enumerator类型 T，推断元素类型 T。幸运的是，foreach 构造支持指定类型并且不进行任何编译时验证，因此可以轻松处理非泛型枚举数。