如何编写指定对象类型及非空对象参数的Flow注解？

我来帮你梳理这两个Flow注解的问题，都是日常开发里常用的场景：

1. 如何编写指定某一类型为对象的Flow注解？ #

这得分两种场景来处理：

指定特定结构的对象 #

如果你有明确的对象结构（比如用户信息、配置项），先定义一个type来描述这个对象的属性和类型，之后直接用这个类型名做注解就行。

示例代码：

// 先定义一个用户对象的类型
type User = {
  id: number;
  username: string;
  isActive: boolean;
};

// 注解变量为User类型的对象
const currentUser: User = {
  id: 42,
  username: "johndoe",
  isActive: true
};

// 注解函数参数必须是User对象
function getUserBio(user: User): string {
  return `${user.username} (ID: ${user.id}) is ${user.isActive ? "active" : "inactive"}`;
}

指定任意结构的对象 #

如果不关心对象的具体属性，只要求它是个对象就行，用{}或者Object类型都可以。不过{}更严格——它会直接排除原始类型、null和undefined；而Object是所有非原始类型的父类，包括数组、函数这些特殊对象。

示例：

// 接受任意对象（拒绝原始类型、空值）
function logAnyObject(obj: {}): void {
  console.log("Received object:", obj);
}

logAnyObject({ foo: "bar" }); // ✅ 没问题
logAnyObject([]); // ✅ 数组也是对象，会被允许
logAnyObject(() => {}); // ✅ 函数也是对象，会被允许

2. 如何编写Flow注解来指定参数必须是对象，而非null、字符串、数字等类型？ #

要实现这个需求，核心就是把原始类型、空值，以及你不想算“对象”的特殊类型（比如数组、函数）都排除掉，分两步来：

第一步：先排除原始类型和空值 #

直接用{}类型就能搞定！Flow里的{}只接受对象（包括数组、函数），会直接拒绝字符串、数字、null、undefined这些：

function processObject(obj: {}): void {
  // 这里的obj肯定是个对象，不会是原始类型或空值
}

processObject({ a: 1 }); // ✅ 合法
processObject("hello"); // ❌ 报错：字符串是原始类型，不是对象
processObject(123); // ❌ 报错：数字不行
processObject(null); // ❌ 报错：null不是对象
processObject(undefined); // ❌ 报错：undefined也不行

第二步：进一步排除数组和函数（如果需要） #

如果你的场景里，数组、函数也不能算作“对象”，就得加更严格的限制：

排除数组

用Flow内置的$NonArray工具类型，结合索引签名定义一个普通对象类型：

// 定义一个排除数组的普通对象类型
type PlainObject = { [key: string]: mixed } & $NonArray<mixed>;

function processPlainObject(obj: PlainObject): void {
  // 这里的obj只能是普通对象，数组会被拒绝
}

processPlainObject({ x: 10 }); // ✅ 合法
processPlainObject([]); // ❌ 报错：数组不被允许

同时排除数组和函数

如果还要排除函数，可以在类型里加额外的限制，再配合运行时检查更安全：

// 定义一个既排除数组又排除函数的类型
type StrictPlainObject = { [key: string]: mixed } & $NonArray<mixed> & { call?: void };

function processStrictObject(obj: StrictPlainObject): void {
  // 可选：加个运行时检查，防止类型逃逸
  if (typeof obj === 'function') {
    throw new Error("Function is not allowed here!");
  }
  // 逻辑代码...
}

processStrictObject({ a: "b" }); // ✅ 合法
processStrictObject([]); // ❌ 报错
processStrictObject(() => {}); // ❌ 报错

如果你的场景不需要排除数组/函数，那直接用{}就完全够用了。

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