Làm cách nào để thực hiện kiểm tra kiểu thời gian chạy trong Dart?

Thông số kỹ thuật của Dart cho biết:

Thông tin loại đã sửa đổi phản ánh các loại đối tượng trong thời gian chạy và có thể luôn được truy vấn bởi các cấu trúc đánh máy động (các tương tự của instanceOf, casts, typecase, v.v. trong các ngôn ngữ khác).

Nghe có vẻ tuyệt vời, nhưng không có instanceoftoán tử-like. Vậy làm cách nào để thực hiện kiểm tra kiểu thời gian chạy trong Dart? Có thể ở tất cả?

Toán tử instanceof được gọi istrong Dart. Thông số kỹ thuật không chính xác thân thiện với người đọc thông thường, vì vậy mô tả tốt nhất hiện tại có vẻ là http://www.dartlang.org/articles/optional-types/ .

Đây là một ví dụ:

class Foo { }

main() {
  var foo = new Foo();
  if (foo is Foo) {
    print("it's a foo!");
  }
}

ObjectLoại Dart có một runtimeTypethành viên thể hiện (nguồn là từ dart-sdkv1.14, không biết có trước đó không)

class Object {
  //...
  external Type get runtimeType;
}

Sử dụng:

Object o = 'foo';
assert(o.runtimeType == String);

object.runtimeType trả về loại đối tượng

Ví dụ:

print("HELLO".runtimeType); //prints String
var x=0.0;
print(x.runtimeType); //prints double

Như những người khác đã đề cập, istoán tử của Dart tương đương với instanceoftoán tử của Javascript . Tuy nhiên, tôi đã không tìm thấy một chất tương tự trực tiếp củatypeof nhà điều hành trong Dart.

Rất may, API phản chiếu dart: mirror gần đây đã được thêm vào SDK và hiện có sẵn để tải xuống trong gói Editor + SDK mới nhất . Đây là một bản demo ngắn:

import 'dart:mirrors'; 

getTypeName(dynamic obj) {
  return reflect(obj).type.reflectedType.toString();
}

void main() {
  var val = "\"Dart is dynamically typed (with optional type annotations.)\"";
  if (val is String) {
    print("The value is a String, but I needed "
        "to check with an explicit condition.");
  }
  var typeName = getTypeName(val);
  print("\nThe mirrored type of the value is $typeName.");
}

Có hai toán tử để kiểm tra kiểu: E is Tkiểm tra E một thể hiện của kiểu T trong khi E is! Tkiểm tra E thì không là thể của kiểu T.

Lưu ý rằng E is Objectluôn đúng và null is Tluôn sai trừ khi T===Object.

Chỉ để làm rõ một chút sự khác biệt giữa isvà runtimeType. Như ai đó đã nói (và điều này đã được thử nghiệm với Dart V2 +) đoạn mã sau:

class Foo { 
  Type get runtimeType => String;
}
main() {
  var foo = new Foo();
  if (foo is Foo) {
    print("it's a foo!");
  }
  print("type is ${foo.runtimeType}");

}

sẽ xuất:

it's a foo! 
type is String

Sai chỗ nào. Bây giờ, tôi không thể hiểu lý do tại sao một người nên làm một điều như vậy ...