活字体strictNullChecksとクロージャ

Question

のは、私はこのようなコードがあるとしましょう：

function f(x: string | undefined) { 
    if (x) { 
     console.log(x); 
     Promise.resolve() 
      .then(() => g(x)) // error, x is string | undefined 
    } 

    // x = undefined; 
} 

function g(y: string) { 
} 

型ガードとしてif (x)行為、そうxconsole.logでstringを入力しています。しかし、.thenのクロージャから参照される場合、そのタイプはstring | undefinedです。 .thenのコードが実行される前に、型ガードの外側で値が未定義に戻ってしまう可能性があるからです。しかし、もしそれが再び設定されなければ、Typescriptはそれを検出させるような種類の分析をしてはならない。

xの!演算子を使用して回避することができます。しかし、私はコードベースでこの種のことをしばしば行い、xを未定義にすることで後で壊れることから保護しません。

他の方法がありますか？問題を正しく理解していますか？

私はあなたがこれらのいずれかを行うことができると思います

Answer 1

：

（1）使用のconst：

function f(x: string | undefined) { 
    if (x) { 
     const x2 = x; 
     Promise.resolve().then(() => g(x2)); 
    } else { 
     // x = undefined; 
    } 
} 

（2）約束の前にg()を呼び出します。

function f(x: string | undefined) { 
    if (x) { 
     let y = g(x); 
     Promise.resolve().then(() => y); 
    } else { 
     // x = undefined; 
    } 
}