Dart中Mixin如何访问被同名属性覆盖的宿主类原有super字段值

• 编译报错的直接原因是Dart语法不允许对super关键字做类型强转操作，你写的(super as CounterModel)属于非法语法。
• 更深层的逻辑错误是对Dart Mixin的继承线性化规则理解有误：当CounterModel混入CounterModelGeneratedCode后，继承顺序为 CounterModel → CounterModelGeneratedCode → MVAModel，Mixin中的super指向的是它的上一级类MVAModel，而非你以为的子类CounterModel，所以无论怎么写都不可能通过super访问到子类的初始counter值。
• 同时因为Mixin声明了同名的counter属性，优先级高于子类的属性，子类的counter会被直接覆盖，不存在直接访问原同名属性的语法。

推荐用抽象getter约束+拆分初始值的方式实现需求，不需要修改原有业务逻辑，也不会产生语法问题：

1. 首先调整子类的属性命名，把初始值单独拆分，避免和Mixin的属性重名
2. 在Mixin中声明抽象getter，约束混入的子类必须提供对应的初始值
3. Mixin中直接读取该初始值即可

修改后的完整代码如下：

class CounterModel extends MVAModel with CounterModelGeneratedCode {
  // 存储初始值的属性不和Mixin的counter重名
  final int _initialCounter = 2;
}

mixin CounterModelGeneratedCode on MVAModel {
  // 抽象getter约束子类必须提供初始值
  int get _initialCounter;

  int get counter => store.get("counter", () => _initialCounter);
  set counter(int value) => store.set("counter", value);
}

如果你可以修改父类MVAModel的代码，也可以直接在父类中声明counter属性，让Mixin的super可以合法访问到该属性，子类只需要覆写父类属性提供初始值即可，示例如下：

// 先在父类中声明counter属性
abstract class MVAModel {
  int get counter;
}

class CounterModel extends MVAModel with CounterModelGeneratedCode {
  // 子类覆写父类的counter属性提供初始值
  @override
  int counter = 2;
}

mixin CounterModelGeneratedCode on MVAModel {
  int get counter => store.get("counter", () => super.counter);
  set counter(int value) => store.set("counter", value);
}

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