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

Question

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

Redis Module C SDK 有一个名为 RedisModule_Call 的函数，它接受一些特定的参数，然后是代表 Redis 命令的 n 个参数。来自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 函数实际上只是处理不同参数长度的 stub :

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]/* ...等等 */).

Answer 1

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

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

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

   奇怪的是 Redis 还没有提供这样的功能，但这也许是其他实现模块的人完全避免了这个问题的迹象。

2. 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()) };
}

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

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"),
        }
    }
}

另见:

• How to wrap a call to a FFI function that uses VarArgs in Rust?
• Populating a va_list
• Forward an invocation of a variadic function in C