Dart语言规范更新：扩展方法允许与静态成员同名

在Dart语言的最新规范更新中，对扩展方法(extension methods)的适用性规则进行了重要调整。这项变更解决了当扩展实例成员与类静态成员同名时，扩展方法无法被隐式解析的问题。

背景与问题

在之前的Dart语言规范中，扩展方法的适用性规则规定：只有当类型S没有名为m的成员时，扩展才能应用于该类型。这个规则在实际应用中产生了一个不太合理的情况：即使存在一个完全匹配的扩展实例方法，只要类中存在同名的静态成员，扩展方法就无法被隐式调用。

考虑以下代码示例：

class A {
  static void foo() {}  // 静态方法
  void bar1() => foo(); // 调用静态方法A.foo
}

extension E on A {
  void foo() {}         // 扩展实例方法
  void bar2() => foo(); // 调用扩展实例方法E.foo
}

void main() {
  A.foo();    // 正确，调用静态方法
  A().foo();  // 之前会报错，现在可以正确调用扩展实例方法
}

按照旧的规范，A().foo()会导致编译错误，因为类A中存在名为foo的静态成员，即使它实际上是一个完全不同的成员类别（静态成员vs实例成员）。

规范变更

新的语言规范明确区分了实例成员和静态成员。现在，扩展方法的适用性仅受目标类型的实例成员影响，静态成员不再成为阻碍。具体来说：

• 只有当类型S没有名为m的实例成员时，扩展才能应用于该类型
• 静态成员的存在不会影响扩展方法的适用性

这一变更实际上只是修正了规范中的表述错误，因为Dart的主要实现（分析器和CFE）一直以来都采用了这种更合理的行为方式。

技术意义

这项变更具有几个重要的技术意义：

1. 更符合直觉：开发者通常期望实例成员和静态成员属于不同的命名空间，这项变更使语言行为更符合这种直觉。

2. 向后兼容：由于主要实现已经支持这种行为，所以这项变更不会破坏现有代码。

3. 增强扩展方法的功能性：扩展方法现在可以自由地使用任何名称，只要不与目标类的实例成员冲突，而不必担心与静态成员重名的问题。

4. 统一性：这使得Dart的类型系统在处理成员查找时更加一致和可预测。

实际影响

对于Dart开发者来说，这项变更意味着：

• 可以更自由地为类创建扩展方法，不必担心与静态成员名称冲突
• 现有代码中可能存在的隐式扩展方法调用现在会被正确处理
• 代码的可读性和可维护性得到提升，因为开发者可以更直观地理解成员查找的规则

结论

这项Dart语言规范的更新虽然看似微小，但却解决了一个实际开发中可能遇到的痛点。它体现了Dart语言设计团队对语言细节的关注和对开发者体验的重视。通过使规范与实际实现保持一致，并消除不必要的限制，Dart语言继续朝着更加一致和用户友好的方向发展。

对于Dart开发者来说，现在可以放心地在扩展方法中使用任何不与实例成员冲突的名称，包括那些已经被静态成员使用的名称，这使得扩展方法这一强大功能更加灵活和实用。