原因实际上是MyState类的子类可能会用getter覆盖该字段，而getter并不总是给予相同的值。如下所示：

class MyState2 extends MyState {
  MyState2(super.todo);

  @override
  Todo get todo => Random().nextBool() ? Todo_hasChildren() : someOtherTodo();
}

字符串
现在，当使用MyState2调用doStuff时，类型检查可能会在第一次通过，但当为processHasChild获取类型检查时，它可能会返回错误的类型。
你可以尝试这个完整的程序，看看自己，它偶尔崩溃，因为这一点：

import 'dart:math';

void main() {
    doStuff(MyState2(Todo()));
}

class Todo{}
class Todo_hasChildren extends Todo{}

class MyState2 extends MyState {
  MyState2(super.todo);
    @override
    Todo get todo => Random().nextBool() ? Todo_hasChildren() : Todo();
}

class MyState {
    final Todo todo;

    MyState(this.todo);
}

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

void processHasChild(Todo_hasChildren todo) {}

型

因为todo是state的一个属性，Dart只能在从局部变量提升类型时才能推断出类型。这与可空类型提升非常相似。参见：使用可空字段。
所以你必须这样做：

void doStuff(MyState state) {
  final todo = state.todo;
  if (todo is Todo_hasChildren) //
    processHasChild(todo);
}

字符串