如何将切片的每个元素作为单独的参数传递给变量C函数？
我要在铁锈建造一个红宝石舱。我已经找到了一些很好的例子，但是在处理一个C函数的接口时，我被困住了，这个函数应该接受各种参数。
Redis有一个名为RedisModule_Call的函数，它接受一些特定的参数，然后是代表Redis命令的n参数。来自Redis模块SDK文档(在C中)：
RedisModuleCallReply *reply;
reply = RedisModule_Call(ctx,"INCR","sc",argv[1],"10");RedisModule_Call的前三个参数是特定的，但其余参数表示可能很容易有数百个参数的Redis命令。
在Rust中，我遵循红-细胞中的模式，这是一个在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的末尾，或者类似于参数的扩展语法。我对锈病比较陌生，但我已经搜索过了，而且我似乎找不到任何办法来解决锈蚀的问题。
为了澄清-我可以将参数传递到RedisModule_Call (这是可变的)没有问题，但我找不到一种句法方法来传递一个变量数在铁锈的参数到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 */)。
回答 1
Stack Overflow用户
发布于 2018-05-12 15:41:35
你不知道，至少现在还没有，我敢打赌永远也不会。
要做到这一点，您需要两种关键能力，这两种能力都超出了您的控制范围：
- Redis需要提供一个接受
va_list参数的函数，而不仅仅是一个...。 奇怪的是，Redis还没有提供这样的功能，但是这也许是其他实现模块的人完全避免了这个问题的一个迹象。 - 铁锈需要提供一种构造
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"),
}
}
}另请参阅：
https://stackoverflow.com/questions/50306894
复制相似问题
腾讯云开发者
