在上述尝试中有两个主要问题：

1. T[number]（indexed access type）产生T元组/数组中每种类型的 * 联合 *;当使用属于这种联合的变量时，TypeScript仅将键（共享键）的 * 交集 * 保持为有效;在您的示例中，A | B没有公共密钥，因此keyof (A | B)已经是never（即，即使没有过滤方法）
2. typeof testResolvers是readonly [typeof A, typeof B]，即它把typeof操作符分配给元组元素，我们得到类的类型 constructor 而不是实际的类类型;那么当访问它们的密钥时（例如使用keyof typeof A），我们得到的只是"prototype"
   问题1：我们想要一个 * 交集 *，而不是一个 union，TypeScript会将索引键的 union（交集任何元素中的所有索引键）保持为有效。没有简单的方法可以从Tuple建立这样的交集（我们无法使用索引存取表示法）。但它仍然是可行的，例如：

// Convert a tuple into an intersection of every type in the tuple
type TupleToIntersection<T> =
    T extends readonly never[]
    ? unknown : (
        T extends readonly [infer First, ...infer Rest]
        ? First & TupleToIntersection<Rest>
        : never)

type intersection = TupleToIntersection<typeof testResolvers>
//   ^? type intersection = typeof A & typeof B

问题2：要从构造函数类型中取回 class 类型，我们只需要确保访问"prototype"属性，通常是再次通过索引访问。如果需要，我们甚至可以构建一个helper类型来有条件地执行转换：

// Get the class (prototype) from its constructor, if available
type ConstructorToPrototype<C> = C extends { prototype: infer P } ? P : C

type AClass = ConstructorToPrototype<typeof A>
//   ^? type AClass = A

然后，我们可以将这些辅助类型插入到链中，以获得提取元组中所有类的方法的并集的所需行为：

// 1. Convert the tuple type into an intersection
// 2. Get the classes instead of constructor types
// 3. Get the keys which have function values (i.e. methods)
type ValuesOf<T extends readonly unknown[]> = ExtractFunctionKeys<ConstructorToPrototype<TupleToIntersection<T>>>;

type Foo = ValuesOf<typeof testResolvers>;
//   ^? type Foo = "getBooks" | "getBook" | "getUsers" | "getUser" | "getBooksOfUser"

Playground链接