Fix JsonStringifyResult bug with tupple (#164)

* Fix JsonStringifyResult bug with tupple

* Fix

Author: mpppk

pkgs/typed-api-spec/src/fetch/index.t-test.ts

@@ -118,7 +118,6 @@ type ValidateUrlTestCase = [
   (async () => {
     const f = fetch as FetchT<"", JsonSpec>;
     const f2 = fetch as FetchT<"", Spec>;
-    const JSONT = JSON as JSONT;
     {
       // @ts-expect-error fetch requires input
       f();

pkgs/typed-api-spec/src/json/index.test.ts

@@ -20,6 +20,7 @@ describe("JsonStringifyResult", () => {
       k: (string | undefined | Date)[];
       [l]: string;
       m: { toJSON: () => { x: number; y: string | undefined } };
+      n: [number, number];
     };
     // eslint-disable-next-line @typescript-eslint/no-unused-vars
     type T = Expect<
@@ -35,6 +36,7 @@ describe("JsonStringifyResult", () => {
           k: (string | null)[];
           // FIXME: y should be optional
           m: { x: number; y: string | undefined };
+          n: [number, number];
         }
       >
     >;
@@ -55,6 +57,7 @@ describe("JsonStringifyResult", () => {
       k: ["a", undefined, new Date("2021-01-01")],
       [l]: "symbol keyed value",
       m: { toJSON: () => ({ x: 1, y: undefined }) },
+      n: [1, 2],
     };
 
     expect(JSON.parse(JSON.stringify({ ...example, h: undefined }))).toEqual({
@@ -66,6 +69,7 @@ describe("JsonStringifyResult", () => {
       j: { nested: "world" },
       k: ["a", null, "2021-01-01T00:00:00.000Z"],
       m: { x: 1 },
+      n: [1, 2],
     });
   });
 });

pkgs/typed-api-spec/src/json/index.ts

@@ -20,47 +20,40 @@ type JsonPrimitive = string | number | boolean | null | Date;
 // eslint-disable-next-line @typescript-eslint/ban-types
 type InvalidJsonValue = undefined | Function | symbol | bigint;
 
-// 配列要素の変換: 不適切な値は null に
-type JsonifyArrayElement<T> = T extends InvalidJsonValue ? null : Jsonify<T>;
-
-// オブジェクトの変換
 type JsonifyObject<T> = {
-  // keyof T から string 型のキーのみを抽出 (シンボルキーを除外)
   [K in keyof T as K extends string
-    ? // プロパティの値 T[K] を Jsonify した結果を ProcessedValue とする
-      Jsonify<T[K]> extends infer ProcessedValue
-      ? // ProcessedValue が 不適切な型なら、このプロパティ自体を除外 (never)
-        ProcessedValue extends InvalidJsonValue
-        ? never
-        : // そうでなければキー K を採用
-          K
-      : never
-    : never]: Jsonify<T[K]>; // ↑で採用されたキー K に対して、変換後の値 ProcessedValue を割り当て
+    ? T[K] extends InvalidJsonValue
+      ? never
+      : K
+    : never]: Jsonify<T[K]>;
 };
 
-// メインの再帰型
-type Jsonify<T> =
-  // 1. toJSONメソッドを持つか？ -> あればその返り値を Jsonify
-  T extends { toJSON(): infer R }
-    ? Jsonify<R>
-    : // 2. Dateか？ -> string
-      T extends Date
-      ? string
-      : // 3. その他のプリミティブか？ -> そのまま
-        T extends JsonPrimitive
+// タプル型を保持するためのヘルパー型 - 再帰の深さを制限
+type JsonifyTuple<T extends readonly unknown[]> = T extends [
+  infer First,
+  ...infer Rest,
+]
+  ? [
+      First extends InvalidJsonValue ? null : Jsonify<First>,
+      ...JsonifyTuple<Rest>,
+    ]
+  : [];
+
+type Jsonify<T> = T extends { toJSON(): infer R }
+  ? Jsonify<R>
+  : T extends Date
+    ? string
+    : T extends JsonPrimitive
+      ? T
+      : T extends InvalidJsonValue
         ? T
-        : // 4. 不適切な値か？ -> そのまま (呼び出し元で処理)
-          T extends InvalidJsonValue
-          ? T
-          : // 5. 配列か？ -> 各要素を JsonifyArrayElement で変換
-            T extends Array<infer E>
-            ? Array<JsonifyArrayElement<E>>
-            : // 6. オブジェクトか？ -> JsonifyObject で変換
-              T extends object
+        : T extends readonly [unknown, ...unknown[]] // タプル型の特別処理
+          ? JsonifyTuple<T>
+          : T extends (infer E)[]
+            ? (E extends InvalidJsonValue ? null : Jsonify<E>)[]
+            : T extends object
               ? JsonifyObject<T>
-              : // 7. それ以外 (通常は到達しない) -> never
-                never;
+              : never;
 
-// 最終的な型: トップレベルでの undefined/function/symbol/bigint は undefined になる
 export type JsonStringifyResult<T> =
   Jsonify<T> extends InvalidJsonValue ? undefined : Jsonify<T>;