在类型级别实现 JSON 反序列化

Question

我想在typescript的类型级别实现json序列化和反序列化。

我在 github 上找到了反序列化的实现。

如何实现序列化？

Answer 1

我不知道“类型级序列化”是什么意思，但您可以将它们包装在类型检查函数中。 stringify 将在类型检查函数上正常工作，因为 TypeScript 可以对输入进行类型检查：

function serialize(data: SomeInterface): string {
  return JSON.stringify(data);
}

反序列化更棘手，因为输入 string 可能包含任何内容。我认为您无法解决此编译时问题。因此，在这种情况下，如果您需要更多保证，则需要进行运行次验证：

function deserialize(input: string): SomeInterface {
  const data = JSON.parse(input);

  // Do some validation

  return data;
}

如果您绝对确定输入字符串符合接口，那么您可以直接转换：

const data = JSON.parse(input) as SomeInterface;

Answer 2

我自己实现的：

// https://github.com/type-challenges/type-challenges/issues/2835
type UnionToIntersection<T> = (T extends any ? (x: T) => any : never) extends (x: infer U) => any ? U : never
type LastUnion<T> = UnionToIntersection<T extends any ? (x: T) => any : never> extends (x: infer L) => any ? L : never
export type UnionToTuple<T, Last = LastUnion<T>> = [T] extends [never] ? [] : [...UnionToTuple<Exclude<T, Last>>, Last]

type obj2json<keys, T> = keys extends []
    ? ''
    : keys extends [infer a]
    ? a extends string
        ? a extends keyof T
            ? `"${a}":${stringify<T[a]>}`
            : never
        : never
    : keys extends [infer a, ...infer as]
    ? a extends string
        ? a extends keyof T
            ? `"${a}":${stringify<T[a]>},${obj2json<as, T>}`
            : never
        : never
    : never
type arr2json<items> = items extends []
    ? ''
    : items extends [infer a]
    ? `${stringify<a>}`
    : items extends [infer a, ...infer as]
    ? `${stringify<a>},${arr2json<as>}`
    : never
type stringify<T> = T extends object
    ? T extends Array<unknown>
        ? `[${arr2json<T>}]`
        : UnionToTuple<keyof T> extends infer keys
        ? `{${obj2json<keys, T>}}`
        : never
    : T extends string
    ? `"${T}"`
    : T extends number
    ? `${T}`
    : T extends boolean
    ? `${T}`
    : never

type x1 = stringify<{ a: '1'; b: 2; c: { a: 1 } }>
type x2 = stringify<{ a: [1, 2, 3] }>
type x3 = stringify<{ a: [1, 2, { a: 1; b: 2; c: [1, true] }] }>

这是一个没有递归优化的粗略实现。当json层数过多时，可能会出现错误：Type instantiation is excessively deep and possibly infinite.

但这对我来说已经足够了，有什么优化方案请在评论中提出。

Playground

在类型级别实现 JSON 反序列化

Implement JSON deserialization at the type level

serialization

json

typescript