export default createStore<*, *, *>( ) の <*, *, *> の意味を知りたい

Question

前提・実現したいこと

現在React,Reduxを勉強しています。

ReduxのcreateStoreを利用したコードで以下のようなものがありました。

import {combineReducers, createStore } from 'redux';

//省略

export default createStore<*, *, *>(
 hogeReducer,
 Fuga()
);

<*, *, *>の部分は一体どういう意味でどのように使われるのでしょうか？
初めて見た構文であり、またなかなか調べても解消できなかったのでお聞きさせていただきました。

Answer 1

確証はないですが、typescriptとか使ってませんか？

function identity<Type>(arg: Type): Type {
  return arg;
}
let output = identity<string>("myString");
console.log(output)

これに近いような気がします。だとしたら引数の型定義をしているように見えます。

Comments

[k499778]

ありがとうございます。ファイル自体はjsファイルですが、tsファイルもプロジェクト内にあります。
またjsファイルに型指定の書き方をしているものも見受けられます。

たしかに戻り値の型を指定しているのでしょうか。
アスタリスクはどういうことなのでしょう

[tomoharu]

自分も一瞬returnの可能性もあるなとは思ったんですが、createstoreって引数三つの返り値一つなんですよね。数が合致するんでおそらく引数。でアスタリスクなんですが多分anyかなとは思いました。ただ確証はないです。
自分だったらアスタリスクをあえてstringとかありえない型にしてみます。
そうしたら、エディタ上でエラーが出るか、コンパイルが失敗するかすると思うので、そこから読みときますね。

[k499778]

ありがとうございます。試してみます！

[k499778]

tsxにすると「4 個の型引数が必要ですが、3 個が指定されました。」vscodeの警告が表示されましたね。。
なんだかよくわからないですが、引数説が正しいような気がします。

Answer 2

SOで同様の質問がありました。

https://stackoverflow.com/questions/44106189/what-is-the-use-of-asterisk-type-in-flow-and-what-is-the-equivalent-of-that

anyではないらしく、自分もよくわかりません。

Comments

[k499778]

ありがとうございます。確認します！

[k499778]

>It just tells Flow to infer a type parameter, rather than making you write it out explicitly:
>明示的に書き出すのではなく、タイプパラメータを推測するようにFlowに指示するだけです。

推測するのかもしれません。いまいちピンときませんが、引数の型を推測してくれるのかな。という現在の理解です。正しく理解できていないかもしれませんが、少し輪郭が見えてきた気がします。