如何将切片的每个元素作为单独的参数传递给可变参数 C 函数？

Question

我正在用 Rust 构建一个 Redis 模块。我找到了一些很好的例子，但在处理应该接受可变参数的 C 函数的接口时，我遇到了困难。

Redis Module C SDK 有一个名为 RedisModule_Call 的函数，它接受一些特定的参数，然后是 n 个代表 Redis 命令的参数。来自 Redis Module SDK 文档（C 语言）：

RedisModuleCallReply *reply;
reply = RedisModule_Call(ctx,"INCR","sc",argv[1],"10");

RedisModule_Call 的前三个参数是特定的，但其余代表的 Redis 命令很容易有数百个参数。

在 Rust 中，我遵循 Redis-Cell 中的模式，这是一个在 Rust 中（成功）实现的 Redis 模块。该模块很棒，但处理这个特定问题的方法非常有限。实际上，它以一种有点蛮力的方式最多接受三个参数：

pub fn call(&self, command: &str, args: &[&str]) -> Result<Reply, CellError> {
   // ... code ... 
   let raw_reply = match args.len() {
        1 => raw::call1::call(/* ... */),
        2 => raw::call2::call(/* ... */),
        // ...

这些 call1 和 call2 函数实际上只是处理不同参数长度的存根：

pub mod call2 {
    use redis::raw;

    pub fn call(
        ctx: *mut raw::RedisModuleCtx,
        cmdname: *const u8,
        fmt: *const u8,
        arg0: *mut raw::RedisModuleString,
        arg1: *mut raw::RedisModuleString,
    ) -> *mut raw::RedisModuleCallReply {
        unsafe { RedisModule_Call(ctx, cmdname, fmt, arg0, arg1) }
    }

    #[allow(improper_ctypes)]
    extern "C" {
        pub static RedisModule_Call: extern "C" fn(
            ctx: *mut raw::RedisModuleCtx,
            cmdname: *const u8,
            fmt: *const u8,
            arg0: *mut raw::RedisModuleString,
            arg1: *mut raw::RedisModuleString,
        ) -> *mut raw::RedisModuleCallReply;
    }
}

我需要能够传入 n 个参数，n 在运行时确定，所以这种硬编码方法不实用。我知道 Rust 对可变参数函数的支持有限，而且我一直在阅读有关 RFC 2137 的文章，但我不确定这是否适用。

我正在寻找一种方法来将参数向量应用到 RedisModule_Call 的末尾或类似于参数的扩展语法的东西。我对 Rust 比较陌生，但我搜索了又搜索，似乎找不到任何方法来解决 Rust 中的这个问题。

澄清一下——我可以将参数传递给 RedisModule_Call（这是可变的）没问题，但我找不到一种语法方法来将 Rust 中可变数量的参数传递给 C 函数。我想要完成的是这样的：

impl Redis {
    pub fn call(&self, command: &str, args: &[&str]) -> Result<Reply, CellError> {
        /* ... */

       unsafe { RedisModule_Call(ctx, cmdname, fmt, ...args) }
       /* ... */

其中 ...args 是某种黑魔法，它允许 args 代表 1 个参数或 100，这相当于 RedisModule_Call(ctx, cmdname, fmt, args[0], args[1] /* ... and so on */).

Answer 1

你不会，至少现在不会，我打赌可能永远不会。

要做到这一点，您需要两个关键能力，这两个能力都在您的控制范围之外：

Redis 需要提供一个接受 va_list 参数的函数，而不仅仅是 ....

奇怪的是 Redis 还没有提供这样的功能，但这也许是其他实现模块的人完全避免了这个问题的迹象。
Rust 需要提供一种构造 va_list 参数的方法。

虽然看起来 RFC 2137 将引入 VaList 类型，但建议的 API 并未提供创建或的方法在其中设置值。

注意你can't do what you want, even in C（至少不容易或便携）。

你可以做什么呢？假设您正在实现使用可变参数的代码，您可以从调用中删除变体。 C 中的项目集合只是一个指针和一个长度，所以传递它：

extern "C" {
    fn call(n_args: i32, ...);
}

fn x(args: &[i32]) {
    unsafe { call(2, args.len(), args.as_ptr()) };
}

如果您无法控制读取另一侧代码的内容，一个可能的想法（阅读：糟糕）是在一些“足够大”的模式上进行模式匹配切片的子集并分派给可变参数函数：

extern "C" {
    fn call(n_args: i32, ...);
}

fn x(args: &[i32]) {
    unsafe {
        match args {
            [] => call(0),
            [a] => call(1, a),
            [a, b] => call(2, a, b),
            _ => panic!("Didn't implement this yet"),
        }
    }
}

另请参阅：

Populating a va_list
Forward an invocation of a variadic function in C

如何将切片的每个元素作为单独的参数传递给可变参数 C 函数？

How do I pass each element of a slice as a separate argument to a variadic C function?

rust

variadic