为何Dart中仅const构造器会出现类型不兼容赋值错误？

问题描述 #

在使用Flutter的const Text()时遇到错误：A value of type 'Null' can't be assigned to a parameter of type 'String' in a const constructor.，相关代码如下：

class MyHomePage extends StatefulWidget {
  const MyHomePage({super.key, required this.title, required this.subTitle});
  final String title;
  final String subTitle;
}

class _MyHomePageState extends State<MyHomePage> {
  @override
  Widget build(BuildContext context) {
   return Scaffold(
      appBar: AppBar(
        title: Text(
          widget.title,
          textAlign: TextAlign.center,
        ),
      ),
      body: Column(
        children: <Widget>[
          const Text(
            widget.subTitle,
          ),
        ],
      ),
    );
  }
} 

已知移除const即可解决错误，但想深入理解：为什么只有常量构造器会触发这类类型不匹配问题？

核心原因解析 #

1. 常量构造器的本质特性 #

用const修饰的构造器创建的对象是编译期常量——它的所有参数必须是能在编译阶段就确定值的常量（比如字面量字符串"Hello"、const修饰的变量、编译期可求值的常量表达式），并且整个对象的状态在编译时就完全固定，运行时不会发生任何变化。

2. 代码中的矛盾点 #

你代码里的widget.subTitle是运行时变量：它的值是在Widget实例化（运行阶段）时才确定的，不属于编译期常量范畴。而常量构造器要求参数必须是编译期可确定的常量，Dart的静态检查会直接判定这种传递方式不合法，抛出类型不匹配的错误。

3. 非常量构造器的宽松逻辑 #

去掉const后，Text()属于运行时创建对象，它只要求参数在运行时符合类型要求即可，不限制参数是否为编译期常量。只要widget.subTitle是合法的String类型（哪怕是运行时动态获取的），就能正常赋值，不会触发静态检查错误。

本质区别总结 #

• 常量构造器：做最严格的静态编译检查，确保所有参数和对象状态的确定性，实现编译期常量的不可变性。
• 非常量构造器：运行时动态初始化对象，仅保证参数在运行时的类型合法性，允许使用动态变量作为参数。

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