フロー - 関数からしか得られないタイプ

Question

Flow（または好奇心から抜けたタイプ）を使用して、特定の関数から生じることができるタイプを作成できますか？私は "SanitizedString"のようなものとしてサニタイズされた文字列を入力できるようにしたい。しかし、私が単にtype SanitizedString = stringのエイリアスを付けた場合、そのタイプに消毒されていない文字列を割り当てることができます。

代わりに、それは私のsanitizeHtml()関数からの戻り値から来るように入力したいと思います。どちらのタイプのシステムでもこれが可能かどうかは誰にも分かりますか？

ありがとうございます！

Answer 1

Typescriptでは、交差点タイプと「タグ付け」インターフェースを使用することができます。

interface Sanitized { 
    isSanitized: never; 
} 

type SanitizedType<T> = T & Sanitized; 

function sanitizeString(str: string): SanitizedType<string> { 
    return str as SanitizedType<string>; 
} 

function printSanitizedString(sstr: SanitizedType<string>): void { 
    console.log(sstr); 
} 

printSanitizedString("Hello, world!"); // ERR 
printSanitizedString(sanitizeString("Hello, world!")); // OK 

我々は実際に（私たちはタイピングのためにそれをしたい）何のためisSanitizedの値を必要としないように、我々は我々がそれを使用しようとした場合、我々はエラーが出るのでneverとしてそれがあるタイプ。交差型であるため、通常の文字列が使用可能な場合はいつでもsanitizeString（str）の戻り値を使用できます。