c - 为什么多态调用(例如 kauth 中的监听器)具有匿名参数而不是不透明的指针和访问函数？

Question

我正在查看kauth tech note ，但这并不是具体的内容。这更像是一个一般的 API 设计问题。

监听器的范围是:

static int MyListener(
    kauth_cred_t   credential,
    void *         idata,
    kauth_action_t action,
    uintptr_t      arg0,
    uintptr_t      arg1,
    uintptr_t      arg2,
    uintptr_t      arg3
);

arg0 ... arg3 取决于范围(即上下文)。引用文档:

The meaning of the remaining parameters is scope dependent. in later sections ... For example, for the VFS scope (KAUTH_SCOPE_VNODE), arg1 is a reference to the vnode (of type vnode_t) that's being operated on

我假设这种设计有充分的理由，但我看不到它。如果我想稍后添加参数怎么办？如果我想传递不同大小的类型怎么办(在本例中，uintptr_t 被类型定义为 unsigned long，但如果我想传递更大的结构怎么办？)。

此类问题的示例可以在同一文档中看到:

IMPORTANT: When inspecting the credentials associated with a request, always use the accessor functions defined in sys/kauth.h. Be especially careful when testing for group membership. In Tiger a user can be in lots of groups (many more than the traditional limit of 16) and groups can be nested. If you want to test whether a user is a member of a group, use kauth_cred_ismember_gid.

如果我要实现一个可以在不同上下文中使用不同参数调用的 API 函数，我将传入一个不透明类型(即 void *)并提供一组函数来提取数据从中。功能随 API 变化，面向 future 。

那么，任何人都可以提供关于为什么作者可能为其余论点选择这种设计的见解吗？纯粹是速度吗(毕竟 kauth 代码路径非常热)？

Answer 1

类型uintptr_t是一个无符号整数，保证足够大以容纳指针。
这意味着整数可以毫无麻烦地通过接口(interface)传递，但如果您有更大的类型，那么也可以通过指针传递。

因此，如果整数是常见情况，那么您将获得两全其美的效果:

• 对于常见情况没有麻烦，并且对传递整数没有疑问/不一致(将它们伪装成指针，或传递指向整数的指针)
• 如果您需要(引用)更大的结构，仍然可以传递指针。