Flutter 2.x升级3.x后泛型<T extends GenericJsonObject>异常原因与修复

为什么会报错？ #

在Flutter 3.x依赖的Dart 2.12+空安全机制下，类型检查变得严格：

• T extends GenericJsonObject意味着T是GenericJsonObject的子类，T?表示T的实例 或 null
• GenericJsonObject?表示GenericJsonObject的实例 或 null

父类的可空类型无法直接赋值给子类的可空类型——GenericJsonObject的实例并不属于T类型（即使T是子类），空安全前的编译器允许这种不安全的隐式转型，但3.x版本会直接拦截。

为什么2.x版本能运行？ #

Flutter 2.x默认未启用空安全，Dart的类型检查非常宽松，允许将父类实例隐式向下转型为子类类型（即使运行时可能抛出类型转换错误），所以当时编译器没有拦截这个潜在问题。

修复方案 #

方案1：修改wrap逻辑，复用调用者实例 #

原来的wrap方法会创建新的GenericJsonObject实例，导致返回类型不匹配。改为直接给itemCreator()生成的T实例赋值并返回自身：

class GenericJsonObject {
  // ... 原有变量和方法

  GenericJsonObject? wrap(dynamic json) {
    if (json == null) return null;
    something = json.decode(); // 直接给当前实例赋值
    return this; // 返回当前实例，类型为调用者的实际类型（T）
  }
}

class PersistentData<T extends GenericJsonObject> {
  late String key;
  late T Function() itemCreator;

  PersistentData({required this.itemCreator, required this.key});

  Future<T?> get getData async => itemCreator().wrap(AsyncStorage.readMap(key)); 
  // 现在类型匹配，无报错
}

方案2：让wrap支持泛型创建子类实例 #

如果必须在wrap中创建新实例，可以将wrap改为泛型方法，指定创建T类型的实例：

class GenericJsonObject {
  dynamic something;

  GenericJsonObject(); // 确保有默认构造函数

  T? wrap<T extends GenericJsonObject>(dynamic json) {
    if (json == null) return null;
    var obj = T(); // 创建指定子类的实例
    obj.something = json?.decode();
    return obj;
  }
}

class PersistentData<T extends GenericJsonObject> {
  late String key;
  late T Function() itemCreator;

  PersistentData({required this.itemCreator, required this.key});

  Future<T?> get getData async => itemCreator().wrap<T>(AsyncStorage.readMap(key));
}

方案3：抽象父类，子类实现类型匹配的wrap #

将GenericJsonObject设为抽象类，强制子类实现返回自身类型的wrap方法：

abstract class GenericJsonObject {
  dynamic something;
  GenericJsonObject? wrap(dynamic json);
}

// 子类示例
class UserData extends GenericJsonObject {
  @override
  UserData? wrap(dynamic json) {
    if (json == null) return null;
    var obj = UserData();
    obj.something = json.decode();
    return obj;
  }
}

class PersistentData<T extends GenericJsonObject> {
  late String key;
  late T Function() itemCreator;

  PersistentData({required this.itemCreator, required this.key});

  Future<T?> get getData async => itemCreator().wrap(AsyncStorage.readMap(key));
}

内容的提问来源于stack exchange，提问作者Chen Li Yong