为什么闭包会占据向量的所有权？

Question

防锈文件中的封闭部分有这个例子。

let nums = vec![1, 2, 3];

let takes_nums = || nums;

println!("{:?}", nums);

文件上说

然而，如果你的关闭需要它，铁锈将占据所有权，并改变环境

上面的代码导致这个错误

note: `nums` moved into closure environment here because it has type
  `[closure(()) -> collections::vec::Vec<i32>]`, which is non-copyable
let takes_nums = || nums;
                 ^~~~~~~

医生说

Vec对其内容拥有所有权，因此，当我们在闭包中引用它时，我们必须获得nums的所有权。这就像我们将nums传递给一个拥有它的函数一样。

我不明白为什么闭包不只是借用向量的所有权，就像在本例中从文档中所做的那样

let num = 5;
let plus_num = |x: i32| x + num;

assert_eq!(10, plus_num(5));

这个闭包，加上_num，指的是其作用域中的let绑定：num。更具体地说，它借用了绑定。

Answer 1

答案在于闭包的签名：takes_num返回什么？

它返回nums，其类型为Vec

要把某物的所有权给予某人，你必须首先拥有它，否则它就不是你可以给予的。同样的规则也适用于闭包。