如何定义始终返回预定义值类型的Proxy对象类型？

要让Flow正确识别Proxy实现的严格映射类型，关键是让Flow捕获输入对象的精确键值结构，同时保留运行时的严格检查逻辑。下面是具体的实现方案：

核心思路 #

原来的StrictMapType<V>是通用索引签名，会丢失输入对象的具体键信息，导致Flow无法检查未知键的访问。我们需要用泛型捕获输入对象的精确类型，让返回的Proxy对象在类型系统中完全等同于原对象，同时通过Proxy陷阱保证运行时的错误抛出。

完整实现代码 #

// @flow
const createStrictMap = <T: {[key: string]: mixed}>(map: T): T => {
  return new Proxy(map, {
    get: (subject, name) => {
      // 只处理字符串类型的键（若需支持symbol可调整逻辑）
      if (typeof name === 'string' && name in subject) {
        return subject[name];
      }
      throw new Error(`Key "${String(name)}" does not exist in strict map`);
    }
  });
};

// 使用示例
const persons = createStrictMap({ bar: 'BAR', foo: 'FOO' });

const foo: string = persons.foo; // ✅ Flow检查通过：类型匹配
const bar: number = persons.bar; // ❌ Flow报错：string类型无法赋值给number
const baz: string = persons.baz; // ❌ Flow报错：对象不存在baz属性

代码说明 #

1. 泛型类型捕获：<T: {[key: string]: mixed}>让Flow自动推导输入对象的精确类型（比如{bar: string, foo: string}），并将返回值类型设为T，这样Flow就能严格检查键的存在和值的类型。
2. 运行时安全保障：Proxy的get陷阱会在访问不存在的键时抛出明确错误，弥补类型检查无法覆盖的运行时场景（比如绕过类型检查的动态键访问）。
3. 键类型过滤：添加typeof name === 'string'的检查，避免处理symbol类型的键（如果你的场景需要支持symbol，可以移除这个判断）。

这样既保留了你想要的Proxy抽象逻辑，又让Flow能提供完整的类型安全检查。

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