Typescript、接口、类型、多个可选属性、以其他属性为条件的属性

Question

如果存在updatedBy 属性，我需要一个需要属性updatedAt 的接口或类型（反之亦然）；但是，它应该不允许设置任何属性。

interface BaseRow {
    id: string
    createdAt: string
    createdBy: string
}

interface Updated {
    updatedAt: string
    updatedBy: string
}

interface UpdatedRow extends BaseRow, Updated {}

type Row = BaseRow | UpdatedRow

基于上述情况，我预计以下内容会导致打字稿编译器抛出错误，因为updatedAt 存在但updatedBy 不存在。

const x: Row = {
    id: 'someID',
    createdAt: 'someISO',
    createdBy: 'someID',
    updatedAt: 'someISO'
}

以上内容不会引发任何错误。

为什么上述解决方案没有按预期工作？实现有条件地需要两个或更多属性的interface 或type 的最佳方法是什么？

Typescript Playground

Answer 1

根据对对象literals实施严格检查的PR，执行的检查是：

...对象字面量指定目标类型中不存在的属性是错误的

虽然属性位于联合类型的不同分支上，但该属性存在于联合类型上。由于另一个更新的属性不存在，对象字面量不符合UpdatedRow 接口，但它确实符合Row 接口，因此它可以分配给变量。这就是没有错误的原因。

一种解决方案（可能适用于您的情况，也可能不适用）是通过在两个接口上添加一个类型为不同字符串文字类型的字符串属性来确保更新的行与未更新的行不兼容：

interface BaseRow {
    id: string
    createdAt: string
    createdBy: string
}

interface Updated {
    type: 'u'
    updatedAt: string
    updatedBy: string
}

interface UpdatedRow extends BaseRow, Updated {}

type Row = (BaseRow & { type: 'n'})  | UpdatedRow

const x: Row = { // Error, no updatedBy
    type: 'u',
    id: 'someID',
    createdAt: 'someISO',
    createdBy: 'someID',
    updatedAt: 'someISO'
}

const x2: Row = { // Error, with updatedAt is not assignable to (BaseRow & { type: 'n'}) 
    type: 'n',
    id: 'someID',
    createdAt: 'someISO',
    createdBy: 'someID',
    updatedAt: 'someISO'
}