TypeScript中如何基于条件类型创建类实例、访问对应类静态成员？

报错根因 #

• 你定义的cond<T>是纯类型层面的条件类型别名，这类构造仅存在于TS编译阶段，编译完成后会被完全擦除，本身没有任何运行时对应的实体，根本不能作为构造器被new调用
• 编译器抛出TS1005: '(' expected的直接触发原因：解析到new cond<true>时，new操作符要求后面跟一个可实例化的值（构造器），但解析到标识符cond后立刻遇到泛型语法<true>，语法流被打断，编译器误以为接下来要写函数调用的左括号，因此报出语法错误
• 你的代码里let c: cond<true>这部分的类型标注是完全合法的，TS可以正确把c的类型识别为alt_a，问题完全出在右侧的实例化逻辑上：类型别名没有运行时实体，不能作为new的目标。

可落地的实现方案 #

TS的类型系统和值系统是完全独立的两层，类型不会自动在运行时生成对应的类，所以要实现“根据条件选择对应类、甚至访问类静态成员”的效果，需要把两层的关联手动打通，核心步骤为：

1. 给两个备选类定义统一的实例接口，保证不同分支的类实例可以互相替换
2. 定义类型层面的条件类型，用来标注最终拿到的构造器、实例的准确类型
3. 单独维护一个值层面的固定映射表，把条件标记和对应的类构造器关联起来
4. 写一个泛型辅助函数，把输入的条件值、映射的构造器、输出的类型三者打通，让TS能自动推导出准确的类型，不需要额外的类型断言

以下是适配你使用的TS3.3版本的可运行代码：

// 统一的实例接口
interface IAlt {
  what(): string;
}

class alt_a implements IAlt {
  what(): string {
    return "alt_a";
  }
  // 类静态成员，用于测试跨分支的静态访问
  static staticText = "alt_a 的静态内容";
}

class alt_b implements IAlt {
  what(): string {
    return "alt_b";
  }
  static staticText = "alt_b 的静态内容";
}

// 类型层面的条件类型：根据传入的布尔字面量，匹配对应类的类型
type cond<T extends boolean> = T extends true ? typeof alt_a : typeof alt_b;

// 值层面的映射表：手动标注类型，适配旧版TS
const altCtorMap: {
  true: typeof alt_a;
  false: typeof alt_b;
} = {
  true: alt_a,
  false: alt_b
};

// 泛型辅助函数：打通类型与值的关联
function resolveCond<T extends boolean>(flag: T): cond<T> {
  return altCtorMap[flag] as cond<T>;
}

// 实际使用
// 拿到true对应的构造器
const AltACtor = resolveCond(true);
// 实例化
const instanceA = new AltACtor();
console.log(instanceA.what()); // 输出 "alt_a"
// 直接访问对应类的静态成员，类型完全匹配，无编译报错
console.log(AltACtor.staticText); // 输出 "alt_a 的静态内容"

// 拿到false对应的构造器
const AltBCtor = resolveCond(false);
const instanceB = new AltBCtor();
console.log(instanceB.what()); // 输出 "alt_b"
console.log(AltBCtor.staticText); // 输出 "alt_b 的静态内容"

关于和C++ constexpr成员的效果对比 #

• 上面的实现已经可以达到和C++ constexpr分支一致的使用体验：只要传入的判断值是字面量类型（比如true/false，不是宽泛的boolean类型），TS会自动推导出对应的类类型，实例的方法、类的静态成员都会有准确的类型提示，不会出现类型不匹配的问题
• 两者的核心差异在于：C++的constexpr是真的可以在编译期计算值、实例化模板生成最终代码；而TS的类型完全不会在运行时留下痕迹，所有的分支逻辑都是运行时通过映射表实现的，不存在编译期代码生成的过程
• 如果你传入的判断值是宽泛的boolean类型，TS就没法准确推导具体是哪个类，只会把类型推导成两个类的联合类型，这时候访问静态成员就需要额外的类型收窄。

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