やった!はい、それはあなたの型の表明と比較してジャンプするための多くのフープですので、実際には私はおそらく表明して先に進みます。2実際には、最初の例は適切に推測されますが、2番目の例の型キャストと配列型は少し不正確です。具体的なケースでは、最初の要素のみを返すため、重要ではありません。ifブロックが未定義の値を除外するため。IntelliSenseで表示される型の表現は、やや混乱を招く可能性があります。これは、結果がより冗長/詳細になり、場合によってはよりコンパクト/未解決になる場合があるためです。コンパイラの正規型は同じです。最初に、キャストされた配列型が少し不正確であると言いました。(最初の要素だけでなく)、問題を説明します。("foo"|"bar")[]プレイグラウンド願っています。プロパティから戻り値を取得しています。