[解決済み] オブジェクトの型は「不明」です typescript generics

質問

ある関数を引数として受け取り、新しい関数を返すという簡単な関数があります。この関数は Object is of type 'unknown' 返された関数を呼び出すと

const makeFunction = <T>(callback: (someParam: number, options: T) => any) => {

  return (options: T) => {
    const param = 4;

    return callback(param, options)  
  }  
}

上記のコードはtypescriptでは問題ないのですが、関数を呼び出すとエラーが発生します。

makeFunction((param, options) => {
  const a = options.optionsValue //(parameter) options: unknown,  Object is of type 'unknown'
})({optionsValue: 'some value'})

解決方法は？

この定義からTSがどのように型を推論できるかを考える必要がある。TSは2つの場所から型を理解することができる。

• 明示的な汎用型セット
• 関数の第2引数の型

あなたの使用例では、これらのどの場所でも型を指定していないので、このような結果になります。 unknown なぜなら、TSはどのようにあなたが必要とする引数の型を知ることができるからです。TSに型を理解する可能性を与えるために、あなたはorを行うことができます。

によって明示的にジェネリックを設定する。

makeFunction<YourType>((param, options) => {...))

コールバック関数をあらかじめ定義しておくなどして、コールバック関数の型を設定する。

const f = (a: number, b: {a: string}) => b // here types are set
makeFunction(f)({a: 'some value'}) // makeFunction is able to infer the types by f

また、インラインで次のようにすることもできます。 ((param: number, options: MyType))

コメント後の回答 options は動的である。

以下のような動作が必要なのではないでしょうか。

const makeFunction = <F extends (someParam: number, options: any) => any>(callback: F) => {

  return (options: Parameters<F>[1]) => {
    const param = 4;

    return callback(param, options)  
  }  
}
const f = (a: number, b: {a: string}) => b
makeFunction(f)({ a: 'a' })
const g = (a: number, b: {b: number}) => b
makeFunction(g)({b: 1})

私たちは、ほとんど何も言いません。

• F はバイナリ関数から拡張された関数であり、その型を直接推論することができます。
• Parameters<F>[1] は、与えられた関数の第2引数の型です。 F タイプ