如何在不赋值新变量的情况下为导入变量声明Config类型？

问题场景 #

我有个配置文件，默认导出的对象用satisfies约束了Config类型：

export default {
  pages: "./app/client/pages",
  // routes: "./app/server/routes",
  // plugins: [],
} satisfies Config;

但在其他模块导入后：

import zapConfig from "../../../../config/zap.config";

zapConfig的类型并不是预期的Config，而是对象字面量的具体类型。试过用declare const zapConfig: Config会报错：

Import declaration conflicts with local declaration of 'zapConfig'.

我知道把导入值赋值给新变量时可以用断言指定类型，但不想额外创建变量；也能修改导出文件，但写法太冗余，想找个不创建新变量的解决办法。

可行方案 #

1. 导入时直接做类型断言 #

在导入语句里直接通过双重断言指定类型，不用额外变量：

import zapConfig from "../../../../config/zap.config" as unknown as Config;

因为已经用satisfies确保了导出对象符合Config，所以这个断言是安全的，不会有类型不匹配的风险。

2. 调整导出文件的写法（更清晰的类型导出） #

如果能修改配置文件，可以先定义变量再导出，既保留字面量类型的优势，又让导出类型为Config：

const rawConfig = {
  pages: "./app/client/pages",
  // routes: "./app/server/routes",
  // plugins: [],
} satisfies Config;

export default rawConfig as Config;

这样导入后的zapConfig直接就是Config类型，同时rawConfig还能保留字面量类型（后续有需要时能用）。

3. 用模块类型声明（无法修改原配置文件时用） #

如果不能改zap.config.ts，可以在项目里加个类型声明文件（比如config.d.ts），扩充模块的类型：

declare module "../../../../config/zap.config" {
  import type { Config } from "./path-to-config-type"; // 替换成你Config类型的实际路径
  const defaultExport: Config;
  export default defaultExport;
}

这样TypeScript会直接把该模块的默认导出识别为Config，导入时不用额外处理。

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