ZenStack 中如何正确使用 auth() 函数进行数组权限校验

在使用 ZenStack 进行权限控制时，开发者经常会遇到需要对数组字段进行权限校验的场景。本文将深入解析如何正确使用 auth() 函数配合 hasSome 操作符实现数组权限校验，以及常见的错误排查方法。

问题背景

在数据模型设计中，我们经常需要实现基于用户组的权限控制。例如，一个博客系统中，文章可能设置了可读组和可写组，只有属于这些组的用户才能进行相应操作。

在 ZenStack 的 schema 定义中，我们可能会这样设计：

model Post {
    id Int @id @default(autoincrement())
    name String
    readAllowedGroups Int[]
    writeAllowedGroups Int[]

    @@allow('read', auth() != null && (
        hasSome(readAllowedGroups, auth().groups) ||
        hasSome(writeAllowedGroups, auth().groups)
    ))
}

常见错误分析

开发者在使用上述模式时，经常会遇到"Argument hasSome is missing"的错误。这通常是由于没有正确初始化用户上下文导致的。

错误的核心在于：auth() 函数并不会自动获取用户数据，它只是访问你在增强 Prisma 客户端时提供的用户上下文对象。

正确实现方法

要解决这个问题，我们需要在创建增强的 Prisma 客户端时，完整提供用户信息：

const db = enhance(
  prisma,
  {
    user: { 
      id: 1, 
      groups: [100, 200, 300] // 必须包含 groups 数组
    }
  },
  {
    kinds: ['delegate', 'policy'],
    logPrismaQuery: true,
  }
);

实现原理

ZenStack 的权限系统在运行时：

1. 解析 schema 中定义的访问规则
2. 将规则转换为 Prisma 查询条件
3. 在执行查询时应用这些条件

当使用 hasSome 操作符时，ZenStack 会生成类似以下的 Prisma 查询：

{
  where: {
    OR: [
      { readAllowedGroups: { hasSome: [100, 200, 300] } },
      { writeAllowedGroups: { hasSome: [100, 200, 300] } }
    ]
  }
}

如果 auth().groups 为 null 或 undefined，生成的查询条件就会包含 hasSome: null，从而导致 Prisma 验证错误。

最佳实践

1. 始终确保增强客户端时提供完整的用户信息
2. 对于数组类型的权限字段，初始化时提供空数组而非 null
3. 在 schema 中添加必要的空值检查
4. 考虑使用 TypeScript 类型确保用户上下文的完整性

interface AuthUser {
  id: number;
  groups: number[]; // 明确要求 groups 存在且为数组
}

const userContext: AuthUser = {
  id: 1,
  groups: [] // 即使没有组也初始化为空数组
};

通过遵循这些实践，可以避免大多数与数组权限校验相关的问题，构建出健壮的权限系统。