为深层结构赋值含额外属性对象时TypeScript类型检查失效

我尝试在TypeScript中创建符合特定结构的对象，但添加不属于定义结构的属性时未收到任何类型警告，以下是演示代码：

export enum Type {
    SSH = 'SSH',
    SCP = 'SCP',
    HTTP = 'HTTP',
}

export type CredentialsPerType = {
    [T in Type]?: Credentials;
};

export interface Credentials {
    port: string;
    username: string;
    password: string;
}

function typeCheckingNotWorking() {
    for (let type of [Type.SSH, Type.SCP]) {
        const credentialsPerType: CredentialsPerType = {
            [type]: {
                port: '443',
                username: 'user',
                password: 'password',
                foo: 'bar'  // 为什么这里没有TS错误？
            }
        }
    }
}

function typeCheckingWorking() {
    for (let type of [Type.SSH, Type.SCP]) {
        const credentials: Credentials = {
                port: '443',
                username: 'user',
                password: 'password',
                foo: 'bar' // 这里会报错
            }

        const credentialsPerType: CredentialsPerType = {
            [type]: credentials,
        }
    }
}

我期望当为credentialsPerType赋值含Credentials接口未定义属性的对象时，TypeScript应抛出类型错误，但实际未收到任何错误或警告。为何此场景下类型检查未按预期工作？

核心原因：多余属性检查的触发条件限制 #

TypeScript的多余属性检查（Excess Property Checks）并不是在所有场景下都会触发，它只针对直接赋值的新鲜对象字面量：

• 在typeCheckingWorking函数中，你直接把对象字面量赋值给标注了Credentials类型的变量，此时对象字面量是“新鲜”的（未被其他变量引用），TS会启动严格的多余属性检查，发现foo不属于Credentials的属性，因此报错。
• 在typeCheckingNotWorking函数中，对象字面量是作为计算属性的值进行赋值的，这种场景下TS不会触发多余属性检查。因为计算属性的键是动态的，TS认为你可能有意扩展对象结构，或者无法提前确定完整的属性集合，只会校验该对象是否兼容Credentials类型（即包含所有必填属性port、username、password），而不会限制额外属性。

TypeScript的结构类型系统本身允许对象拥有目标类型之外的属性，只要满足目标类型的所有要求即可——多余属性检查是额外的严格校验，仅在特定场景生效。

解决方案：强制触发多余属性检查 #

如果需要在计算属性场景下也校验多余属性，可以通过以下方式实现：

• 显式类型断言：将对象字面量断言为Credentials类型，强制TS进行校验：

  const credentialsPerType: CredentialsPerType = {
      [type]: {
          port: '443',
          username: 'user',
          password: 'password',
          foo: 'bar'  // 此时会触发TS错误
      } as Credentials
  }
  

• 先赋值给明确类型的变量：就像typeCheckingWorking函数那样，先将对象字面量赋值给Credentials类型的变量，再放到计算属性中。

内容的提问来源于stack exchange，提问作者karlosos