Flutter中const无状态Widget与普通const对象相等性比对差异

核心逻辑差异 #

普通Dart对象（未重写==）的相等判断 #

• Dart中所有类默认继承自Object，Object的==运算符默认实现为判断两个引用是否指向同一个内存实例，等价于identical(a, b)的返回结果。
• 被const修饰的编译时常量实例，Dart会在编译期执行常量规范化：只要const构造时传入的所有参数值完全相等，无论代码中编写多少次，都会复用同一个编译期生成的单例，因此identical判断会返回true，默认==自然返回true。
• 测试用的自定义Class1没有重写==运算符，完全走上述默认逻辑，因此两个const Class1(1, 10)是同一个实例，判断结果为true。

Flutter Widget（含无状态Widget）的相等判断 #

• 包括Text在内的所有Widget子类（StatelessWidget/StatefulWidget/RenderObjectWidget等），都重写了==运算符和hashCode方法，不再使用Object默认的「同实例判断」逻辑，改为逐字段对比两个实例的类型、Key、所有配置属性是否完全一致。
• 以Text为例，它的==判断需要对比data、style、strutStyle、textAlign、textDirection、locale、softWrap、overflow、textScaler、maxLines等十余个配置属性，只要任意一个属性值不相等，就会返回false。
• 测试中两个const Text("Hi")返回false，本质是重写后的逐字段对比逻辑判定存在属性差异：哪怕只显式传入了data参数，部分隐式属性（如调试模式下的热重载标记、不同版本框架中默认参数的实现差异、上下文继承的隐式配置）都可能导致对比不通过，和const实例本身是否被规范化复用没有直接关系。

常见误区 #

• 不要认为const修饰的Widget一定相等：const只是语法标记，保证实例在编译期创建、符合条件时会被规范化复用，但==的返回结果完全由类本身的运算符重写逻辑决定，和是否是const实例没有必然联系。
• Widget重写==的设计目的是服务于框架的Element树更新逻辑：框架在刷新界面时，会通过对比新旧Widget的==结果快速判断配置是否变化，决定是否需要重新构建对应的Element和RenderObject，并非为了判断实例是否为同一个常量。
• 如果给自定义类重写==运算符、自定义对比规则，哪怕是const构造的实例，也可能返回false。

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