TypeScriptでundefined型をnumber型に直したい。

Question

前提

お世話になります。

TypeScriptでフィボナッチ数列を出力する関数を実装しているのですが、下の画像のようにmemo.get(n)の部分がundefined型として認識されるようで、number型の関数の戻り値にするとエラーが起こります。

ご助力のほど、何卒よろしくお願いいたします。

発生している問題・エラーメッセージ

[{
	"resource": "/c:/Users/Kanon/workspace/fibonacci-sequence/fibonacci.ts",
	"owner": "typescript",
	"code": "2322",
	"severity": 8,
	"message": "型 'number | undefined' を型 'number' に割り当てることはできません。\n  型 'undefined' を型 'number' に割り当てることはできません。",
	"source": "ts",
	"startLineNumber": 20,
	"startColumn": 4,
	"endLineNumber": 20,
	"endColumn": 10
}]

該当のソースコード

const fibSequence = (n: number): number => {
	const memo = new Map<number, number>();
	memo.set(0, 0);
	memo.set(1, 1);
	const fib = (n: number): number => {
		if (memo.has(n)) {
			return memo.get(n);　// ここでエラー
			
		}
		const value = fib(n - 1) + fib(n -2);
		memo.set(n, value);
		return value;
	}
	for (let i = 0; i <= n; i++) {
		console.log(fib(i));
	}
	return NaN;
}

試したこと

検索しても解決策を見つけられなかったため、以下のようににmemo.get(n)を変数に代入し、その変数を戻り値に指定してみたりもしましたが、特に何も変わりませんでした。

const value = memo.get(n);
return value;

補足情報（FW/ツールのバージョンなど）

作業環境はWindows11です。
他に必要な情報がございましたら仰ってくださいませ。

Answer 1

get() メソッドが下記のように定義されていることがエラーの原因です。
(method) Map<number, number>.get(key: number): number | undefined

回避するには次の方法が一般的なようです。

1, undefinedが返ってきた場合のロジックを例外などを記述し、型を保証する

if (memo.has(n)) {
    const value = memo.get(n);
    if (value === undefined) {
        throw new Error('memo is undefined');
    }
    return value;
}

2, non null assertionを使う

memo.get(n)!;

参考：
https://stackoverflow.com/questions/70723319/object-is-possibly-undefined-using-es6-map-get-right-after-map-set
https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-0.html#non-null-assertion-operator

Comments

[kanon_2155103]

ありがとうございます！
なるほど、undefined型になる可能性を排除する必要があったのですね……。
教えていただいた方法をふたつとも試しましたが、どちらも上手くいきました。