Почему я не могу спрятать коробку?

Question

Рассмотрим следующий код (on playground):

// calling this function move the ownership of nbr to is_even 
// at the end of the function is_even doesn't give the ownership back 
fn is_even(nbr: Box<i32>) -> bool { 
    *nbr % 2 == 0 
} 

fn main() { 
    let integer = Box::new(42); 
    if is_even(integer) { 
     print!("is even "); 
    } 
    println!("{}", integer); 
} 

Я получаю следующее сообщение об ошибке:

example.rs:10:17: 10:24 error: use of moved value: `integer` [E0382] 
example.rs:10 println!("{}", integer); 

example.rs:7:13: 7:20 note: `integer` moved here because it has type `Box<i32>`, which is non-copyable 
example.rs:7 if is_even(integer) { 

Я не понимаю, почему. Хорошо, когда я звоню is_even, я даю право собственности на эту функцию, но в конце is_even эта функция больше не нуждается в собственности. Это непреложная (только для чтения) передача права собственности, поэтому мы уверены, что она не удаляется, когда main сдерживается integer -> кажется безопасным использовать его обратно.

Все еще есть эта ошибка. Почему и что такое обходной путь?

Answer 1

Если вы хотите сохранить права собственности на свою коробку, то вы должны иметь is_evenзанять, а не владеть ею. Вот рабочая версия кода:

// calling this function move the ownership of nbr to is_even 
// at the end of the function is_even doesn't give the ownership back 
fn is_even(nbr: &Box<i32>) -> bool { 
    **nbr % 2 == 0 
} 

fn main() { 
    let integer = Box::new(42); 
    if is_even(&integer) { 
     print!("is even "); 
    } 
    println!("{}", integer); 
} 

Обратите внимание, что is_even в настоящее время принимает ссылку (с &) к коробке, и мы должны передать ссылку (опять же, с &), когда мы называем функция. Наконец, теперь функция работает скорее по ссылке, чем по значению, поэтому нам нужно добавить еще *, чтобы снять ссылку, прежде чем мы сможем ее использовать.

Однако, это хорошее правильное правило, чтобы избежать использования неперемещаемых ссылок на значения, которые содержат их содержимое (например, String или Vec или Box). Функция может быть переписана в следующем виде:

fn is_even(nbr: &i32) -> bool { 
    *nbr % 2 == 0 
} 

Это работает с любой ссылку на целое, а не только те, которые находятся в Box эс.

Answer 2

, когда я называю is_even, я даю право собственности на эту функцию

Ровно. Вы передали право собственности. У вас его нет, и функция будет делать то, что она хочет. В этом случае он освободит память, поэтому определенно не может использовать ее после вызова.

, что функция не нуждается в собственность больше

Именно поэтому она отбрасывается.

Это неизменная (только для чтения) передача права собственности

Это не существует. Вы полностью передаете право собственности, нет никаких оснований.

поэтому мы уверены, что он не будет удален

На самом деле, мы уверены он освобождается, и это очень хорошая вещь. Руст управляет этим для нас, поэтому вам никогда не придется спрашивать: «Кто должен освободить это?»

Итак, как вы это исправите? Это просто: передайте ссылку на внутреннее значение, а не на весь ящик. Это заимствует значение (изменено или нет, до вас) и право собственности не передается.

fn is_even(nbr: &i32) -> bool { ... }