getprototypeof 本身不参与类型推导，它只是运行时获取对象原型的底层方法；所谓“配合自定义符号进行高级类型推导”，实际是借助 typescript 的类型系统 + 运行时符号标记 + 原型链检查，实现更精准的类型识别与行为分发。
用 Symbol 作为类型标识符
TypeScript 中无法直接为类型附加运行时元数据，但可以用唯一 Symbol 作为“类型标签”写入原型或实例，再结合 getPrototypeOf 在运行时识别。
- 定义一个私有 Symbol：const TypeTag = Symbol("MyType")
- 在类原型上设置：MyClass.prototype[TypeTag] = true
- 运行时通过 Object.getPrototypeOf(obj)?.[TypeTag] 判断是否属于该类型族
- 注意：不能依赖 instanceof（可能被代理或跨 realm 破坏），Symbol 标签更稳定
结合原型链遍历做多级类型匹配
当需要识别“是否为某类或其子类”时，仅检查直接原型不够，需向上遍历原型链：
- 写一个辅助函数：function hasTypeTag(obj: unknown, tag: symbol): boolean { let p = obj; while (p && typeof p === "object") { if (Object.getPrototypeOf(p)?.[tag]) return true; p = Object.getPrototypeOf(p); } return false; }
- 配合泛型和类型守卫，可返回更精确的类型断言：function isMyClass(obj: unknown): obj is MyClass { return hasTypeTag(obj, TypeTag); }
- 避免无限循环：确保原型链终点是 null，且不处理原始值
在泛型工具类型中注入运行时线索
纯静态类型推导有时无法覆盖动态场景，可在泛型参数中预留 symbol 类型占位，再用运行时 getPrototypeOf 补全：
- 定义类型：type WithTag
= T & { [k in K]?: true }; - 工厂函数返回带 Symbol 属性的对象，并在原型上同步设置
- 类型层面约束存在性，运行时用 getPrototypeOf 验证真实性，形成双重保障
- 适用于插件系统、可扩展的 AST 节点、DSL 实例等需运行时识别扩展类型的场景
注意事项与边界
这种模式不是“魔法”，而是明确分离编译期与运行期职责：
- Symbol 必须全局唯一，推荐用 const 声明 + 模块作用域封装
- getPrototypeOf 对 null/undefined 抛错，调用前必须校验
- Proxy、Object.setPrototypeOf() 可能干扰原型链，若需强一致性，应冻结关键原型
- TypeScript 不会自动将 Symbol 属性推导进类型，需手动声明或用 declare module 扩展
