Javascript-форум (https://javascript.ru/forum/)
-   Оффтопик (https://javascript.ru/forum/offtopic/)
-   -   Язык программирования Rust (https://javascript.ru/forum/offtopic/52727-yazyk-programmirovaniya-rust.html)

kobezzza 24.07.2015 21:45

Разбирался со временами жизни указателей, в итоге понял написав такой код:

// Наша функция принимает 2 параметра-ссылки типа int32
// и возвращает кортеж из этих значений, причём первое значение будет увеличено на 1
fn foo<'a, 'b>(i: &'a mut i32, j: &'b i32) -> (&'a i32, &'b i32) {
    *i += 1;
    (i, j)
}

fn main() {
    let mut x1 = 5;
    let res;

    {
        // Сохраняем в res значение .0
        res = foo(&mut x1, &mut 3).0;
    }

    // Всё ок, 6, т.к. время жизни первого параметра foo совпадает с x1,
    // а вот элемент .1 мы бы не смогли сохранить, т.к. его время жизни другое
    // и он удалится из памяти при выходе из блока 20-23
    println!("{}", res);
}


Думаю, будет полезно изучающим Rust.

kobezzza 24.07.2015 22:06

Разбираюсь с видами указателей, но не нашёл в учебнике внятного описания, а по доке пока не въезжаю:

Arc<T>
RefCell<T>
Cell<T>
Box<T>

Мб кто уже разобрался? Ну или я напишу ответ, когда разберусь :)

UPD: http://habrahabr.ru/post/191916/ хотя статья мега древняя и скорее всего уже протухла :(

novikov 26.07.2015 00:51

В Книге есть пример про обедающих философов.

Там используется Arc<T> и Mutex<T>. Это контейнеры. Помещённые в них значения произвольного типа приобретают дополнительные свойства при многозадачном исполнении. Определяют правила предоставления ресурсов конкурирующим процессам.

kobezzza 26.07.2015 10:05

Цитата:

Сообщение от novikov (Сообщение 381535)
В Книге есть пример про обедающих философов.

Там используется Arc<T> и Mutex<T>. Это контейнеры. Помещённые в них значения произвольного типа приобретают дополнительные свойства при многозадачном исполнении. Определяют правила предоставления ресурсов конкурирующим процессам.

Спасибо, эту то статья я как раз и пропустил.

novikov 04.08.2015 14:45

Нeдавно использовал Cell<T>. Хотел внедрить счётчик в две фабрики, чтобы ограничить общее количество создаваемых ими экземпляров. Сначала пошёл на поводу у компилятора, который ругался, что счётчик неизменяемый. А сделаешь его изменяемым натыкаешься на ограничение но количеству изменяемых ссылок (допускается только одна). Получается, одна фабрика работает, а добавишь вторую - ошибка. Пытался обернуть структуру счётчика и в RefCell и в Cell. Не вышло по причине, что синтаксис становился каким-то сложным и нерабочим. Выход - применить Cell не ко всему счётчику, а только к одному меняющемуся полю. Появилось понятие "внутренняя изменяемость". Код демо-проекта есть на GitHub. Рекомендуют предпочесть Cell в противовес RefCell, так как RefCell приводит к выполнению дополнительных действий при исполнении программы и может вызвать панику.

https://doc.rust-lang.org/std/cell/

novikov 04.08.2015 15:12

Box<T> отправляет переменную в кучу.

let mut a1 = Box::new(Alien{ planet: "Mars".to_string(), n_tentacles: 4 });
println!("{}", a1.n_tentacles); // 4


пример из книги Essential Rust


Часовой пояс GMT +3, время: 08:08.