为何Dart无法在编译时检查数组边界？含固定长度List测试案例

这是个非常值得探讨的问题！其实Dart之所以没法在编译阶段对数组（List）边界做检查，核心和它的设计定位、List的本质以及类型系统特性有关，咱们来逐个拆解：

• Dart的List并非静态数组，而是运行时对象
  你用List<int>(5)创建的固定长度List，本质上还是一个Dart对象，和C++、Java里那种编译时就确定内存布局的静态数组完全不同。Dart的List会在运行时维护自己的长度、元素等状态信息，编译阶段的编译器根本没法提前知晓所有索引访问的实际值——比如如果索引是一个动态计算的变量（fixed[getIndex()]）或者表达式，编译器完全没法预判运行时的结果，自然没法做编译时检查。

• 设计哲学：平衡灵活性与编译效率
  Dart是一门兼顾静态类型和动态特性的语言，它的核心目标之一是提升开发效率和语言灵活性。如果要实现编译时严格的边界检查，编译器需要做大量复杂的数据流分析，这会显著增加编译时间，而且对于很多动态场景根本没法做到100%准确。Dart选择将这类安全性检查放在运行时，既保证了开发时的灵活度，也不会让编译过程变得过于沉重。

• 固定长度只是运行时约束，编译期无绑定
  所谓的“固定长度List”，只是在运行时限制了它不能通过add、remove等方法修改长度，但编译阶段的编译器并不会把这个List的长度（比如你例子里的5）硬编码到每一次索引访问的检查逻辑里。编译器不会跟踪并绑定这个长度信息，因为从语言设计的角度，它不会假设List的长度永远不变（哪怕固定长度List确实不会变），所以自然没法在编译时做越界判断。

举你测试的代码来说：

void main() { 
  var fixed = List<int>(5); 
  fixed[5000] = 3; //Runtime error! 
}

编译器看到的只是一个List对象的索引赋值操作，它不会去解析并绑定fixed初始化时的长度5，因为这个长度是运行时才确定的（哪怕这里是字面量，Dart编译器也没有做这类常量跟踪检查的设计），所以只能在运行时触发越界错误。

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