Dartでランタイム型チェックを実行するにはどうすればよいですか？

Dart仕様には次のように記載されています。

具象化された型情報は、実行時のオブジェクトの型を反映し、動的な型チェック構造（他の言語のinstanceOf、キャスト、タイプケースなどの類似物）によって常に照会される場合があります。

素晴らしい音ですが、のinstanceofような演算子はありません。では、Dartでランタイム型チェックを実行するにはどうすればよいでしょうか。まったく可能ですか？

instanceof-operatorはisDart で呼び出されます。仕様は一般の読者にとって完全に友好的ではないため、現在のところ最も適切な説明はhttp://www.dartlang.org/articles/optional-types/のようです。

次に例を示します。

class Foo { }

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

Dart ObjectタイプにはruntimeTypeインスタンスメンバーがあります（ソースはdart-sdkv1.14 からです。以前に利用可能であったかどうかは不明です）

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

他の人が述べたように、Dartのis演算子はJavaScriptのinstanceof演算子と同等です。しかし、私はtypeofダートでオペレーターの直接の類似物を見つけていません。

ありがたいことに、dart：mirrorsリフレクションAPIが最近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.");
}

型テストには2つの演算子がありE is Tます。Eのテストは型TのインスタンスですがE is! T、Eのテストはそうではありません。

E is Objectは常にtrueであり、でnull is Tない限り常にfalse であることに注意してください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

それは間違っています。今、なぜそんなことをしなければならないのか分からない…