F#中使用=运算符比较数组时调用的.NET函数是什么？

在.NET中，数组属于引用类型，因此两个包含相同元素的数组调用Equals方法比较时结果不相等；而F#的原生类型（比如List）默认采用结构比较，元素相同就判定相等——这是因为List来自F#库，数组则源自基础类库（BCL）：

[| 1 |].Equals [| 1 |] // 结果为 false

这是BCL定义的数组引用比较逻辑。但在F#中使用相等运算符=比较数组时，会执行结构比较，结果为true：

[| 1 |] = [| 1 |] // 结果为 true

想了解F#中数组的=运算符对应的调用函数在F# Core库源码中的位置，同时疑惑这是否是编译器内置功能？

核心结论 #

数组的=运算符逻辑是F#编译器的内置行为，并非F# Core库中可直接找到的普通函数。

细节说明 #

F#的相等运算符=会根据操作数类型选择不同的比较逻辑：

• 对于F#原生结构类型（如list、记录类型、联合类型），默认触发结构比较；
• 对于来自BCL的Array类型，编译器会做特殊处理：当使用=比较数组时，会自动转换为元素逐个对比的结构比较逻辑，而非沿用BCL的引用比较规则。

这种逻辑是在F#编译器（而非F# Core库）中实现的，所以你在Array模块的接口文件中找不到对应的函数定义。编译阶段，编译器会将数组的=表达式替换为结构比较的相关逻辑，完成元素层面的相等校验。

内容的提问来源于stack exchange，提问作者citykid