Dart中num类的==运算符具体实现位置在哪里？

你在Dart层SDK源码中找不到数值类型==运算符的具体实现，是因为int、double属于Dart运行时内置的原生核心类型，它们的相等判断逻辑根本不是用纯Dart代码编写的。

• 你在SDK源码中看到的num、int、double类里的bool operator ==(Object other)只是供静态分析、类型检查使用的接口签名声明，不是实际执行的运行时逻辑。
• 所有数值类型的==判断规则，是直接内嵌在Dart虚拟机（VM）、或是AOT编译生成的原生二进制运行时中的：不管是开发阶段的JIT调试模式，还是安卓环境下运行的AOT编译产物，这部分逻辑都由底层原生代码实现，不会把具体方法体暴露在可查看的Dart层源码范围内，自然无法在公开的SDK源码中搜到具体实现。

Object类默认的==实现是基于identical的引用相等校验，但数值类型的==完全重写为值语义判断，逻辑和引用无关：

• 比较过程中不会关注两个值的静态类型是int还是double，也不会校验两个对象是否为内存中的同一实例，只会直接拆解两个值对应的实际数值，判断数值本身是否相等。
• 对应你运行的代码输出：
  • 1 == 1.0的判断过程是VM分别拆解出左侧int值的实际数值为1、右侧double值的实际数值为1.0，两者代表的数值完全一致，因此返回true
  • identical(1, 1.0)执行的是严格的内存实例校验：运行时int和double类型会在独立的内存区域分配对象，哪怕数值完全相同，也是两个独立的内存实例，因此返回false

• 核心数值类型的比较逻辑下沉到原生层实现，一是为了把高频的数值比较操作的执行效率拉到最高，二是可以避免用户随意重写数值相等逻辑，破坏核心类型的一致性边界。
• ==做值比较、identical做严格的内存引用校验，两者是完全独立的判断逻辑，不存在谁默认依赖谁的关系，不要把两者的判断规则混淆。

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