Jak sprawdzić typ środowiska uruchomieniowego w Dart?

Specyfikacja rzutek stwierdza:

Reifikowane informacje o typach odzwierciedlają typy obiektów w czasie wykonywania i mogą być zawsze sprawdzane przez dynamiczne konstrukcje sprawdzające typ (analogi instanceOf, rzutowania, typecase itp. W innych językach).

Brzmi świetnie, ale nie ma takiego instanceofoperatora. Jak więc sprawdzać typ w czasie wykonywania w Dart? Czy to w ogóle możliwe?

Operator instanceof jest wywoływany isw Dart. Specyfikacja nie jest zbyt przyjazna dla zwykłego czytelnika, więc obecnie najlepszym opisem wydaje się być http://www.dartlang.org/articles/optional-types/ .

Oto przykład:

class Foo { }

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

ObjectTyp darta ma element runtimeTypeinstancji (źródło pochodzi z wersji dart-sdk1.14, nie wiem, czy było dostępne wcześniej)

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

Stosowanie:

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

object.runtimeType zwraca typ obiektu

Na przykład:

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

Jak wspominali inni, isoperator Darta jest odpowiednikiem instanceofoperatora Javascript . Jednak nie znalazłem bezpośredniego odpowiednika typeofoperatora w Dart.

Na szczęście interfejs API dart: mirrors reflection został niedawno dodany do SDK i jest teraz dostępny do pobrania w najnowszym pakiecie Editor + SDK . Oto krótkie demo:

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

Istnieją dwa operatory do testowania typu: E is Ttesty dla E instancji typu T, podczas gdy E is! Ttesty dla E, a nie instancji typu T.

Zauważ, że E is Objectjest to zawsze prawda i null is Tzawsze jest fałszem, chyba że T===Object.

Żeby nieco wyjaśnić różnicę między isi runtimeType. Jak ktoś już powiedział (a to zostało przetestowane z Dart V2 +) następujący kod:

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

}

wyświetli:

it's a foo! 
type is String

Co jest złe. Teraz nie widzę powodu, dla którego należałoby to zrobić ...

Po prostu zadzwoń

print (unknownDataType.runtimeType)

na danych.