TypeScriptの型定義に関する質問です。
ここに両者ともnullableなプロパティを持ったクラスがあったとします。
class Example {
foo: string | null;
bar: string | null;
}
このクラスでは、foo
と bar
が同時に null
になることはなく、また逆に同時に string
型になることはあるとします。
しかしこの型定義だと、例えば以下のようなコードを記述すると当然 string
型に確定することはなく、エラーとなります。
const str: string = <Example>.foo ?? <Example>.bar;
この問題を解決するために、両プロパティがnullableでありつつも、同時に null
とはならない型を定義したいのですが、解決方法が見つけられません。
もちろん、どちらかがnullableではない新しいクラスを2つ用意し、is~
のような型アサーション関数(?)でクラスを振り分ける方法もあるかと思いますが、できれば他の方法で実現できればと思っています。
よろしくお願い致します。