如何将切片的每个元素作为单独的参数传递给可变参数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中的模式，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

您还没有，至少现在还没有，我可能永远不会下注。

为此，您需要两个关键功能，而这两个功能都不在您的控制范围内：

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

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

2. Rust需要提供一种构造va_list参数的方法。

   尽管RFC 2137似乎将引入一种VaList类型，但建议的API并未提供在其中创建一个或设置值的方法。

请注意，即使在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"),
        }
    }
}

也可以看看：

• 如何在Rust中包装对使用VarArgs的FFI函数的调用？
• 填充va_list
• 转发C中可变参数函数的调用