Dart跨文件继承时子类s属性为null的原因及代码排查

这是一个典型的Dart库私有标识符作用域导致的问题，我来帮你拆解清楚：

核心知识点：Dart的私有标识符规则 #

Dart中以下划线_开头的方法、属性等标识符是库私有的——也就是说，它们只在当前.dart文件（即当前库）内可见，跨文件（跨库）时完全无法访问，更别说重写了。这和Java等语言的类私有逻辑不一样，很多刚接触Dart的开发者容易在这里踩坑。

两种场景的差异解释 #

1. 同一个文件（同库）的情况
   当Foo和Foo2在同一个文件时，它们属于同一个库，此时Foo2的_update方法其实是偷偷重写了父类Foo的_update（虽然Dart不推荐重写私有方法，但同库内语法上允许）。当你实例化Foo2时，父类的构造函数调用_update，因为多态特性，实际执行的是子类Foo2的_update方法，给Foo2自己的s属性赋值为"t"，所以打印结果是"t"。

2. 分文件（跨库）的情况
   把Foo2移到另一个文件后，两个文件属于不同的库。此时：

   • Foo的_update是Foo所在库的私有方法，Foo2完全看不到它，所以Foo2定义的_update是一个全新的、只在自己库内有效的方法，和父类的_update没有任何关系。
   • 父类Foo的构造函数调用的是自己库内的_update，这个方法只会给Foo类的s属性赋值，但你在Foo2中重新定义了同名的s属性，这会隐藏父类的s，而Foo2自己的s从来没被赋值过，所以打印出来是null。
   • 也正因为Foo2的_update方法从来没被调用过，Android Studio才会提示它“未被使用”。

你的代码存在的问题 #

1. 子类Foo2重新定义了s属性，这会隐藏父类的s，导致父类的赋值操作和子类的属性完全脱节，这几乎不是你想要的行为。
2. 依赖重写私有方法来实现初始化逻辑，这违反了Dart的私有标识符设计原则，跨库后必然失效，导致行为不一致。

修正方案 #

方案1：将需要重写的方法改为公共方法（推荐）

把父类的_update去掉下划线，变成公共方法，这样子类跨库也能正常重写：

// foo.dart
class Foo {
  String s;
  Foo(){ update(); }
  // 改为公共方法，允许子类重写
  void update() { s = "t"; }
}

// foo2.dart
import 'foo.dart';

class Foo2 extends Foo {
  // 不需要重新定义s，直接继承父类的s即可
  Foo2();
  
  @override
  void update() { s = "t"; } // 正常重写公共方法
}

方案2：保留私有方法，子类在构造中自行初始化

如果不想暴露公共方法，可以让子类在自己的构造函数中完成属性初始化：

// foo.dart
class Foo {
  String s;
  Foo(){ _update(); }
  void _update() { s = "t"; }
}

// foo2.dart
import 'foo.dart';

class Foo2 extends Foo {
  // 同样不需要重新定义s
  Foo2() : super() {
    // 在子类构造中重新赋值，覆盖父类的初始值
    s = "t";
  }
}

额外提醒 #

在Dart开发中，永远不要依赖重写私有方法来实现业务逻辑，跨库后这些方法的隔离性会让你的代码行为完全失控。另外，子类尽量避免定义和父类同名的属性，这种隐藏行为很容易导致调试困难。

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