Як виконати перевірку типу виконання в Dart?

У специфікації дротиків зазначено:

Інформація про тип, що підтверджена, відображає типи об'єктів під час виконання і завжди може запитуватися за допомогою динамічних конструкцій перевірки типу (аналоги instanceOf, casts, typecase тощо іншими мовами).

Звучить чудово, але немає instanceofподібного оператора. Отже, як нам виконати перевірку типу виконання в Dart? Чи можливо це взагалі?

Екземпляр-оператора викликається isв Dart. Специфікація не зовсім привітна для випадкового читача, тому найкращим описом зараз є http://www.dartlang.org/articles/optional-types/ .

Ось приклад:

class Foo { }

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

У Objectтипі Dart є runtimeTypeчлен екземпляра (джерело з dart-sdkверсії 1.1, не знаю, чи було це раніше)

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

Використання:

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

object.runtimeType повертає тип об'єкта

Наприклад:

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

Як зазначали інші, isоператор Дарта є еквівалентом instanceofоператора Javascript . Однак я не знайшов прямого аналога typeofоператора в Дарті.

На щастя, нещодавно API SD для дзеркал був доданий до SDK і тепер доступний для завантаження в останньому пакеті Editor + SDK . Ось коротка демонстрація:

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.");
}

Існує два оператори для перевірки типу: E is Tтести для E - екземпляр типу T, тоді як E is! Tтести для E - не екземпляр типу T.

Зверніть увагу, що E is Objectце завжди істина, і null is Tзавжди помилково, якщо T===Object.

Тільки щоб трохи прояснити різницю між isі runtimeType. Як вже хтось сказав (і це було перевірено на Dart V2 +), такий код:

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}");

}

виведе:

it's a foo! 
type is String

Що неправильно. Зараз я не можу зрозуміти причину, чому слід робити щось таке ...