如何在IDE中自动对QuickJS执行的字符串式JS模块做TS类型检查？

以下是几种能让IDE自动生效的解决方案：

方法1：模块声明+类型对齐 #

1. 在包含logic常量的文件顶部添加// @ts-check，启用文件级类型检查
2. 声明对应字符串模块的类型定义：

declare module 'embedded-logic' {
  export function foobar(): boolean;
}

3. 导入类型并关联字符串内容，IDE会自动校验字符串内代码与声明类型是否匹配：

// @ts-check
import type * as Logic from 'embedded-logic';

const logic = `
  export function foobar() { return true; } // 若返回值改为字符串，IDE会立即提示类型不匹配
`;

方法2：VS Code虚拟文件扩展同步 #

安装VS Code的Virtual Files类扩展，配置将logic字符串内容自动同步到虚拟的embedded-logic.ts文件：

• 编辑字符串时扩展自动同步虚拟文件内容
• VS Code的TypeScript服务会检查虚拟文件，错误提示直接关联到原字符串位置

方法3：自定义TypeScript Transformer #

编写TS transformer，在编译阶段提取字符串内的代码作为独立模块进行类型检查：

1. 实现transformer脚本，提取模板字面量中的代码片段
2. 在tsconfig.json中配置引入该transformer
3. VS Code的TS Server会实时通过transformer检查，原文件内直接显示类型错误

方法4：拆分到独立文件（最省心方案） #

把字符串里的模块内容单独存为logic.ts，IDE原生支持对该文件的类型检查：

// logic.ts
export function foobar() { return true; }

主文件中读取该文件内容作为字符串传给Quick.js：

import fs from 'fs';
const logic = fs.readFileSync('./logic.ts', 'utf-8');

这种方式完全利用IDE自带的TS检查能力，无需额外配置，适合多数场景。

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