本文介绍通过联合类型、泛型与类型守卫的组合方式，实现根据构造时传入的上下文（如 'birds' 或 'mammals'）静态约束类实例可访问的只读属性——使非法字段访问在编译期触发 never 类型错误，从而获得精准的类型安全提示。

本文介绍通过联合类型、泛型与类型守卫的组合方式，实现根据构造时传入的上下文（如 'birds' 或 'mammals'）静态约束类实例可访问的只读属性——使非法字段访问在编译期触发 `never` 类型错误，从而获得精准的类型安全提示。

单纯将字段声明为 string | never 并在运行时条件赋值（如原示例），无法实现预期的编译时类型检查：TypeScript 会将 never 视为“不可达类型”，但字段本身仍存在于实例类型中，IDE 和编译器通常不会对 myClass.dog 报错——因为 never 在联合类型中会被忽略（例如 string | never 等价于 string），且 this.dog 的赋值未被类型系统视为“条件性定义”。

✅ 正确解法是 使用泛型 + 条件类型（Conditional Types）+ 类型守卫，让类的实例类型随 context 参数精确推导：

type Context = 'birds' | 'mammals'

// 定义每种上下文对应的有效字段映射
type ValidFields<C extends Context> = C extends 'birds'
  ? { chicken: string; duck: string }
  : C extends 'mammals'
    ? { dog: string; cat: string }
    : never

// 泛型类：TContext 约束为 Context，实例类型由 ValidFields<TContext> 决定
class MyClass<TContext extends Context> {
  // 使用索引签名 + 条件类型确保仅允许有效字段
  readonly [K in keyof ValidFields<TContext>]: ValidFields<TContext>[K]

  constructor(context: TContext) {
    // 类型断言确保赋值符合当前上下文约束（运行时逻辑不变）
    if (context === 'birds') {
      (this as any).chicken = 'chicken'
      (this as any).duck = 'duck'
    } else if (context === 'mammals') {
      (this as any).dog = 'dog'
      (this as any).cat = 'cat'
    }
  }
}

// ✅ 类型安全调用
const birdsInstance = new MyClass<'birds'>('birds')
console.log(birdsInstance.chicken) // OK: string
// @ts-expect-error: Property 'dog' does not exist on type 'MyClass<"birds">'
console.log(birdsInstance.dog) // 编译报错！

const mammalsInstance = new MyClass<'mammals'>('mammals')
console.log(mammalsInstance.dog) // OK: string
// @ts-expect-error: Property 'chicken' does not exist on type 'MyClass<"mammals">'
console.log(mammalsInstance.chicken) // 编译报错！

? 进阶优化：避免 as any，可借助私有字段 + 构造后只读代理（推荐用于生产）：

typescript-dev

使用 Vite 8、React 19、Tailwind CSS v4、shadcn/ui、Biome、Vitest 和 Hono 构建全栈 TypeScript 应用，涵盖前端（Vite/Rolldown 构建 + 开发）...

下载

class MyClass<TContext extends Context> {
  private _data: ValidFields<TContext>

  constructor(context: TContext) {
    if (context === 'birds') {
      this._data = { chicken: 'chicken', duck: 'duck' } as ValidFields<TContext>
    } else {
      this._data = { dog: 'dog', cat: 'cat' } as ValidFields<TContext>
    }
  }

  // 通过 getter 暴露只读字段（类型完全受控）
  get chicken(): TContext extends 'birds' ? string : never {
    return (this._data as any).chicken
  }
  get duck(): TContext extends 'birds' ? string : never {
    return (this._data as any).duck
  }
  get dog(): TContext extends 'mammals' ? string : never {
    return (this._data as any).dog
  }
  get cat(): TContext extends 'mammals' ? string : never {
    return (this._data as any).cat
  }
}

⚠️ 注意事项：

• never 本身不能作为字段类型直接参与结构化类型检查；必须结合泛型与条件类型驱动类型推导。
• 不要依赖运行时赋值逻辑“暗示”类型——TypeScript 的静态分析不追踪控制流对字段存在性的推断。
• 若需更灵活的上下文扩展（如新增 'reptiles'），只需更新 Context 联合类型和 ValidFields 映射，类型系统自动保证一致性。

通过该模式，你获得的是真正的编译期字段级访问控制：非法访问立即报错，无需运行时反射或装饰器，兼顾类型安全与开发体验。