TypeScript中如何将类型作为变量返回？类工厂类型输出问题

首先，你遇到的'MenuState' only refers to a type, but is being used as a value here错误，核心原因是TypeScript的类型系统和JavaScript运行时完全分离——类型只存在于编译阶段，不会被编译到最终的JS代码里，所以你根本没法把类型当作“值”从函数里返回。这不是语法问题，是TypeScript设计的核心原则：类型是对JS的静态补充，绝不侵入运行时逻辑。

接下来我会一步步拆解解决方案、背后的原理，以及最佳实践：

一、为什么不能把类型当作值返回？ #

TypeScript的类型和值是两个完全独立的空间：

• 值：比如变量、函数、类、对象这些，会被编译成JS代码，在运行时存在。
• 类型：比如type、interface、泛型参数这些，只是编译时的检查工具，编译后会被完全擦除。

你尝试return A的时候，A是一个类型，而函数的返回值要求是运行时存在的值，这就导致了类型和值的混淆，TypeScript自然会报错。

二、正确的类工厂类型处理方案 #

其实你不需要返回类型，只要让工厂函数返回类（值），再通过TypeScript的类型工具自动推导实例类型即可，甚至可以封装成可复用的类型别名。

基础方案：利用InstanceType自动推导 #

先优化你的工厂函数，让它的类型更清晰：

function factory(someVar: any) {
  return class AClass {
    // 把someVar绑定到类的属性，确保类型能被推导
    public readonly config = someVar;

    // 示例：依赖someVar的方法
    getConfigKey(key: keyof typeof someVar) {
      return this.config[key];
    }
  };
}

调用时，直接通过typeof获取类的构造函数类型，再用InstanceType得到实例类型：

const AClass = factory({ foo: "bar", count: 123 });
// 自动得到实例类型，不需要手动定义
type A = InstanceType<typeof AClass>;

// 使用类型
interface IData { someField: A; }

// 实例化类（运行时逻辑）
const instance = new AClass();
console.log(instance.getConfigKey("foo")); // "bar"

进阶方案：封装可复用的实例类型 #

如果需要在多个地方复用工厂产出的实例类型，可以定义一个关联工厂函数的类型别名，避免重复写InstanceType<typeof xxx>：

// 定义一个类型工具，从工厂的输入参数直接推导实例类型
type FactoryInstance<T> = ReturnType<typeof factory<T>> extends new () => infer R ? R : never;

// 优化工厂函数的泛型，让输入参数类型更明确
function factory<T extends Record<string, any>>(someVar: T) {
  return class AClass {
    public readonly config: T;

    constructor() {
      this.config = someVar;
    }

    getConfigKey(key: keyof T) {
      return this.config[key];
    }
  };
}

// 直接通过输入参数类型获取实例类型
type MyInstance = FactoryInstance<{ foo: "bar", count: 123 }>;

三、如何把类型用作构造函数？ #

构造函数本身是值（类在JS里就是一个构造函数），所以你工厂返回的AClass就是可直接实例化的构造函数。而对应的构造函数类型，可以用typeof AClass来获取：

const AClass = factory({ foo: "bar" });
// 获取构造函数的类型
type AConstructor = typeof AClass;

// 可以用这个类型约束变量，实现构造函数的复用
let constructorRef: AConstructor = AClass;
const newInstance = new constructorRef();

四、最佳实践总结 #

1. 永远不要混淆类型和值：TypeScript的设计就是让类型只在编译时工作，强行把类型当作值返回违背了这个核心原则，只会导致更多类型错误。
2. 利用TypeScript的类型推导能力：泛型、InstanceType、ReturnType这些工具类型是处理类工厂类型的最佳方式，能让你在不手动重复定义类型的前提下，获得完整的类型检查。
3. 封装可复用的类型工具：如果多个地方需要用到工厂产出的实例类型，定义一个类型别名来统一推导，提升代码的模块化和复用性。

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