TypeScript接口全为可选属性时为何不提示多余字段错误？

这个现象是TypeScript的类型系统设计特性决定的，主要和两个规则相关：

1. 多余属性检查的触发限制 #

TypeScript的多余属性检查（也就是你期望的“未定义字段报错”能力）仅在「对象字面量直接赋值给明确标注了类型的变量/参数」这一个特定场景下生效。
你当前代码中，返回的对象字面量是作为函数返回值隐式匹配AxiosRequestConfig类型，不属于直接赋值场景，TypeScript只会校验返回值是否满足接口的最小契约：也就是所有存在的属性类型和接口定义匹配即可，多余属性默认不会触发报错。

2. 弱类型的校验规则 #

当一个接口的所有属性都是可选类型时，TypeScript会将其识别为「弱类型（Weak Type）」。对弱类型的赋值校验规则非常宽松：只有当赋值的对象和弱类型没有任何重叠的属性时，才会抛出错误。
你的返回对象中包含url、method等和AxiosRequestConfig匹配的属性，哪怕额外加了未定义的a字段，也不会触发弱类型校验报错。 #

如果需要强制拦截未在接口中定义的字段，可以用以下两种方式实现：

方式1：给返回值增加显式类型标注 #

将返回的对象先赋值给明确标注了AxiosRequestConfig类型的变量，触发多余属性检查：

const serviceMap: test = { 
  getOperationLogListByConditions(conditions: any) {
    const { 
      currentPageIndex,
      createTimeStart,
      createTimeEnd,
      ...rest
    } = conditions
    // 显式标注类型触发多余属性检查
    const config: AxiosRequestConfig = {
      url: '/operateLog/page',
      method: 'GET',
      params: {
        ...rest,
        pageNo: currentPageIndex,
        createTimeStart: encodeURIComponent(createTimeStart),
        createTimeEnd: encodeURIComponent(createTimeEnd)
      },
      a:"" // 此处会触发多余属性报错
    }
    return config
  }
}

方式2：实现精确类型校验 #

如果需要在所有场景下都禁止多余属性，可以定义一个工具类型实现精确校验，TypeScript 4.1.2完全支持该语法：

// 定义精确匹配工具类型
type Exact<T extends object, U extends T> = U & Record<Exclude<keyof U, keyof T>, never>
// 定义辅助构造函数
const defineAxiosConfig = <T extends AxiosRequestConfig>(config: Exact<AxiosRequestConfig, T>) => config
// 使用时用辅助函数包裹返回值
const serviceMap: test = { 
  getOperationLogListByConditions(conditions: any) {
    const { 
      currentPageIndex,
      createTimeStart,
      createTimeEnd,
      ...rest
    } = conditions
    return defineAxiosConfig({
      url: '/operateLog/page',
      method: 'GET',
      params: {
        ...rest,
        pageNo: currentPageIndex,
        createTimeStart: encodeURIComponent(createTimeStart),
        createTimeEnd: encodeURIComponent(createTimeEnd)
      },
      a:"" // 此处会触发类型报错
    })
  }
}

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