限定された多型を改良することは可能ですか？ここで

Question

Try flow link.

は、私はそれを期待するように動作しません。簡単な有界多型の例です：

// @flow 

function thisBreaks<T: 'a' | 'b'>(x: T): T { 
    if (x === 'a') { 
    return 'a' 
    } else { 
    return 'b' 
    } 
} 

function thisWorks<T: 'a' | 'b'>(x: T): T { 
    return x 
} 

const a = 'a' 
const aPrime: 'a' = thisWorks(a) 
const b = 'b' 
const bPrime: 'b' = thisWorks(b) 

5:  return 'a'    
      ^string. This type is incompatible with the expected return type of 
3: function thisBreaks<T: 'a' | 'b'>(x: T): T { 
^some incompatible instantiation of `T` 

7:  return 'b'    
      ^string. This type is incompatible with the expected return type of 
3: function thisBreaks<T: 'a' | 'b'>(x: T): T { 
^some incompatible instantiation of `T` 

私は例えば以来、仕事をする最初の例を期待しているだろうx === 'a'小切手でT〜'a'の権利を得ることができますか？

Answer 1

これは不可能であり、可能ではありません。

function test<T: number | string>(x: T): T { 
    if (typeof x === 'number') { 
    return 1; 
    } else { 
    return 'b' 
    } 
} 

test((5: 5)); 

機能がタイプ5の値を返すことになっているが、代わりに1を返します。ここではその理由を示す例です。

だからどうしますか？不明なタイプのTがあります。T <：string | number（Tのサブタイプはstring | number）です。 xを精査した後、Tはnumberのサブタイプです。 Tがnumberであることを意味するものではありません。例のように5、または1 | 2 | 3とすることができます。 Tがnumberのサブタイプであることがわかっていれば、Tという値を作成するには不十分です。そのためには、Tの下限を知る必要がありますが、それを知る方法はありません。

最後の質問は、どうしてあなたはどうやら明らかに安全であるのでしょうか？単純です：T <：'a'の場合は、'a'（またはemptyでもかまいませんが、実際問題ではありません）。 'a'の他のサブタイプはありません。だから、理論的には、フローはそれをサポートすることができますが、その非常に実用的ではありません：あなたはxが'a'であることがわかっている場合、あなただけのx