Biome项目中`useExportType`规则的误报问题分析

在Biome项目的JavaScript/TypeScript代码检查工具中，useExportType规则最近被发现存在一个误报问题。这个问题出现在同时使用const声明和类型导出的场景中，值得开发者注意。

问题现象

当开发者编写如下代码时：

const ErrorCode = {
  invalidArgument: "invalid-argument",
  internalError: "internal-error",
};

type ErrorCode = (typeof ErrorCode)[keyof typeof ErrorCode];

export {ErrorCode};

Biome的useExportType规则会错误地报告问题，提示应该使用类型导出语法。但实际上，这段代码是完全合法的TypeScript语法，它同时导出了一个值和一个类型。

技术背景

在TypeScript中，const声明和类型声明可以共享相同的名称，这是TypeScript的类型系统的一个特性。当使用const声明一个对象字面量时，可以通过typeof操作符获取其类型信息，这在TypeScript中被称为"类型查询"。

这种模式在实际开发中非常常见，特别是在需要同时导出值和类型的场景下，比如Redux的action类型定义、API响应类型定义等。

解决方案

目前有两种可行的解决方案：

1. 分离导出：将值和类型分开导出

export const ErrorCode = {
  invalidArgument: "invalid-argument",
  internalError: "internal-error",
};

export type ErrorCode = (typeof ErrorCode)[keyof typeof ErrorCode];

2. 使用内联导出：直接在声明时导出

export const ErrorCode = {
  invalidArgument: "invalid-argument",
  internalError: "internal-error",
} as const;

export type ErrorCode = (typeof ErrorCode)[keyof typeof ErrorCode];

第二种方案中使用了as const断言，这会告诉TypeScript将对象字面量的类型推断为最精确的只读类型，而不是宽泛的字符串类型。

对开发者的建议

虽然这个问题已经被确认并会在未来的版本中修复，但开发者现在可以：

1. 暂时禁用该规则或使用上述解决方案
2. 关注Biome项目的更新，及时升级到修复后的版本
3. 在团队内部统一代码风格，选择一种模式作为标准实践

这种类型系统和代码检查工具的交互问题在实际开发中并不罕见，理解其背后的原理有助于开发者更好地使用TypeScript和Biome这类工具。