TypeScript对象字面量as const断言后无深层类型推断问题

as const没有生效的核心原因是显式宽泛类型标注的优先级高于as const断言：

• 你声明ApiConstants时手动标注了类型Record<string, EndpointGroup>，这个类型等价于「键可以是任意字符串、值为EndpointGroup」的通用索引结构，TypeScript会直接以这个标注的类型作为变量的最终类型，不会再基于对象字面量做更精确的推导
• 因为类型允许任意字符串键，访问ApiConstants.foo这类不存在的属性时，TS会认为是合法操作，自然不会抛错
• 宽泛的索引类型会完全抹除对象内部具体的属性名、属性值字面量信息，编辑器无法基于实际存在的属性给出补全提示
• 后缀的as const仅做了类型兼容性校验，根本没有触发对对象字面量的深层字面量类型推导，相当于写了无效代码

删除显式的宽泛类型标注，让TS先通过as const推导出精确的只读字面量类型，再通过类型校验逻辑保证对象结构符合接口要求即可，推荐使用TS 4.9及以上版本支持的satisfies操作符实现，不会拓宽推导出来的精确类型：

type ApiEndpoint = {
  method: 'GET' | 'POST' | 'PUT' | 'DELETE';
  queryFn: (...args: string[]) => string;
};

type EndpointGroup = Record<string, ApiEndpoint>;

const ApiConstants = {
  user: {
    getUser: {
      method: 'GET',
      queryFn: () => '/api/user/user',
    },
    getUserBalance: {
      method: 'GET',
      queryFn: () => '/api/user/userBalance',
    },
    postSession: {
      method: 'POST',
      queryFn: () => '/api/session',
    },
  },
  admin: {
    findUsers: {
      method: 'GET',
      queryFn: keyword => `/api/admin/user/search/${keyword}`,
    },
    getAdminRole: {
      method: 'GET',
      queryFn: () => '/api/admin/adminRole',
    },
    getUserInfo: {
      method: 'GET',
      queryFn: userId => `/api/admin/user/userId/${userId}`,
    },
    getUserBalance: {
      method: 'GET',
      queryFn: userId => `/api/admin/userBalance/userId/${userId}`,
    },
  },
} as const satisfies Record<string, EndpointGroup>;

// 此时访问不存在的属性会直接报类型错误，编辑器可提供全层级属性补全
// const invalid = ApiConstants.foo; // 类型错误："typeof ApiConstants"上不存在"foo"属性
export default ApiConstants;

如果使用的TS版本低于4.9，没有satisfies语法，可以通过泛型工具函数实现相同效果，不会丢失精确类型推导：

const defineApiConstants = <T extends Record<string, EndpointGroup>>(config: T): Readonly<T> => config;

const ApiConstants = defineApiConstants({
  // 填入上述相同的对象字面量内容
} as const);

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