在TypeScript中创建显式的私有类成员不安全访问函数

核心背景 #

TypeScript里的传统private属性（不带#前缀）是编译时伪私有，仅在类型检查层面限制访问；而#instanceProperty是JavaScript原生的运行时私有字段，两者约束逻辑不同。你遇到的点语法访问报错是TypeScript的编译检查限制，但索引语法obj['privateProp']能绕开，本质是因为TypeScript对索引访问的类型校验更宽松——它不强制要求索引必须属于keyof Type，只要是字符串/数字类型就允许尝试访问，这就是你提到的Type["key"]约束比keyof Type更宽泛的原因。

关于unsafe_expose函数的实现 #

TypeScript的类型系统刻意将private属性排除在keyof Type的结果之外，所以没有官方语法能直接获取包含私有键的“宽泛键集合”。要实现unsafe_expose，只能通过类型断言或any来绕过编译检查，示例代码如下：

function unsafe_expose<T>(obj: T, key: string | number | symbol): any {
  // 用类型断言绕开key必须属于keyof T的检查
  return obj[key as keyof T];
}

class Demo {
  private secretValue = "hidden content";
}

const demo = new Demo();
console.log(unsafe_expose(demo, "secretValue")); // 编译通过，运行时可获取私有属性值

这种方式本质是“欺骗”类型系统，而非真正在类型层面合法访问私有属性的键——毕竟TypeScript的设计目标就是通过private修饰符对外隐藏这些成员，不会提供原生语法让你直接突破这个限制。

关于“更宽泛约束”的访问 #

TypeScript类型系统中没有直接途径访问包含private属性键的宽泛约束，因为keyof Type的定义就是仅包含类的公共（public）和受保护（protected）成员。你感知到的Type["key"]的宽泛性，其实是类型检查器对索引访问的“宽容”——它允许你尝试用任意键访问对象，但不会在类型层面承认这些私有键的存在。

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