这段代码可以很好地有条件地要求该isDirty字段成为讲座对象的一部分：

• 如果id是 type string，我必须添加一个isDirty字段：
• 如果id是 type number，则无法isDirty向对象添加字段。

type LectureT = LectureIdT & {
  title: string;
};

/**
 * Lecture must have an `isDirty` field if `id` is of type string, but should have no `isDirty` field if `id` if of type number.
 */
type LectureIdT =
  | { id: string; isDirty: boolean }
  | { id: number; isDirty?: never };
  

const lectureMockWithNumberId: LectureT = {
  id: 1,
  title: 'Lecture 1',
  // isDirty: false, // Uncomment to see error
};

const lectureMockWithStringId: LectureT = {
  id: "1",
  title: 'Lecture 2',
  isDirty: false,
};

可以在此TS Playground 中使用此代码。

问题：为什么我需要问号isDirty?: never？

我对此事的调查：

当我删除问号isDirty?: never以获取isDirty: never它不再起作用时：

type LectureIdT =
  | { id: string; isDirty: boolean }
  | { id: number; isDirty: never };

lectureMockWithNumberId 突然有一个打字稿错误：

Type '{ id: number; title: string; }' is not assignable to type 'LectureT'.
  Type '{ id: number; title: string; }' is not assignable to type '{ id: number; isDirty: never; } & { title: string; }'.
    Property 'isDirty' is missing in type '{ id: number; title: string; }' but required in type '{ id: number; isDirty: never; }'.

我们在最后一句话中看到它说这isDirty是必需的。但这对我来说似乎不对！它的类型是never-> 所以它永远不是必需的，不是吗？

为什么我必须添加一个问号才能使其工作。这似乎不合逻辑。

为了理解它，我将其更改为isDirty: never | undefined：

type LectureIdT =
  | { id: string; isDirty: boolean }
  | { id: number; isDirty: never | undefined };

但令我惊讶的是，错误仍然存​​在！不是?in ega?: string等于a: string | undefined吗？

我不明白...

1. ......为什么问号?在这里首先是必要的，而且isDirty: never;基本上是不可能的。
2. ...为什么?当它与 一起使用时表现不同never？

回答