允许在非抽象类中声明抽象方法的目的是什么？

问题描述 投票：8回答：2

根据this article的说法，在Dart中，有可能将非抽象类定义为具有抽象（或未实现）的方法。抽象方法会引发警告，但不会阻止实例化。

允许在Dart中的非抽象（或具体）类中声明抽象方法的目的是什么？为什么Dart设计以这种方式工作？

oop dart
2个回答
2
投票

specification实际上非常明确地声明在具体类中声明抽象方法：

如果在具体类中声明或继承抽象成员m，则它是静态警告

我们希望警告一个具有抽象成员的具体类。

如果具体类具有抽象成员（声明或继承），则它是静态警告。

他们没有任何预期的目的，这就是他们发出警告的原因。如果您熟悉Java：它类似于accessing a static member via an object，它也毫无意义并触发警告。

至于为什么它通过编译，Dart使用optional type system，这意味着键入概念不应该影响语言的语义，这正是Dart强制执行的：

抽象方法的目的是为类型检查和反射等目的提供声明。

静态检查程序将报告一些违反类型规则的行为，但此类违规行为不会中止编译或妨碍执行。

0
投票

具体类中的抽象方法允许您为通过noSuchMethod()实现的方法提供类型签名。提供noSuchMethod()实施也将使警告无声。

在强模式下，简单地在具体类中使用抽象方法将导致错误，除非该类还实现了noSuchMethod()接口。

简而言之，具体类中抽象方法的目的是为noSuchMethod()实现提供类型签名。这避免了调用未知方法的警告和强模式（这是dartdevc的默认值，并且首先是Dart 2.0的默认值然后是强制性的）这些类型签名对于使用noSuchMethod()甚至编译的代码是必需的，除非目标是类型dynamic。

例：

class A {
  void f();
  dynamic noSuchMethod(Invocation inv) => null;
}

void main() {
  var a = new A();
  a.f();
}

如果我们用（例如）a.f()替换a.f(0)，那么这将导致使用错误数量的参数调用方法时出现错误（在强模式下）。如果我们省略void f()声明，那么我们将得到一个错误，A没有方法f()。如果我们省略noSuchMethod()实现，那么抱怨将是f()缺少方法体，即使A不是抽象的。

以下代码提供了一个更现实的示例：

import "dart:mirrors";

class DebugList<T> implements List<T> {
  List<T> _delegate;
  InstanceMirror _mirror;
  DebugList(this._delegate) {
    _mirror = reflect(_delegate);
  }
  dynamic noSuchMethod(Invocation inv) {
    print("entering ${inv.memberName}");
    var result = _mirror.delegate(inv);
    print("leaving  ${inv.memberName}");
    return result;
  }
}

void main() {
  List<int> list = new DebugList<int>([1, 2, 3]);
  int len = list.length;
  for (int i = 0; i < len; i++) print(list[i]);
}

此示例为List<T>创建调试装饰器，显示所有方法调用。我们使用implements List<T>来引入整个列表界面，继承了许多抽象方法。当通过dartanalyzer运行时，这通常会导致警告（或强模式，错误），因为我们缺少通常由List<T>提供的所有这些方法的实现。提供noSuchMethod()实现会使这些警告/错误无声。

虽然我们也可以手动包装所有50多种方法，但这将是很多打字。如果将新方法添加到列表界面而不必更改我们的代码，上述方法也将继续有效。

用于在具体类中显式列出方法的用例不太常见，但也可能发生。一个例子是在这样的调试装饰器中添加getter或setter，允许我们检查或设置委托的实例变量。无论如何，我们需要将它们添加到界面中，以避免使用它们时出现警告和错误;然后noSuchMethod()实现可以使用getField()和setField()实现它们。这是前一个示例的变体，使用堆栈而不是列表：

// main.dart

import "dart:mirrors";
import "stack.dart";

class DebugStack<T> implements Stack<T> {
  Stack<T> _delegate;
  InstanceMirror _mirror;
  DebugStack(this._delegate) {
    _mirror = reflect(_delegate);
  }

  dynamic _get(Symbol sym) {
    // some magic so that we can retrieve private fields
    var name = MirrorSystem.getName(sym);
    var sym2 = MirrorSystem.getSymbol(name, _mirror.type.owner);
    return _mirror.getField(sym2).reflectee;
  }

  List<T> get _data;

  dynamic noSuchMethod(Invocation inv) {
    dynamic result;
    print("entering ${inv.memberName}");
    if (inv.isGetter)
      result = _get(inv.memberName);
    else
      result = _mirror.delegate(inv);
    print("leaving  ${inv.memberName}");
    return result;
  }
}

void main() {
  var stack = new DebugStack<int>(new Stack<int>.from([1, 2, 3]));
  print(stack._data);
  while (!stack.isEmpty) {
    print(stack.pop());
  }
}

// stack.dart

class Stack<T> {
  List<T> _data = [];
  Stack.empty();
  Stack.from(Iterable<T> src) {
    _data.addAll(src);
  }
  void push(T item) => _data.add(item);
  T pop() => _data.removeLast();
  bool get isEmpty => _data.length == 0;
}

请注意，_data getter的抽象声明对于类型检查至关重要。如果我们要删除它，即使没有强模式也会收到警告，并且在强模式下（例如，使用dartdevc或dartanalyzer --strong），它将失败：

$ dartdevc -o main.js main.dart
[error] The getter '_data' isn't defined for the class 'DebugStack<int>' (main.dart, line 36, col 15)

Please fix all errors before compiling (warnings are okay).
最新问题
© www.soinside.com 2019 - 2024. All rights reserved.