确保泛型类型在 Typescript 中仅具有原始属性

我有一个采用泛型类型的函数，我需要确保该类型是 JSON 可序列化的（也称为仅原始属性）。

我的尝试是为 JSON 兼容类型定义一个接口，并强制我的泛型扩展此类型：

type JSONPrimitive = string | number | boolean | null
interface JSONObject {
  [prop: string]: JSONPrimitive | JSONPrimitive[] | JSONObject | JSONObject[]
}
export type JSONable = JSONObject | JSONPrimitive | JSONObject[] | JSONPrimitive[]

function myFunc<T extends JSONable>(thing: T): T {
  ...
}

// Elsewhere

// I know that if this was defined as a `type` rather than
// an `interface` this would all work, but i need a method
// that works with arbitrary types, including external interfaces which
// are out of my control
interface SomeType {
  id: string,
  name: string
}

myFunc<SomeType[]>(arrayOfSomeTypes)
// The above line doesn't work, i get: 
// Type 'SomeType[]' does not satisfy the constraint 'JSONable'.
//   Type 'SomeType[]' is not assignable to type 'JSONObject[]'.
//     Type 'SomeType' is not assignable to type 'JSONObject'.
//       Index signature is missing in type 'SomeType'.ts(2344)

这里的问题似乎归结为索引签名在打字稿中的工作方式。具体来说，如果类型缩小了索引签名允许的可能属性，则该类型无法使用索引签名扩展类型。 （IESomeType不允许你随意添加foo财产，但是JSONable当然会。这个问题在这篇文章中有进一步的描述现有的 github 问题 https://github.com/Microsoft/TypeScript/issues/1897.

所以我知道上面的方法并没有真正起作用，但问题仍然存在，我需要一些可靠的方法来确保泛型类型是 JSON 可序列化的。有任何想法吗？

提前致谢！

我可能会在这里进行的方式（在没有修复或更改的情况下）接口中隐式索引签名的潜在问题 https://github.com/microsoft/TypeScript/issues/15300) 会将您想要的 json 类型表示为类似于这样的通用约束：

type AsJson<T> = 
  T extends string | number | boolean | null ? T : 
  T extends Function ? never : 
  T extends object ? { [K in keyof T]: AsJson<T[K]> } : 
  never;

So AsJson<T>应该等于T if T是一个有效的 JSON 类型，否则它将有never在它的定义中的某个地方。然后我们可以这样做：

declare function myFunc<T>(thing: T & AsJson<T>): T;

这要求thing be T（这推断T为你）相交的 with AsJson<T>，这增加了AsJson<T>作为一个额外的限制thing。让我们看看它是如何工作的：

myFunc(1); // okay
myFunc(""); // okay
myFunc(true); // okay
myFunc(null); // okay

myFunc(undefined); // error
myFunc(() => 1); // error
myFunc(console.log()); // error

myFunc({}); // okay
myFunc([]); // okay
myFunc([{a: [{b: ""}]}]); // okay

myFunc({ x: { z: 1, y: () => 1, w: "v" } }); // error!
//  --------------> ~
//  () => number is not assignable to never

现在您的接口类型已被接受：

interface SomeType {
  id: string;
  name: string;
}

const arrayOfSomeTypes: SomeType[] = [{ id: "A", name: "B" }];
myFunc(arrayOfSomeTypes); // okay

好的，希望有帮助。祝你好运！

链接到代码 http://www.typescriptlang.org/play/#code/C4TwDgpgBAggzgKTgewHYB4AqA+KBeKAKCikyggA9gJUATOKOYAJwEtUBzKAHylQFcAtgCMIzHlGHJkAGwgBDVBIEyZUAPykoALiIkylanQYAxfqgDGwVmg18IANzE69WwzXpRkwgFYQrdgDeUADaANJQ7FAA1hAgyABmpAC6uvBIaFjhybgAvi7E9k7MANyEhLT+MvLM0AnmVjZKgiBmlljYABTAABbsHLpkAGSwiCgYOACUg2WELW0WnQCMkyVQAPTrXtHyIHOtDZ0AREerG1vIO3vzhyz8EGeb27v7C50qMo8XV+U3lp3mSoJdgQWhfcjMZjIZivQ6dSb4XArNZPMRQmF-RYWNAoOQAOhkyA48PBaOhvwO-0CuXBlxemM6IWStJ+DJCgXkunZwl0J1yyX5LJesKpUAoumCAC9dEsADRQEC6eGIqByqAAd15DiOUHyNJRWzJzAAhIQnlAALRW602m24AB+Zq2UGVeFwAhEzlYDFQyGAUHkcDgrA4qHkwjkUGAyCKYnKhHY1GYCXkFmgAGVkIIIJhwNBAoVWLRdEw2JwyiQw9mSyx+mVcuVsagmAHIbsAPIJTPZ3OQOC6bs5vNM-ChYJF3kwI7yqsQXkAIR1-LKDJqzA7XazQ77Qr2QA