Flutter中含非const子组件的Widget为何可使用const构造？

先看问题场景 #

一开始的HomePage里，MaterialApp能加const，是因为所有子组件都支持const构造：

class HomePage extends StatelessWidget {
  const HomePage({super.key});

  @override
  Widget build(BuildContext context) {
    return const MaterialApp(
      home: Scaffold(),
    );
  }
}

但加了不支持const的AppBar后，MaterialApp的const必须去掉：

class HomePage extends StatelessWidget {
  const HomePage({super.key});

  @override
  Widget build(BuildContext context) {
    return MaterialApp( // 这里不能用const了
      home: Scaffold(
        appBar: AppBar(...),
      ),
    );
  }
}

但此时在父组件里依然能写const HomePage()，这看起来有点反直觉，其实原因很简单：

核心逻辑拆解 #

• const管的是HomePage本身，不管它build出来的东西：
  HomePage的const构造，只要求这个HomePage实例自己的成员（这里只有key）是编译时常量，和它build方法里生成的Widget树有没有const完全没关系。
• StatelessWidget的const是用来复用实例的：
  用const HomePage()时，Flutter会在编译阶段就创建好这个HomePage的实例并复用，但它的build方法是运行时才执行的——build里创建的非const组件是运行时生成的，根本不影响HomePage本身作为const实例的合法性。
• const构造的限制只针对当前类的参数：
  HomePage的const构造只需要确保自己的入参（比如key）是const就行，build方法里的代码属于运行时执行的逻辑，不属于类实例的编译时状态，所以完全不受const构造的约束。

说白了：你创建的是一个不可变的HomePage对象，这个对象本身的状态是固定的，但它在运行时“画”出来的Widget树可以包含可变的、非const的组件，这俩是完全独立的东西。

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