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

问题描述 投票: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的抽象声明对于类型检查至关重要。如果我们要删除它,即使没有强模式也会收到警告,并且在强模式下(例如,使用dartdevcdartanalyzer --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.