我有以下代码：
IEnumerable<IList<MyClass>> myData = //...getMyData
foreach (MyClass o in myData)
{
// do something
}
因为IList<MyClass>是一个接口，理论上你可以有一个实现该接口的类，并且派生自MyClass。
如果你将它更改为IEnumerable<List<MyClass>>，它将无法编译。
无论如何，至少我会收到可疑转换的警告，因为解决方案中没有从IList<MyClass>和MyClass两者继承的类。
foreach 在编译时遵循的是一种模式，而不是特定类型（就像 LINQ 和 await 一样）。
foreach 不是在寻找一个 IEnumerable 或 IEnumerable<T> 类型，而是在寻找一个具有 GetEnumerator() 方法的类型（IList<T> 就有这个方法）。而外部列表中的对象可以是派生自 MyClass 并实现 IList<T> 的类型。
也就是说，编译器只进行了轻量级的“匹配模式”检查，而不是完整的检查。
请参阅 C#5 语言规范的 §8.8.3 章节，其中详细讨论了这个问题（你会看到我上面简化了一些东西：甚至连 IEnumerator 都没有被检查，只要有一个 MoveNext() 方法和一个 Current 属性即可）。
IList<MyClass>可以转换为MyClass。
但如果您使用非空的可枚举对象运行它，
IEnumerable<IList<MyClass>> myData = new IList<MyClass>[1] { new List<MyClass>() {new MyClass()}};
您会收到以下错误：
无法将类型为'System.Collections.Generic.List`1[MyClass]'的对象强制转换为类型'MyClass'。
这符合规范：
第8.8.4节 foreach语句
... 如果T（元素类型）与V（foreach语句中的本地变量类型）之间没有显式转换（§6.2），则会产生错误，并且不会采取进一步步骤。
...
IList<MyClass>和MyClass之间存在显式转换（虽然在运行时会失败），因此不会产生错误。
第6.2.4节 显式引用转换
显式引用转换包括：
- 从object和dynamic到任何其他引用类型。
- 从任何类类型S到任何类类型T，条件是S是T的基类。
- 从任何类类型S到任何接口类型T，条件是S未密封并且S未实现T。
- 从任何接口类型S到任何类类型T，条件是T未密封或T实现了S。
...
从任何接口类型 S 到任何类类型 T，前提是 T 不是密封的或者 T 实现了 S。 MyClass 没有被密封。因此，您可以从任何接口转换为 MyClass。 - Sweeper假设 MyClass 没有实现 IList<MyClass>，那么可能会有一个派生类型的 MyClass 实现了 IList<MyClass>，那么您的循环将是有效的。
也就是说，
class MyClass
{
}
class Derived : MyClass, IList<MyClass>
{
// ...
}
// ...
// Here IList<MyClass> is Derived, which is valid because Derived implements IList<MyClass>
IEnumerable<IList<MyClass>> myData = new []{new Derived()};
// Here MyClass is Derived, which is valid because Derived inherits from MyClass
foreach (MyClass o in myData)
{
// do something
}
MyClass并实现了IList<MyClass>。编译器不会检查您分配了什么，它只检查左侧声明的类型。如果您分配了new List<MyClassChild>()并且MyClassChild是一个子类并实现了IList<MyClass>，那么该代码将完全有效。 - Tim Schmelterforeach之外，仍然需要进行向下转换。也就是说，写成MyClass foo = myData.GetEnumerator().Current;是不合法的 - 它需要显式转换为MyClass。向下转换通常不是隐式的。因此，问题仍然是为什么foreach会自动插入这样的转换。我猜想答案是为了让用户在泛型出现之前能够编写foreach (MyType x in myUntypedList)。 - sepp2kforeach总是有一个内置的显式转换，它们可以枚举List<Object>并将其转换为您在循环变量类型中指定的任何内容。这将在运行时失败。当然，原因是foreach比泛型早得多。 - Tim Schmelter