.net - F# 编译器是否以与 C# 编译器相同的方式支持 foreach 优化

Question

This is a detailed answer关于 C# 编译器如何优化 foreach在 IEnumerator<T> 的情况下是一个可变结构。

F# 编译器是否执行相同的优化？

Answer 1

AFAICT 似乎 F# 以与 C# 类似的方式处理值类型枚举器:

这是一个来自简单 C# 程序的 IL 代码的反汇编片段，该程序在 IEnumerable<T> 上使用 foreach

.locals init (
    [0] valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<int32>,
    [1] int32 v
)
IL_0025: ldloca.s 0
IL_0027: call instance bool valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<int32>::MoveNext()

请注意 local 0是一个值类型，它使用 ldloca.s加载结构的地址。

与 F# 进行比较

.locals init (
    [0] class [mscorlib]System.Collections.Generic.List`1<int32> ra,
    [1] valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<int32>
)
IL_000e: ldloca.s 1
IL_0010: call instance bool valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<int32>::MoveNext()

此代码还使用 valuetype 来声明 local 1和 ldloca.s加载结构的地址。

附带说明:后来的 F# 版本确实做了 C# 没有做的优化。因为它是 F# 中的一种常见模式来迭代 F# 列表，这些列表是不可变的数据结构，所以使用枚举器进行迭代是无效的。所以 F# 有一个列表的特殊情况，并在这种情况下应用更有效的算法。在 C# 中，迭代 F# 列表将回退到枚举器。

可以对 IList 实现特殊处理。类型也是如此，但因为可能有人已经实现了 IList以一种“有趣”的方式实现这样的优化是一个潜在的破坏性变化。