为什么Dart内置的List接口可以被实例化？

Question

注意：这个问题已过时； interface 声明语法已从 Dart 中删除：

• 从 Dart 中消除接口声明的提案
  “在 Dart 中，每个类都会生成一个隐式接口。现在实现了此功能，实际上可以从语言中消除接口声明。接口声明被纯粹的抽象类所取代。”

• 问题 3972：删除虚拟机中的接口声明支持

---

据我所知可以看出，在 Dart 中实例化接口是不可能的。如果我只是尝试构造一个 new MyInterface()，无论是否定义了构造函数，我都会收到运行时错误 (尝试一下)：

NoSuchMethodException - receiver: '' function name: 'MyInterface$$Factory' arguments: []]

interface MyInterface {}      

interface MyInterface {
  MyInterface();
}

如果我尝试使用工厂构造函数，返回实现的实例，则会收到编译时错误 (尝试一下）：

SyntaxError: factory members are not allowed in interfaces

class MyImplementation implements MyInterface {
  MyImplementation();
 }

interface MyInterface {
  factory MyInterface() { return new MyImplementation(); }
}

然而，这似乎与 List< 的现实相矛盾Dart 核心库中的;E>¹ 是一个接口²，但它有多个构造函数并且可以实例化。例如，这工作正常（尝试一下）：

main() {
  var list = new List();
  list.add(5);
  print(list.last());
}

为什么可以List 和许多其他内置接口被实例化？我是否错过了某些方法，或者它们只是作为内置类型接受特殊处理？

---

¹ Dart：库：corelib：接口列表
² “Dart 核心库的大部分内容都是根据接口定义的。”^3
3 Dart：教程：接口

Answer 1

定义接口的语法是：

interfaceDefinition:
    interface identifier typeParameters? superinterfaces? factorySpecification? `{' (interfaceMemberDefinition)* `}'

请注意，factorySpecification 必须位于接口主体之前而不是内部。

所以你可以这样写：

interface MyInterface default MyImplementation {

}

class MyImplementation implements MyInterface {
  MyImplementation();
}

或者如果你想获得完整的通用定义：

interface MyInterface<E> default MyImplementation<E> {
    MyInterface(x);
}

class MyImplementation<E> implements MyInterface<E> {
  MyImplementation(this.x);
  E x;
}

编辑：要获得更完整的示例，你可以阅读接口List位于https://code.google.com/p/dart/source/browse/branches/bleeding_edge/dart/corelib/src/list.dart 和关联的 class ListFactory< T> 源位于 https://code.google.com /p/dart/source/browse/branches/bleeding_edge/dart/runtime/lib/array.dart

Answer 2

Dart 使用工厂来实现两种不同的目的：工厂类和工厂构造函数。工厂类如下所示：

interface List default ConcreteList {
  List();
  ...
}

class ConcreteList implements List {
  ConcreteList() {}
}

它的作用是让您在接口中定义构造函数。当您通过执行 new List() （或无论您的接口是什么）调用它们时，它知道实际实例化 ConcreteList 因为这是您为该接口指定的工厂类。

这为您提供了一种将具体类型完全封装在接口后面的方法，甚至包括构造点。

工厂构造函数看起来像这样：

class Point {
  static _zero;
  int x, y;

  Point(this.x, this.y) {}

  factory Point.zero() {
    if (_zero == null) _zero = new Point(0, 0);
    return _zero;
  }
}

这里，Point.zero是一个（命名的）工厂构造函数。工厂构造函数让您可以抽象实例化。您可以像常规构造函数一样调用它们，但它们不会自动生成对象的新实例。相反，您可以在构造函数的主体中自由地执行任何您想要的操作。在这里，每次执行此操作时：

new Point.zero();

您都会获得相同缓存的_zero对象，即使您每次都使用new，因为它们工厂构造函数总是返回相同的值。它们有几个用途：

1. 返回以前缓存的对象，就像我们在这里所做的那样。
2. 返回一个子类。这有点像接口的工厂类。您可能有一个可以new的类，但在某些情况下您可能实际上希望返回它的子类以专门化其行为。工厂构造函数让您无需更改调用点即可做到这一点。