Feat/typesafe object mapping

src/type.ts

@@ -1,3 +1,6 @@
+/**
+ *
+ */
 // biome-ignore lint/complexity/noBannedTypes: <explanation>
 export type DictionaryLeaf = string | number | boolean | {} | [] | Function | null | undefined | symbol | bigint
 
@@ -12,10 +15,15 @@
  */
 export type Dictionary = DictionaryObject | DictionaryArray
 
-/**
- * TODO: 深い階層のキーに対応する
- */
-export type DeepKeyOf<_D extends Dictionary> = string
+export type DeepKeyOf<D extends Dictionary, A extends ArrayIndex = 'bracket'> = FixArrayIndex<DeepKeyOfInternal<D>, A>
+
+type DeepKeyOfInternal<D extends Dictionary> = {
+  [K in keyof D]: D[K] extends DictionaryLeaf | Dictionary
+    ? `${Exclude<K, symbol>}${D[K] extends Dictionary ? `.${DeepKeyOfInternal<D[K]>}` : ''}`
+    : never
+}[keyof D]
+
+type A = Exclude<keyof [1, 2, 3], symbol>
 
 /**
  *
@@ -54,6 +62,12 @@
  */
 export type ArrayIndex = 'dot' | 'bracket'
 
+type FixBracket<T extends string> = T extends `${infer L}[${infer R}]` ? `${L}.${R}` : T
+
+type FixDot<T extends string> = T extends `${infer L}.${infer R}` ? `${L}[${R}]` : T
+
+type FixArrayIndex<T extends string, A extends ArrayIndex> = A extends 'dot' ? FixDot<T> : FixBracket<T>
+
 export interface CommonOption {
   /**
    * Specify the array index style.

test/type.spec-d.ts

@@ -0,0 +1,37 @@
+import { describe, it, assertType } from 'vitest'
+import type { DeepKeyOf } from '../src/type'
+
+describe('DeepKeyOf', () => {
+  it('should returns nested object keys', () => {
+    type D = {
+      a: {
+        b: {
+          c: number
+        }
+        d: string
+      }
+    }
+
+    assertType<'a.b.c' | 'a.d'>('' as DeepKeyOf<D>)
+  })
+
+  it('should returns nested array keys', () => {
+    type D = {
+      a: {
+        b: [number, { c: string }]
+      }
+    }
+
+    assertType<'a.b[0]' | 'a.b[1]c'>('' as DeepKeyOf<D>)
+  })
+
+  it('should returns nested array keys (dot)', () => {
+    type D = {
+      a: {
+        b: [number, { c: string }]
+      }
+    }
+
+    assertType<'a.b.0' | 'a.b.1.c'>('' as DeepKeyOf<D, 'dot'>)
+  })
+})