¿Cómo realizar la verificación del tipo de tiempo de ejecución en Dart?

La especificación de dardo dice:

La información de tipo reificada refleja los tipos de objetos en tiempo de ejecución y siempre puede ser consultada por construcciones dinámicas de verificación de tipo (los análogos de instanceOf, casts, typecase, etc. en otros lenguajes).

Suena genial, pero no hay un instanceofoperador similar. Entonces, ¿cómo realizamos la verificación de tipos en tiempo de ejecución en Dart? ¿Es posible en absoluto?

La instancia de operador se llama isen Dart. La especificación no es exactamente amigable para un lector casual, por lo que la mejor descripción en este momento parece ser http://www.dartlang.org/articles/optional-types/ .

He aquí un ejemplo:

class Foo { }

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

El Objecttipo de dardo tiene un runtimeTypemiembro de instancia (la fuente es de dart-sdkv1.14, no sé si estaba disponible antes)

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

Uso:

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

object.runtimeType devuelve el tipo de objeto

Por ejemplo:

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

Como han mencionado otros, el isoperador de Dart es el equivalente al instanceofoperador de Javascript . Sin embargo, no he encontrado un análogo directo del typeofoperador en Dart.

Afortunadamente, la API de reflexión de dart: mirrors se ha agregado recientemente al SDK y ahora está disponible para descargar en el último paquete Editor + SDK . Aquí hay una breve demostració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.");
}

Hay dos operadores para las pruebas de tipo: E is Tprueba para E una instancia de tipo T mientras que E is! Tprueba para E no una instancia de tipo T.

Tenga en cuenta que E is Objectsiempre es cierto y null is Tsiempre es falso a menos que T===Object.

Solo para aclarar un poco la diferencia entre isy runtimeType. Como alguien dijo ya (y esto fue probado con Dart V2 +) el siguiente código:

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

}

dará salida:

it's a foo! 
type is String

Cuál está mal. Ahora, no veo la razón por la que uno debería hacer tal cosa ...