typescript以来のユーザー定義型ガードの変更点2.4

Question

このコードはtypescript 2.3では正常に動作しますが、typescript 2.4では失敗します。なぜ説明できますか？

testFindTypeGuard.ts：

let el: Element; 

const nodes: Node[] = []; 

const result = nodes.find((n): n is HTMLFontElement => n.nodeName === "FONT"); 

el = result; 

my.d.ts：

interface Array<T> { 
    find<U extends T>(predicate: (value: T, index: number, obj: Array<T>) => value is U): U | undefined; 
} 

エラーメッセージ：

error TS2322: Build:Type 'Node' is not assignable to type 'Element'.

Answer 1

期待どおりあなたの例の仕事をするためには、あなたコンパイラにUを記述する必要があります。あなたの型式ガードの適用範囲を自動的に拡大するという概念的な飛躍はありません。

if-statementの一部として型ガードを使用すると、（ifとelseの両方の）型の変更が行われます。しかし、あなたの例では、あなたがなりたい場所に到達するために型引数を渡す必要があります：

const result = nodes.find<HTMLFontElement>((n): n is HTMLFontElement => n.nodeName === "FONT"); 

コンパイラは物事が積み重ねていない場合、以下はあなたを与えるかを決定するのに十分なスマートですエラー：あなたは、コンパイラは、以前のバージョンでこののより良い仕事をしていたと思われる場合

const result = nodes.find<HTMLDivElement>((n): n is HTMLFontElement => n.nodeName === "FONT"); 

、あなたはGitHubの上の問題を提起したいことがあります...ただし、あなたmay have done so already。