Dart 中的变量声明与初始化支持类型推断和显式声明。`var` 用于类型推断,如 `var name = Bob`;也可显式指定类型,如 `String name = Bob`。Dart 强制执行空安全,防止空解引用错误,并引入可空类型(`String?`)和不可空类型(`String`)。未初始化的不可空变量必须在使用前赋值。`late` 修饰符用于延迟初始化,确保变量在首次使用时才被初始化。`final` 和 `const` 用于定义不可变变量,前者运行时确定,后者编译时确定。类型检查和转换通过 `is` 和 `as` 实现。