ジェネリクス関数でデフォルト引数を指定するとエラーになる対処法 (TypeScript / Deno)

Question

前提

(直接関係のないことが長くつづくので、端的に把握していただくなら「実現したいこと」から見ていただけると幸いです。)

TypeScriptで、ジェネリクスを使った関数にデフォルト引数を指定したプログラムを書こうとしています。

具体的には"yyyy-mm-dd"から
{ year: +yyyy, month: +mm, day: +dd }
のようなものをデフォルトで返す関数を作成しております。

この関数は、状況に応じて例えばmmを
month: { value: number; isLeap: boolean; }
の形式にパースする関数
(str: string) => { value: number; isLeap: boolean; }
を引数で渡すことができます。

このような関数を作成する際、大本となる以下のコードを作成した時にエラーが発生しました。

function parseXFromString<T>(
    xStr: string,
    parser: ((str: string) => T) = ((str: string) => +str)
): { x: T } {
    return { x: parser(xStr) };
}

エラーメッセージ
3行目: parser: ((str: string) => T) = ((str: string) => +str)の部分
'T' could be instantiated with an arbitrary type which could be unrelated to 'number'

つきつめると、ジェネリクス関数で以下のようにデフォルト引数を指定した時にエラーとなることが分かりました。

function f<T>(x: T = "default"): T {
	return x;
}

エラーメッセージ
1行目 x: T = "default" の部分
'T' could be instantiated with an arbitrary type which could be unrelated to 'string'.

実現したいこと

• 「#該当のソースコード」で、デフォルト引数"default"より、デフォルトではTをstringとするデフォルト引数を指定したジェネリクス関数を作成したい

自分のジェネリクスへの理解不足による問題だと思いますが、こういうことは不可能(デフォルト引数に指定した型は型引数のデフォルトと互換性がなく型引数のデフォルトにならない)なら教えていただけると幸いです。よろしくお願いします。

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

ジェネリクス関数で型引数を用いたデフォルト引数を指定した時に、型引数Tがデフォルト引数の型stringになることなく以下のエラーとなる
1行目 x: T = "default"の部分
'T' could be instantiated with an arbitrary type which could be unrelated to 'string'.

該当のソースコード

function f<T>(x: T = "default"): T {
	return x;
}

試したこと

• 以下のようにデフォルト引数と同じ型stringを型引数Tのデフォルト引数とするなどしたがうまく行かなかった

function f<T = string>(x: T = "default"): T {
	return x;
}

• デフォルト引数でなく指定した場合はエラーが出なかった

function f<T>(x: T): T {
	return x;
}

f("default");

• Denoの問題かとTS Playgroundで試したが同様のエラーが出た

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

OS: Windows11
Runtime: Deno 1.23.2 (release, x86_64-pc-windows-msvc)
TypeScript: 4.7.2

Answer 1

取り急ぎの対処としては as T でキャストすればエラーは消えるかと思います。

 function parseXFromString<T>(
   xStr: string,
-  parser: ((str: string) => T) = ((str: string) => +str)
+  parser: ((str: string) => T) = ((str: string) => +str as T)
 ): { x: T } {
   return { x: parser(xStr) };
 }

-function f<T>(x: T = "default"): T {
+function f<T>(x: T = "default" as T): T {
   return x;
 }

Comments

[Masa_903]

なるほど、型引数Tでキャストするのは盲点でした…！ありがとうございます🙇