在C#编程语言中，`foreach`语句是一种非常实用的结构，用于遍历各种集合类型，如数组、列表、字典等。它简化了循环遍历元素的过程，无需关心索引或迭代器的管理。下面我们将深入探讨如何在C#中使用`foreach`语句遍历集合类型，并通过一个具体的示例来展示其实现方式。
`foreach`语句的基本语法如下：
```csharp
foreach (Type variable in collection)
{
// 循环体
}
```
在这里，`Type`是集合中元素的数据类型，`variable`是循环过程中用于存储当前元素的变量，而`collection`是要遍历的集合。C#编译器会自动处理遍历过程中的细节，包括获取集合的枚举器（enumerator）以及调用其`MoveNext()`和`Current`属性。
为了使自定义类型能与`foreach`语句配合工作，需要实现`System.Collections.IEnumerable`接口。这个接口只有一个方法`GetEnumerator()`，返回实现了`System.Collections.IEnumerator`接口的对象。`IEnumerator`接口包含三个方法：`MoveNext()`、`Reset()`和`Current`属性。
在提供的示例代码中，我们有一个名为`Tokens`的类，它代表了一个由字符串组成的集合，这些字符串由特定字符分隔。`Tokens`类实现了`IEnumerable`接口，定义了自己的`TokenEnumerator`内部类来实现`IEnumerator`接口。
`Tokens`类的构造函数接收一个源字符串和分隔符数组，然后使用`Split()`方法将源字符串分割成元素数组`elements`。
`Tokens`类中的`GetEnumerator()`方法返回一个`TokenEnumerator`实例，这是`IEnumerable`接口要求的。同时，为了兼容泛型版本的`foreach`，还需要提供一个返回`IEnumerator`对象的版本，这就是为什么`Tokens`类需要两个版本的`GetEnumerator()`方法。
`TokenEnumerator`类实现了`IEnumerator`接口的所有方法和属性。`MoveNext()`方法负责移动到下一个元素，`Reset()`方法则将位置重置为初始状态。`Current`属性提供了当前元素的值，这里确保了类型安全，分别提供了非泛型和泛型版本。
在`Main`方法中，我们创建了一个`Tokens`对象`f`，并传入了一段字符串和分隔符。接着，使用`foreach`语句遍历`f`，打印出每个分隔后的字符串。这里的`item`就是循环变量，它的类型是`string`，因为`f`的元素类型是`string`。
总结起来，C#的`foreach`语句遍历集合类型的核心在于实现`IEnumerable`接口和相应的`IEnumerator`枚举器。通过这样的设计，我们可以轻松地遍历任何类型的集合，无论是内置的还是自定义的，从而提高了代码的可读性和可维护性。这个例子展示了如何从零开始创建一个支持`foreach`的自定义集合类型，这对于理解C#的迭代机制非常有帮助。
