如何为默认导出指定类型？以及如何改写代码避免使用const定义带类型的默认导出对象？

嘿，针对你的两个TypeScript导出类型问题，我整理了几个实用的解决方案，既能满足你的写法需求，又能保留严格的类型检查：

1. 如何在导出默认值时附带类型？ #

在TypeScript里给默认导出附加类型，同时不丢失类型校验，有几种常用的思路：

• 最直观的方式：先声明带类型的变量再导出
  就是你原本的写法，虽然用到了const，但这是最稳妥的方式——TypeScript会严格校验变量是否符合ITheme，导出后外部导入也能正确识别类型：

  const theme: ITheme = { color: 'blue' };
  export default theme;
  

• 无变量写法：用satisfies关键字（TS 4.9+）
  如果不想单独声明变量，TypeScript 4.9及以上版本的satisfies关键字刚好能解决问题：它会验证对象是否符合目标类型，同时保留对象的字面量类型信息，还不会绕过类型检查：

  export default { color: 'blue' } satisfies ITheme;
  

  要是你的对象不符合ITheme（比如漏了必填属性），TS会立刻报错，导出的默认值也能携带正确的类型给外部导入。

• 函数包裹式写法
  如果你偏好这种风格，可以用一个无参函数返回对象，同时标注函数的返回类型，同样能保留严格校验：

  export default (): ITheme => ({ color: 'blue' });
  

2. 如何改写代码避免使用const且保留类型检查？ #

你提到用as ITheme会禁用类型检查，确实，普通的类型断言有时候会绕过TS的校验。这里给你两种不用const的靠谱方案：

方案一：用satisfies关键字（强烈推荐） #

这是最完美的解决方案，既不用声明变量，又能严格校验对象是否符合ITheme：

export default { color: 'blue' } satisfies ITheme;

比如如果ITheme要求color是'red' | 'blue'，你要是写成'green'，TS会直接报错，完全符合你的需求。

方案二：类型注解式导出 #

如果你用的TS版本低于4.9，没法用satisfies，可以试试这种写法：

export default <ITheme>{ color: 'blue' };

这里的<ITheme>是类型断言的另一种形式，但和as ITheme不同的是，当对象不符合ITheme时，TS会抛出错误。不过要注意，如果你在React项目中使用，这种写法可能会被当作JSX语法，建议调整tsconfig.json里的"jsx"配置，或者优先用方案一。

另外还有一种稍显繁琐的方式——单独声明模块的默认导出类型，但一般不推荐，除非你有特殊需求：

// 导出对象
export default { color: 'blue' };
// 单独声明默认导出的类型
declare module 'your-module-path' {
  export default interface ITheme {
    color: string;
  }
}

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