質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.35%
TypeScript

TypeScriptは、マイクロソフトによって開発された フリーでオープンソースのプログラミング言語です。 TypeScriptは、JavaScriptの構文の拡張であるので、既存の JavaScriptのコードにわずかな修正を加えれば動作します。

Q&A

解決済

1回答

1500閲覧

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

Hayato1201

総合スコア231

TypeScript

TypeScriptは、マイクロソフトによって開発された フリーでオープンソースのプログラミング言語です。 TypeScriptは、JavaScriptの構文の拡張であるので、既存の JavaScriptのコードにわずかな修正を加えれば動作します。

0グッド

0クリップ

投稿2022/01/02 08:51

編集2022/01/03 04:26

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

TypeScript

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

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

TypeScript

1export const getHogeObject = <T, U>( 2 id: T, 3 sortPattern: 'desc' | 'asc' 4): U[] => { 5 let hogeObject: U[] 6 hogeObject = [{ [id as any]: sortPattern }] as any as U[] 7 return hogeObject 8}

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

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

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

以下について

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

TypeScript

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

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

Playground

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ベストアンサー

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

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

投稿2022/01/02 09:40

maisumakun

総合スコア146018

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

Hayato1201

2022/01/03 00:57

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

2022/01/03 01:26

> T extends string なのでしょうか? リストの対象が決まっているのなら、T extends 'hoge' | 'huga' | 'piyo'のように明記する型でも構いません。 > メソッドの戻り値として => の先に指定する型はどの様に書けば良いのでしょうか? そらで書いているので自信はないですが、Record<T, 'desc' | 'asc'>[]のようにすればいいかと思います。
maisumakun

2022/01/03 01:27

> 何を記載すれば良いのか分からないためUとして型引数で渡す様にしていました。 型引数は、そういう使い方をするためにあるものではありません。
Hayato1201

2022/01/03 04:25

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

2022/01/03 04:35

> メソッドの返り値を受け取った先でまた以下の様にキャストする必要があるという事にならないないでしょうか? それは、オーバーロードなどで厳格に切り分けをやらない限りは仕方ないことです。
Hayato1201

2022/01/03 08:46

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

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.35%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問