Question

这是关于这个问题的简短例子。

#[fixed_stack_segment]
fn test(func: extern "C" fn() -> ~str) -> ~str {
    func()
}
extern "C" fn func1() -> ~str {
    ~"hello"
}

fn main() {
    let func2 = || -> ~str { ~"world" };
    println(test(func1));
    println(test(func2));
}

然后，rustc因错误而停止。

st.rs:13:17: 13:22 error: mismatched types: expected `extern "C" fn() -> ~str` but found `&fn<no-bounds>() -> ~str` (expected extern fn but found fn)
st.rs:13     println(test(func2));

我找不到让lambda成为外部fn的方法。

我该怎么办？

Answer 1

闭包语法始终为&fn或~fn，并且要生成extern "ABI" fn（对于ABI的任何值，包括Rust），需要使用完整的函数声明。

#[fixed_stack_segment]
fn test(func: extern "C" fn() -> ~str) -> ~str {
    func()
}
extern "C" fn func1() -> ~str {
    ~"hello"
}

fn main() {
    extern "C" fn func2() -> ~str { ~"world" } 

    println(test(func1));
    println(test(func2));
}

有一些关于允许lambdas也创建非闭包的讨论，ABI推断出类型签名中的其他任何东西，但这还没有实现。

然而，正如Vladimir Matveev所说，闭包和普通函数之间存在根本区别，这意味着当作为extern fn传递时，永远不能使用闭包的所有功能。不同之处在于闭包可以捕获（引用）变量，即

let n = 1;
let f = || { n + 1 };

这意味着闭包实际上由

表示

struct AndFn { // &fn
    env: &Environment,
    func: extern "Rust" fn()
}

struct TwiddleFn { // ~fn
    env: ~Environment,
    func: extern "Rust" fn()
}

其中Environment是一个包含该闭包的所有捕获变量的结构（每个&fn都有所不同，因为每个都捕获不同的东西）; func是一个指向闭包代码的函数指针，它是在调用闭包时执行的;如果闭包捕获任何变量，func将需要env存在。因此，lambda语法只能在不捕获变量时创建普通extern fn。

如何打开关闭类型'extern'C“fn'

1 个答案: