在 switch 语句中检查 Dart 运行时类型

Question

我在尝试检查 Dart 中某些对象的运行时类型时发现了一些奇怪的行为。我们举一个简单的例子：

main(List<String> args) {
  List<Map> l1 = new List<Map>();
  l1.add(new Map<String, int>());
  List<int> l2 = ['Start', 'Stop'];
  checkType(l1.runtimeType);
  checkType(l1[0].runtimeType);
  checkType(l2.runtimeType);
}

checkType(Type type) {

  switch(type) {
    case List:
      print('it is a List!');
      break;
    case Map:
      print('it is a List!');
      break;
    default:
      print('Unmanaged type $type');
      break;
  }
}

这个程序有以下输出：

非托管类型List<Map> 非托管类型_InternalLinkedHashMap<String, int> 非托管类型List

第一种情况无法在 switch 语句中检查，因为如果我尝试设置“ List<Map>”情况，我会收到错误：在常量表达式中，此运算符的操作数必须是“num”类型第二个无法匹配，因为使用case 中的 _InternalLinkedHashMap 得到以下错误：Case expression must be constant。

在最后一种情况下，我将 List 定义为一个整数列表 ( List<int>)，但系统忽略了它并将其视为一个简单的 List。我认为这是一种误导，应该禁止这样的声明。

任何帮助/建议？

Answer 1

如果你想根据对象的类型进行流量控制，你实际上是想根据一个对象的类是否实现了一个接口，而不是它的运行时类型是什么。这是什么类型的测试操作符 is和is!是。

请记住，在 Dart 中，类也是接口，因此您可以测试对象是否是特定类。

class Something {
 ...
}

var s = new Something();
print(s is Something);     // true

需要注意的是事情，我们倾向于认为，作为“类”，如List一个Map，不是类，它们是接口。任何返回此类（包括构造函数）实例的东西实际上都会返回一个实现该接口的类。

您可以使用泛型，但要小心。

void main() {

  var a = [1, 2, 'three'];
  print(a is List);          // True
  print(a is List<int>);     // True!!!!
  print(a is List<String>);  // True!!!!

  var b = new List<int>.from([1, 2, 3]);
  print(b is List);          // True
  print(b is List<int>);     // True
  print(b is List<String>);  // False
}

类可以通过显式实现接口、从实现它的类继承或通过混合来实现接口。

class Base {
  void a() {}
}

class Mix {
  void b() {}
}

class Mixed extends Base with Mix {} 

class Explicit implements Base {
  void a() {}  
}

void main() {

  var c = new Mixed();
  print(c is Mixed);         // True
  print(c is Base);          // True
  print(c is Mix);           // True

  var d = new Explicit();
  print(d is Base);          // True
}