为何Dart中无法声明常量函数字面量？相关代码疑问

核心原因：匿名函数无法作为编译时常量 #

Dart的编译时常量体系里，匿名函数（() {}这类形式）不属于合法的编译时常量。只有具备固定标识符的函数——比如顶级函数、类的静态方法——才能被当作常量引用。这是因为编译时常量要求在编译期确定唯一、不可变的引用，而匿名函数每次定义都会生成新实例，无法满足这个要求。

为什么MyClass可以声明const构造器？ #

const构造器的作用是允许类的实例成为编译时常量，但前提是传入构造器的所有参数都必须是编译时常量。构造器本身的合法性，和它能否被用来创建常量实例是两个独立概念：

• 只要构造器的参数类型存在合法的编译时常量值（函数类型是满足的，因为具名函数可以是常量），就可以声明const构造器。
• 当你传入非常量参数（比如匿名函数）时才会触发报错，但这不影响构造器本身的合法性。

要创建MyClass的常量实例，只需传入具名的顶级函数或静态方法：

// 顶级函数
void topLevelCallback() {}

class MyClass {
  final void Function() callback;

  const MyClass(this.callback);
}

void example1Fixed() {
  const foo = MyClass(topLevelCallback); // 合法，topLevelCallback是编译时常量
}

关于const MyVoidCallback bar = () {};的报错 #

这个示例的报错原因和第一个完全一致：匿名函数无法被赋值给const的函数类型变量。改用具名函数即可解决：

typedef MyVoidCallback = void Function();

void topLevelFunc() {}

void example2Fixed() {
  const MyVoidCallback bar = topLevelFunc; // 合法
}

总结 #

• Dart仅允许具名的顶级函数、静态方法作为函数类型的编译时常量，匿名函数不满足编译时常量的要求。
• const构造器的声明是合法的，只要参数类型存在合法的常量值；能否创建常量实例，取决于传入的参数是否符合常量要求。

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