这次 Dart 3.15 有个改动虽然不大，但我感觉算是解决了 Dart 类型系统里一个存在多年的不合理限制：
编译器明明已经知道当前对象是什么类型，但是就是不给开发者直接按照这个类型用它。
从 3.15 开始，this 终于可以像局部变量一样，根据 is 判断、空值检查之类条件，也可以自动改变自己的静态类型：
class Shape {
void describe() {
var self = this;
if (self is Circle) {
print('radius ${self.radius}');
}
}
}
class Circle extends Shape {
final double radius;
Circle(this.radius);
}
比如这里 Shape 是父类，Circle 是子类，子类独有一个 radius 属性，如果执行：
Circle(10).describe();
虽然 describe() 定义在 Shape 里面，但是实际执行它的对象是 Circle，所以进入方法的时候：
this的声明静态类型是Shapethis在运行时指向的对象是Circle- 经过
is Circle判断之后，编译器知道当前对象确实是Circle
实际上以前的问题刚好就是出在第三点，以前的 Dart 就算知道判断结果，也不会修改 this 的静态类型，所以如果直接写，会变异错误：
class Shape {
void describe() {
if (this is Circle) {
print(this.radius); // 旧版本：编译错误
}
}
}
编译器还是按照
Shape查找radius，自然就会报错，因为Shape根本没有这个字段。
而为了绕过限制，开发者必须先写 var self = this，然后让 self 参与类型提升，这是因为 Dart 以前只支持特定变量的类型提升，不支持直接提升 this。
而到了 Dart 3.15 ，现在这个代码终于可以正常工作了，在 if 成立的分支里，this 的静态类型可以由 Shape 提升为 Circle。
class Shape {
void describe() {
if (this is Circle) {
print('radius $radius');
}
}
}
而且不只是 this.radius 可以访问，直接写 radius 也可以，因为类实例方法里，radius 这样的隐式实例成员访问，编译器也会考虑已经提升的 this 类型，也就是父类方法可以直接访问经过类型判断确认的子类成员，不用反复强制转换。
其实就是变化的是编译器在对应代码分支中理解的静态类型，不是对象本身的实际类型。
另一个更实用的场景是 Nullable Extension，Dart 允许给可空类型添加 Extension，例如 int? ：
extension NullableInt on int? {
bool get isEvenOrNull {
final self = this;
if (self == null) {
return true;
}
return self.isEven;
}
}
这里 this 的类型是 int?，也就是既可能是整数，也可能是 null，按照常规的空安全规则，检查 self == null 并提前返回以后，后面的 self 就会从 int? 提升成 int，可以直接使用 isEven。
但是以前直接检查
this，编译器不会完成这种提升，必须额外定义一个self。
而现在 Dart 3.15 可以直接写：
extension NullableInt on int? {
bool get isEvenOrNull {
if (this == null) return true;
return isEven;
}
}
void main() {
int? a = 4;
int? b = 3;
int? c;
print(a.isEvenOrNull); // true
print(b.isEvenOrNull); // false
print(c.isEvenOrNull); // true
}
这里有两个变化：
- 首先，
if (this == null) return true之后，编译器知道剩余路径的this必然是非空int - 其次，
return isEven里面隐式使用的this也会享受到这次提升
最重要的是， Extension 的接收对象完整参与 Dart 的空安全控制流分析， 以前局部变量能做到的事情，现在 Extension 里的 this 也能做了。
类似专业的场景，这里的 debugInfo 写在父类 PageState 里面，但是能够通过 this is Loaded 和 this is Failed 直接访问子类的 items、message 属性：
sealed class PageState {
const PageState();
String get debugInfo {
if (this is Loaded) {
return '加载成功: ${items.length} 条数据';
}
if (this is Failed) {
return '加载失败: $message';
}
return '加载中';
}
}
class Loading extends PageState {
const Loading();
}
class Loaded extends PageState {
final List<String> items;
const Loaded(this.items);
}
class Failed extends PageState {
final String message;
const Failed(this.message);
}
这种机制对 Flutter 中的状态基类、事件体系、插件扩展、基于继承的组件封装都挺有帮助的，尤其是存在大量类型分支判断的代码。
当然上面的例子只是为了演示类型提升，实际业务如果已经用
sealed class、switch模式匹配，或者可以通过多态完成状态处理，一般其实不需要为了用这个新特性而改回一大堆if (this is Xxx)。
至于为什么 Dart 到 3.15 才支持？这里其实涉及 Dart 类型系统长期以来对类型提升的谨慎，因为 Dart 的类型提升不是看到一个判断就无条件修改类型，实际上编译器还需要确认，被检查的值在后续代码中是否足够稳定，比如：
class Test {
int? value;
void run() {
if (value != null) {
// value 仍然可能变化
}
}
}
value 是一个可变成员，编译器不能因为检查过一次就永远假定它非空，对 Getter 来说，连续两次调用甚至可能返回不同结果。
而 this 本质上有个明显优势：一个实例方法执行期间，当前接收对象不会突然变成另一个对象，所以只要条件能够证明当前对象满足某个类型，编译器就可以在相应控制流中安全地使用这个信息。
这里和 Dart 3.2 的字段类型提升还是有区别的：
| 对比 | Dart 3.2 | Dart 3.15 |
|---|---|---|
| 局部变量类型提升 | 支持 | 支持 |
私有 final 字段提升 | 支持 | 支持 |
this is SubType 后提升 this | 不支持 | 支持 |
Nullable Extension 中提升 this | 不支持 | 支持 |
隐式 this 成员访问使用提升结果 | 不支持 | 支持 |
等于是Dart 3.2 解决的是一部分稳定字段的类型提升问题，3.15 进一步补上了当前对象本身的类型提升。
