SmartBeeでは新機能開発のほか、大規模開発に向けた言語の移行も視野に入れ検討を進めています。
そのような中で起きた開発メモを残しておきたいと思います。
■ 問題のコード
```typescript
const test = (): string | undefined => {
return "hello"
}
if (test() !== undefined){
test().length // エラー
}
```
プロパティシグネチャが`undefined`を含みますが、
メソッド自体は必ず`string`を返しますし、
`if`文の前に`undefined`のチェックも行っています。
それなのになぜエラーが出るのでしょうか？
■ なぜこうなる？
これは、型の絞り込みは、変数にしか行われないためです。 メソッドの返り値は、型の絞り込みには使用できません。
以下のように変更してみたらどうでしょうか？
```typescript
let cnt = 0
const test = (): string | undefined => {
if (cnt > 1){
return undefined
}
cnt = cnt + 1
return "hello"
}
if (test() !== undefined){
test().length // エラー
}
```
このコードを型チェックを無効にして実際に動かしてみると、
実行時にエラーが発生します。
これは、`test()`が副作用を持つメソッドであり、呼ぶために実行結果が変わるためです。
これでは型の絞り込みが意味がありません。
■ どうする？
型の絞り込みは変数にしか効きません。
なので、実行結果を変数に入れてやります。
```typescript
const test = (): string | undefined => {
return "hello"
}
const testResult = test() // ここではまだundefinedの絞り込みはされてない
if (testResult !== undefined){ // ここでundefinedの可能性を除外
testResult.length // 5
}
```
これで無事に通ります。
SmartBee
作業項目や現場情報の一括管理を可能にするクラウドサービスです。
SmartBeeを導入すれば、管理業務の負担が減るばかりでなく、点検現場の状況をリアルタイムで把握でき、ミスやコスト削減につながります。
