TypeScript で時間を費やした場所の概要

タイプ タイプ = {
  キー: "値"
}
インターフェース インターフェース {
  キー: "値"
}

型は違いがないように見えますが、両方とも true = Type extends Interface ? Type extends Interface ? true : false : false

タイプ ピットポイント = {
  [キー: 文字列]: ピットポイント} | 文字列

型 test<T> = T は pitfall を拡張しますか? true : false
タイプ これは true です = テスト <タイプ>
タイプ これは false です = テスト <インターフェース>

//これで終わりです。次のコードを実際にテストするのは面倒です 🙃

//fns は関数インデックス テーブル、TFns はインデックス テーブルの const 型です。関数のオーバーロードに失敗しました <T extends keyof TFns>(fn:T, params: Parameters<fns[T]>){
    fns[fn](...params) //実装では、共用体型は縮小されないので、エラーが報告されます //エラーは「メソッド 1 のパラメータをメソッド 2 に渡すことができません」のようなものになります}
//しかし、外部で使用する場合、型のセマンティクスが満たされているかどうかは関係ありません

// 必要な型: [...number[], "middle-element", ...boolean[]] 
//上記は無効です。これは、次の型コードが何のために使用されるかを示しているだけです（上記の型制約を実装するため）

type Elem = number | boolean | "中間の要素";

型 Last<T extends any[]> = T extends [infer _]
  ？ 一度もない
  : T は [..._ を推論し、Tl を推論する] を拡張します
  ? テル
  ： 一度もない

型HandleEmpty<T extends any[], Data> = T['length'] extends 0 ? never : Data

型Validation<Params extends any[], Cache extends Elem[] = []> =
  パラメータは[]を拡張します
  ? キャッシュ['length']は0を拡張します
  ？ 一度もない
  : キャッシュ
  : Params は [Fst を推論し、...Rest を推論] を拡張します
  ? キャッシュは [] を拡張します
  ? Fstは数値を拡張します
  ? HandleEmpty<Rest、Validation<Rest、[...Cache、Fst]>>
  ： 一度もない
  : Fstは数値を拡張します
  ? Last<Cache> は数値を拡張します
  ? HandleEmpty<Rest、Validation<Rest、[...Cache、Fst]>>
  ： 一度もない
  : Fst は「中間要素」を拡張します
  ? Last<Cache> は数値を拡張します
  ? HandleEmpty<Rest、Validation<Rest、[...Cache、Fst]>>
  ： 一度もない
  : 「中間要素」はCache[番号]を拡張します
  ? Fstはブール値を拡張します
  ? 検証<Rest、[...Cache、Fst]>
  ： 一度もない
  ： 一度もない
  ： 一度もない

型 IsNever<T> = [T] は [never] を拡張します ? true : false;

機能チェック<
  ParamsはElem[]を拡張します。
  IsValid は Validation<Params> を拡張します。
>(...arr: IsNever<IsValid> は true を拡張しますか? [never] : [...Params]) {
  リターン
}

const normal = check(1, '中間要素', false)
const error = check(false, "中間要素", 2)

//{ "new-a":任意; "new-b":任意 }
タイプ リマップ = {
    [K in "a" | "b" を `new-${K}` として]: 任意
}

//"a1"|"b2"
型分割が正常に完了しました <_Keys = keyof { a: 1, b: 2 }> = _Keys は infer K を拡張しますか?
    `${Extract<K, 文字列>}${{ a: 1, b: 2 }[Extract<K, _Keys>]}`
    ： 一度もない

// 注: (ts4.4.4 時点) 直接 `keyof Obj extends infer K` はユニオン型を分割できません。理由は不明です (確認するのが面倒です 😁)。
//結果は「a1」|「a2」|「b1」|「b2」
型の分割に失敗しました = keyof { a: 1, b: 2 } は infer K を拡張しますか?
    `${Extract<K, 文字列>}${{ a: 1, b: 2 }[Extract<K, "a" | "b">]}`
    ： 一度もない

型Converter<T> = Tは文字列を拡張しますか？ "str" ​​: null
//[文字列、数値、文字列]として入力され、["str",null,"str"]として出力されます
型の再帰<
        入力ソースはany[]を拡張します。
        内部型キャッシュはany[] = []を拡張します。
    > = 入力ソースは [any、...残りの要素を推測] を拡張しますか?
        再帰 <残りの要素、[...内部型キャッシュ、コンバーター <入力ソース [0]>]>
        : 入力ソース