Dart中const构造函数能否设置为默认构造函数？

问题1：既然Lint规则会提示使用const，为什么const无法被自动推断？ #

首先要明确：const从来不是单纯的性能优化标记，它是强语义的语法关键字，直接决定了值的求值时机、可变性和实例复用规则，编译器不能替开发者做这个语义决策，核心原因有三个：

• 存在语义歧义风险：非const上下文中的字面量、构造调用，默认语义是创建运行时的普通实例（可变/普通不可变都有可能）。比如你写var list = [1, 2];，如果编译器自动把它推断成const，后续你调用list.add(3)就会直接抛出不可修改的运行时错误，但你写这段代码的初衷本来就是要一个后续可以动态修改的普通列表，自动加const会直接破坏代码逻辑。
• const的传播性有强约束：const上下文会强制要求所有嵌套的子表达式都是编译时常量。如果全局开启自动const推断，很容易出现外层表达式被推断为const后，内层某个不满足const要求的子表达式直接触发编译错误，反而大幅增加不必要的排查成本。
• 目前Dart已经实现了无歧义场景下的自动推断：在明确的const上下文中（比如const a = [1,2]的赋值右侧、const Text('xxx')的参数位置），你不需要在内层的字面量、构造调用前重复写const，编译器会自动按const规则处理，这部分冗余语法已经被省略。

而Lint的const提示本质是可选的最佳实践提醒：它只会在代码语义本来就不会被const改变的位置（比如你本来就不会修改这个实例、这个位置的表达式本身已经完全满足const要求）给出提示，要不要采纳完全由开发者决定，工具没有权力替你修改代码的核心语义。

问题2：为什么不把所有类的构造函数默认实现为const构造？ #

首先要纠正一个普遍误解：不是所有类都支持定义const构造函数，const构造有非常严格的语法限制，根本不可能全局默认开启：

• const构造要求类的所有实例字段必须是final的：因为const实例是编译期生成的规范化常量，生命周期和整个应用一致，全程不可变。如果类有可变的非final字段（比如用户类的昵称、购物车类的商品计数这类需要动态修改的属性），从根上就不可能定义const构造，默认加const会直接触发语法错误。
• const构造不能包含任何运行时逻辑：const构造的初始化列表只能用编译时常量给字段赋值，不能做参数校验、不能调用普通方法、不能执行任何运行时才能计算结果的逻辑。但绝大多数业务类的构造函数都需要做参数处理（比如校验传入的手机号格式、根据传入参数计算衍生字段值），这类逻辑根本不可能在编译期执行，自然无法支持const构造。
• 默认const会彻底破坏代码扩展性：如果所有构造默认是const，意味着你给类新增一个非final字段、给构造加一点参数校验逻辑，都会变成破坏性变更，所有之前用const方式调用该构造的代码都会直接编译失败，对于日常业务开发来说这个限制完全不可接受。

举个最基础的例子：

class Counter {
  int count;
  Counter(): count = 0;
}

这个类的核心功能就是支持count++修改状态，它从根本上不可能拥有const构造函数——const实例的所有字段都是不可修改的，默认给所有构造加const，这类最基础的业务类都没法正常编写。

另外const本身不是无成本的特性：它带来的实例复用、性能提升只针对那些高频使用的固定不可变值（比如UI框架里的固定间距、固定颜色、无状态的固定样式组件），对于绝大多数只创建一次、本身需要可变状态的业务对象，强制用const没有任何收益，反而会平白增加编译期的常量处理成本。

内容的提问来源于stack exchange，提问作者sérgio brito