Question

请注意，此问题与1.0版本发布之前的Rust版本有关

我是否正确理解现在无法从函数返回闭包，除非它在参数中提供给函数？这是非常有用的方法，例如，当我在程序的不同部分需要相同的代码块，参数化方式不同时。目前编译器不允许这样的事情，自然：

fn make_adder(i: int) -> |int| -> int {
    |j| i + j
}

闭包在堆栈上分配，并在从函数返回时释放，因此无法返回它。

将来可以做这项工作吗？我听说动态大小的类型允许这样做。

Answer 1

这对堆栈关闭不起作用;它需要没有环境或拥有自己的环境。 DST提案确实包括重新引入具有自有环境（~Fn）的闭包类型的可能性，这将满足您的需求，但目前尚不清楚是否会发生这种情况。

在实践中，还有其他方法可以做到这一点。例如，您可以这样做：

pub struct Adder {
    n: int,
}

impl Add<int, int> for Adder {
    #[inline]
    fn add(&self, rhs: &int) -> int {
        self.n + *rhs
    }
}

fn make_adder(i: int) -> Adder {
    Adder {
        n: int,
    }
}

然后，代替make_adder(3)(4) == 7，它将是make_adder(3) + 4 == 7或make_adder(3).add(&4) == 7。（它是Add<int, int>它正在实现而不仅仅是impl Adder { fn add(&self, other: int) -> int { self.n + other }只是为了让您方便+运算符。）

这是一个相当愚蠢的例子，因为Adder很可能只是一个int，但它有其可能性。

让我们说你想要一个柜台;你可能希望把它作为一个返回(0, func)的函数，后一个元素是一个返回(1, func)的函数，＆amp; c。但是这可以用迭代器更好地建模：

use std::num::{Zero, One};

struct Counter<T> {
    value: T,
}

impl<T: Add<T, T> + Zero + One + Clone> Counter<T> {
    fn new() -> Counter<T> {
        Counter { value: Zero::zero() }
    }
}

impl<T: Add<T, T> + Zero + One + Clone> Iterator<T> for Counter<T> {
    #[inline]
    fn next(&mut self) -> Option<T> {
        let mut value = self.value.clone();
        self.value += One::one();
        Some(value)
    }

    // Optional, just for a modicum of efficiency in some places
    #[inline]
    fn size_hint(&self) -> (uint, Option<uint>) {
        (uint::max_value, None)
    }
}

同样，您会看到一个对象的概念，您可以在其上调用方法来改变其状态并返回所需的值，而不是创建新的可调用对象。就是这样：目前，您希望能够致电object()，您需要致电object.method()。我相信你可以忍受目前存在的轻微不便。

从函数返回一个闭包

1 个答案: