Dart语言中.new构造器简写的常量性探讨

在Dart语言的最新发展中，关于构造器简写语法.new的常量性处理引发了一些有趣的讨论。本文将深入分析这一语法特性的设计考量和技术细节。

构造器简写的基本概念

Dart语言允许开发者使用.new作为构造器的简写形式。这种语法糖使得代码更加简洁，特别是在需要引用构造器但不立即调用的场景下。例如：

class A {}
const c = A.new; // 合法的构造器引用

这种简写形式本质上是对构造器的一种"tear-off"操作，即获取构造器函数的引用而非立即调用它。

常量性约束的争议

在语言规范的最初版本中，.new简写被限定只能用于常量构造器。这意味着只有当对应的类具有无名的常量构造器时，这种简写才能在常量上下文中使用。

然而，这种限制引发了技术上的不一致性：

1. 对于常规的构造器tear-off语法（如A.new），只要不涉及非常量类型，即使构造器本身不是常量，tear-off结果也可以是常量
2. 但对于简写形式.new，却额外增加了构造器必须是常量的限制

技术实现考量

从技术实现角度来看，这种限制是不必要的。构造器tear-off的常量性应该只取决于：

• 是否涉及泛型函数的实例化
• 是否包含非常量类型

构造器本身是否为常量构造器并不应该影响tear-off操作的常量性。因为tear-off只是获取构造器函数的引用，并不实际执行构造过程。

语言设计决策

经过语言团队的讨论，确认最初的规范中要求构造器必须是常量的限制是一个错误，而非有意设计。这可能是从构造器调用(constructor invocation)的规则中错误复制过来的。

因此，语言规范已经移除了这一不必要的限制，使得.new简写的处理与常规构造器tear-off保持一致。这一变更简化了语言规范，也提高了语法特性的一致性。

实际应用影响

这一变更对开发者意味着：

1. 现在可以在更多场景下使用.new简写
2. 不再需要担心构造器是否为常量的问题
3. 代码可以更加简洁，特别是在需要将构造器作为参数传递时

例如，以下代码现在都是合法的：

class B {
  B(); // 非常量构造器
}

const d = B.new; // 现在允许

总结

Dart语言在不断演进过程中，会持续优化和简化其语法特性。.new构造器简写的常量性处理就是一个很好的例子，展示了语言设计如何通过消除不必要的限制来提高一致性和可用性。开发者现在可以更加自由地使用这一特性，而不必担心构造器是否为常量的限制。