为何Dart无法推断或记住属性的类型？

你遇到的这个问题是Dart类型系统的设计规则导致的，不是临时bug，属于永久特性。

核心原因是：Dart的类型提升（通过is检查后自动识别子类型）只对局部变量生效，对类的实例属性（哪怕是final修饰的）不生效，具体理由如下：

• 局部变量的作用域和生命周期完全在当前函数内，编译器能确保在is检查之后到使用之前，变量的值不会被外部代码修改，因此可以安全地提升类型。
• 对于类的实例属性（比如state.todo），哪怕标记了final，编译器也无法绝对保证它的值不会变化：比如如果这个属性是通过getter实现的final（而非直接赋值的成员变量），每次访问都可能返回不同的对象；多线程场景下也存在被外部修改的潜在风险。为了避免类型不安全，编译器不会对实例属性做类型提升。

你提到的两种解决方案完全符合Dart的设计逻辑：

1. 赋值给局部变量：把state.todo赋值给局部变量后，编译器能追踪变量状态，is检查后自动完成类型提升：

void doStuff(MyState state) {
  final todo = state.todo;
  if (todo is Todo_hasChildren) 
    processHasChild(todo); // 此处无类型错误
}

2. 用as强制转换：显式告知编译器你确认该属性的类型，跳过自动推断的检查：

void doStuff(MyState state) {
  if (state.todo is Todo_hasChildren) 
    processHasChild(state.todo as Todo_hasChildren);
}

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