172 похожих чатов

Вот у меня, кстати, возник философский по меркам раста вопрос:

можно ли эту штуку завести без unsafe?

https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=0cd7fd99bfa39f03eb0a2e04c3c9d047

17 ответов

16 просмотров

Скорее всего нео

это же тейк 🤔

А или ты не о принте?

Не используй transmute

примитивушка- Автор вопроса

более того, тейк тоже через сейф код реализован: https://doc.rust-lang.org/std/primitive.slice.html#method.take_mut

примитивушка- Автор вопроса
вафля'
более того, тейк тоже через сейф код реализован: h...

Лол, што. А как эта штука работает? Хотелось бы понять, чтобы второй раз на одни и те же грабли не вставать https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=44b85ad9475b654ca48c58a2a0f90eeb UPD: новая ссылка

вафля'
более того, тейк тоже через сейф код реализован: h...

Он же безопасный только потому, что оба &mut куска не пересекающиеся?

примитивушка- Автор вопроса
mental stability🥺✨
Он же безопасный только потому, что оба &mut куска...

И еще потому что все остальные правила мемсейфа выполняются, угу хД

Потому что когда ты на &'a mut &'b mut T вызываешь &mut self метод, то у тебя это всё коерсится к &'a mut T. У тебя есть доступ к объекту только по самому меньшему из лайфтаймов в цепочке (он же самый наружный)

примитивушка- Автор вопроса

Я к тому, что это недостаток скорее. С моей точки зрения, без учёта этого признака, всё нормально и работа с памятью безопасна. А take - легальный костыль, чтобы чекер заработал нормально.

примитивушка
Я к тому, что это недостаток скорее. С моей точки ...

Ну просто это фундоментальная штука, без которой у тебя ничего не будет работать. Если у тебя &'a mut &'b mut T мог коерсится в &'b mut T то у тебя бы вообще всё сломалось, например (псевдокод): 'a: { let mut object = ...; let mut ref_a: &'a mut _ = &mut object; let second_ref_a: &'a mut _ = 'b: { let mut ref_b: &'b mut &'a mut _ = &mut ref_a; ref_b.coerce() // ref_b goes out of scope, so ref_a unfreezes }; // ref_a and second_ref_a point to the same object :O }

примитивушка- Автор вопроса

Похожие вопросы

Обсуждают сегодня

Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
75
База данных не поможет. Шифрование не поможет. Какие там ещё варианты? Накидывайте.
КТ315
20
А табстоп это сообщение от окна или от элемента управления?
The Bird of Hermes
18
А как лучше конвертировать физический адрес в виртуальный при маппинге? В случае ядра у меня, например, direct mapping, первые 768МБ я как есть мапплю в higher half, а остальн...
Evg Resh
26
Открыл свой двухкилобайтный экзешник в x32dbg, а тут какая-то хрень. Смущает кнопка "выполнить до пользовательского кода", а что ещё может быть в файле помимо него ?
НѣкъиⰘижєжєиꙁъвьсєсвѣтьноѣсѣтиѥсть•
11
Мне были интересны дишные хаки и я нашёл любопытный способ на форуме через __traits, что-то вроде int delegate(int) fac = (int n) => n == 0 ? 1 : n * __traits(parent, {})(n - ...
Constantin F.
1
Вопрос тем кто смотрит видео и слушает подкасты - как вы потом ищете нужную вам информацию? Вот статью я прочитал, потом могу искать нужную мне часть банальным поиском. Пропус...
Aleksandr Druzhinin
4
Всем привет, подскажите/посоветуйте пожалуйста. Фаердак компоненты, имею одно место где бизнес хочет видеть при открытии формы список всех клиентов, это порядка 30к. Мои дово...
Sasha Sch
14
Ребят, если кто в курсе - скажите, а в загранке такое же засилье маркетплейсов? или там простые сермяжные интернет-магазины живут попроще?
Андрей [aharito] Харитонов
14
Коллеги, доброе утро. Запустил на удаленном хосте приложение (ручками зашел туда по ssh и запустил, не командой удаленно). Создал потом ssh-туннель, и с моей машины приложение...
Δημήτηρ
9
Карта сайта