Dart技术问询：类不满足条件为何无法创建const对象？

我想探究Dart语言的设计决策，以及编译器和执行器的内部工作原理。

目前我梳理出，在Dart中通过类创建const对象需要满足三个条件：

• 构造函数必须为const constructor
• 类的所有属性都必须是final类型
• 构造函数不能包含函数体

我会自行完成该问题的解答，希望能得到专业审阅，帮我指出错误，或是补充我没考虑到的信息。

为了理解这个问题，我做了一系列测试，核心内容包括验证不同构造函数类型、属性可变情况下创建const对象的报错场景，以及const对象在编译期与运行期的行为差异等（原测试文档为英文，已完成中文整理）。

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