子类应该继承 Dart 中的私有 mixin 变量吗？

Question

我应该得到以下错误：

class.dart:11:11：错误：没有为类“Y”定义吸气剂“_privateID”。 - “Y”来自“class.dart”。 尝试将名称更正为现有 getter 的名称，或定义名为“_privateID”的 getter 或字段。

来自以下代码？

mixin.dart：

class Mixin {
  static int _nextID = 0;

  int publicID = _nextID++; // I only need one of these lines
  int _privateID = _nextID++; // but this variable is inaccessible
}

class.dart：

import 'mixin.dart';

class X with Mixin {
  void run() {
    print(publicID); // no error here
  }
}

class Y with Mixin {
  void run() {
    print(_privateID); // Error: _privateID not defined
  }
}

void main() {
  Y().run();
}

或者这是一个错误？如果不是错误，我想了解为什么这种行为是合理的。

当我在与上述类相同的文件中定义 mixin 时，我没有收到任何错误。

（Dart SDK 2.4.1.）

Answer 1

这不是错误。 私有字段是继承的，但您无法访问它，因为它的名称对不同的库是私有的。

Dart 的“隐私”概念是库私有名称。 mixin.dart 库中的名称 _privateID 引入了库私有名称。这个名称的特殊之处在于它只能写在同一个库中。 如果有人在不同的库中写入_privateID，则它是一个不同的名称，而是该库的唯一名称。

就好像私有名称包括它所写入的库的库 URI，所以您真正声明的是名称_privateID@mixin.dart。 当您尝试读取class.dart 中的该字段时，您会写._privateID，但因为它在不同的库中，您真正写的是._privateID@class.dart，一个完全不同的名称，并且类没有任何声明那个名字。

所以，如果一个类需要访问另一个类的私有成员（或 mixin，或任何东西），那么这两个需要在同一个库中声明，否则它们甚至无法写入该变量的名称。

这就是为什么在同一个库中编写 mixin 时代码可以工作的原因。 如果你想将 mixin 移动到一个单独的文件，但不一定是一个单独的库，你可以使用part file。