ジェネリクスを使ったTypeScriptのメソッドについてです。

Question

以下の様にオブジェクトのリストを生成して返すメソッドを実装しましたが一部エラーが出る部分があります。

export const getHogeObject = <T, U>(
  id: T,
  sortPattern: 'desc' | 'asc'
): U[] => {
  let hogeObject: U[]
    hogeObject = [{ [id]: sortPattern }] as U[] //<= 計算されたプロパティ名は 'string' 型、'number' 型、'symbol' 型、または 'any' 型のいずれかでなければなりません
  return hogeObject
}

そこで[id]の部分を　[id　as any]: とすると今度はas U[]ができないので最終的に以下の様にするとエラーは消えます。

export const getHogeObject = <T, U>(
  id: T,
  sortPattern: 'desc' | 'asc'
): U[] => {
  let hogeObject: U[]
    hogeObject = [{ [id as any]: sortPattern }] as any as U[]
  return hogeObject
}

この様にジェネリスクスで型を選べるようにする場合は何かとasによるキャストが多発するのは仕方ない事なのでしょうか？
ロジック一つ切り抜くにしてもこの様に一旦anyに変換してから目的の型にするなどしなくて良い方法などありますか？？

--------追記-----------

ご回答でご指摘いただいた件で追記させていただきます。

以下について

Record<T, 'desc' | 'asc'>[]のようにすればいいかと思います。

export const getHogeObject = <T extends Hoge|Huga|Piyo>(
  id: T,
  sortPattern: 'desc' | 'asc'
): Record<T, 'desc' | 'asc'>[] => {

上記のように宣言するという事であっていますでしょうか？
こちらのメソッドでは戻り値の型を元々U[]としていましたが、これはtype A|B|C|Dの様なABCDどれかが引数の型Hoge,Huga,Piyoどれかによって返る想定でした。その場合確かにRecord<T, 'desc' | 'asc'>[]とA[],B[],C[],D[]は同義ですがメソッドの返り値を受け取った先でまた以下の様にキャストする必要があるという事にならないないでしょうか？

Playground

Answer 1

現状では、少なくとも2つ問題があります。

• Tが任意の型になっているので、オブジェクトなど、別なオブジェクトの添字にできない型が投げられる可能性があります。T extends string|numberなど、添字として利用可能な型に限定しましょう。
• Uを型引数としていますが、これはTを決めれば決まるものなので、型引数とするのが不適当です。Tから適切な返り値の型を作ってください。

Comments

[Hayato1201]

ご回答ありがとうございます！
＞添字として利用可能な型に限定しましょう
こちらはtype ('hoge' | 'huga' | 'piyo' )のようなstringになるので T extends string なのでしょうか？
>これはTを決めれば決まるものなので
確かにそうなのですが、メソッドの戻り値として => の先に指定する型はどの様に書けば良いのでしょうか？Tを指定した段階で確かにUに指定すべきtypeは決まってきますがメソッドとして宣言する際には何を記載すれば良いのか分からないためUとして型引数で渡す様にしていました。

[maisumakun]

> T extends string なのでしょうか？

リストの対象が決まっているのなら、T extends 'hoge' | 'huga' | 'piyo'のように明記する型でも構いません。

> メソッドの戻り値として => の先に指定する型はどの様に書けば良いのでしょうか？

そらで書いているので自信はないですが、Record<T, 'desc' | 'asc'>[]のようにすればいいかと思います。

[maisumakun]

> 何を記載すれば良いのか分からないためUとして型引数で渡す様にしていました。

型引数は、そういう使い方をするためにあるものではありません。

[Hayato1201]

度々ありがとうございます！
繰り返しすみませんが元の質問の方に追記する形で戻り値に対する質問を追記させて頂いたのでご返信頂けると大変助かります。。

[maisumakun]

> メソッドの返り値を受け取った先でまた以下の様にキャストする必要があるという事にならないないでしょうか？

それは、オーバーロードなどで厳格に切り分けをやらない限りは仕方ないことです。

[Hayato1201]

繰り返しのご返信ありがとうございました！