ジェネリックスのあるTypescript矢印関数の構文は何ですか？

typescriptハンドブックは現在、矢印機能について何も持っていません。通常の関数は、一般的に次の構文で型付けできます。例：

function identity<T>(arg: T): T {
    return arg;
}

矢印関数の構文は何ですか？

ロビンによって参照される構文を説明する完全な例...

ジェネリック関数

次のようなものがうまくいきます：

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

ただし、矢印ジェネリック関数を使用しても、次のことは行われません。

const foo = <T>(x: T) => x; // ERROR : unclosed `T` tag

回避策：ジェネリックパラメーターにextendsを使用して、コンパイラーがジェネリックであることをコンパイラに通知します。例：

const foo = <T extends unknown>(x: T) => x;

上記の例は混乱を招きました。ReactとJSXを使用しているので、シナリオが複雑になっていると思います。

TypeScript Deep Diveから説明を得ました。これには、矢印のジェネリックが記載されています。

回避策：ジェネリックパラメーターでextendsを使用して、ジェネリックであることをコンパイラーに知らせます。これは、私を助けた単純な例からのものです。

    const identity = < T extends {} >(arg: T): T => { return arg; }

あなたがいる場合は.tsx、ファイルあなただけ書き込むことはできません<T>が、この作品：

const foo = <T, >(x: T) => x;

extends {}ハックとは対照的に、このハックは少なくとも意図を保持します。

言語仕様はp.64fで述べています

<T>（...）=> {...}という形式の構造は、型パラメーターを持つ矢印関数式として、または型パラメーターなしの矢印関数に適用される型アサーションとして解析できます。前者として解決される[..]

例：

// helper function needed because Backbone-couchdb's sync does not return a jqxhr
let fetched = <
           R extends Backbone.Collection<any> >(c:R) => {
               return new Promise(function (fulfill, reject) {
                   c.fetch({reset: true, success: fulfill, error: reject})
               });
           };

これは私のために働く

const Generic = <T> (value: T) => {
    return value;
} 

extends {}作品で人気のある答えはと比べて優れていますがextends any、は強制的にTオブジェクトになります

const foo = <T extends {}>(x: T) => x;

これを回避し、タイプセーフを保持するには、extends unknown代わりに使用できます

const foo = <T extends unknown>(x: T) => x;

このタイプの宣言を使用します。

const identity: { <T>(arg: T): T } = (arg) => arg;

必要に応じて関数に追加の小道具を定義することができ、場合によっては、関数の本体を一般的な定義からよりクリーンに保つのに役立ちます。

追加の小道具（名前空間のようなもの）が必要ない場合は、次のように簡略化できます。

const identity: <T>(arg: T) => T = (arg) => arg;

とても遅いですが、ES6では拡張する必要はありません。

let getArray = <T>(items: T[]): T[] => {
    return new Array<T>().concat(items)
}

let myNumArr = getArray<number>([100, 200, 300]);
let myStrArr = getArray<string>(["Hello", "World"]);
myNumArr.push(1)
console.log(myNumArr)