在 TypeScript 中省略某些类型的属性

Question

我正在为学校做一个简单的项目。我想知道是否可以在 TypeScript 中省略某些类型的所有属性。

type Student = {
    firstName: string
    lastName: string
    age: number
    gender: Gender
    courses: List<Course>
}

所以在这种情况下，我只想要一个包含 Student 的所有内容的类型，而没有 "courses"。

是否可以生成一个类型，它是 Student，但没有具有 List 类型的所有属性？它需要是通用的，因此它适用于所有类型，例如：

type Program = {
    name: string
    errors: List<Error>
    successes: List<Success>
    warnings: List<Warning>
}

现在它会给出一个只包含 { name: string }

的类型

如果可能的话，有谁知道如何做到这一点？也许有条件类型？如果列表省略？

非常感谢所有帮助！

更新：添加代码示例：

type WithoutList<T> = {
    [K in keyof T]: T[K] extends List<any> ? never : T[K]
}

const select = <a, b extends keyof WithoutList<a>>(arg: a, ...keys: b[]) => {
    return null!
}

const s1: Student = {
    firstName: 's',
    lastName: 's',
    age: 22,
    gender: 'female',
    courses: List<Course>(),
}

select(s1, 'courses') // courses should not be available here!

Answer 1

您可以使用key remapping in mapped types 将您想要抑制的所有键 映射到never：

type WithoutList<T> = {
  [K in keyof T as T[K] extends List<any> ? never : K]: T[K]
};

您可以验证这适用于您示例中的 Student 和 Program 类型：

type StudentWithoutList = WithoutList<Student>;
/* type StudentWithoutList = {
    firstName: string;
    lastName: string;
    age: number;
    gender: Gender;
} */

type ProgramWithoutList = WithoutList<Program>;
/* type ProgramWithoutList = {
    name: string;
} */

以及您的 select() 函数所需的行为：

declare const s1: Student;
select(s1, "age"); // okay
select(s1, 'courses') // error!

Playground link to code

Answer 2

mapped type 与当类型扩展 List 时计算结果为 never 的条件类型相结合将得到您想要的。

由于您的代码中没有定义 Gender、List 和 Course，因此我将使用 Array 和原始类型来进行说明：

type Student = {
    firstName: string
    lastName: string
    age: number
    courses: Array<string>
}

type WithoutList<T> = {
    [K in keyof T]: T[K] extends Array<any> ? never : T[K]
}

type StudentWithoutCourse = WithoutList<Student>;

Demo