Flowでnull/undefinedのチェックを抽象化する方法は？

Question

sessionStorage.getItem()は、フロー別のオプション/タイプとして処理されます。

const accessToken1 = sessionStorage.getItem('accessToken') 
if (!accessToken1) throw new Error('Unwrapping not possible because the variable is null or undefined!') 
'Hello ' + accessToken1 // no complaints by Flow 

を今、私は抽象ヌル/未定義のチェックをしたいのですが、流れが不満停止しない：だから次はたぶん入力オプションタイプのかではなく、文字列型として結果を使用可能にする必要があります可能なヌルと未定義の型：

function unwrap<T>(value: T): T { 
    if (!value) throw new Error('Unwrapping not possible because the variable is null or undefined!') 
    return value // at this point Flow should understand it cannot be of type Optional or Maybe 
} 

'Hello ' + unwrap('World!')  // works 
'Hello ' + unwrap(null)   // complains as expected with "null This type cannot be added to string" 
'Hello ' + unwrap(undefined) // complains as expected with "null This type cannot be added to string" 
const nullString = 'null' 
'Hello ' + unwrap(nullString) // works 
const accessToken2 = sessionStorage.getItem('accessToken') 
'Hello ' + unwrap(accessToken2) // null/undefined This type cannot be added to string 
const accessToken3 = (sessionStorage.getItem('accessToken'): string) // null/undefined This type cannot be added to string 
'Hello ' + unwrap(accessToken3) // no complaints by Flow 

Answer 1

戻り値の型が、元の型に戻ります。あなたのコメントのいくつかは見当違いのように見える

function unwrap<T>(value: ?T): T { // Note the `?T` 
    if (!value) throw new Error('Unwrapping not possible because the variable is null or undefined!') 
    return value // at this point Flow should understand it cannot be of type Optional or Maybe 
} 

を試してみてください。ここに必要な修正があります：

'Hello ' + unwrap(null) // Not an error (I've opted for runtime errors with my `throw`) 
'Hello ' + unwrap(undefined) // Not an error (I've opted for runtime errors with my `throw`)