{"draftJsState":{"blocks":[{"data":{"embedData":{"type":"external","host":"gitverse.ru","src":"https://gitverse.ru/nicktretyakov1/RustML","title":"nicktretyakov1/RustML | Gitverse"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:embed","key":"d0str"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"5uvb6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":10,"offset":0,"style":"BOLD"}],"text":"UnsafeCell — это самый низкоуровневый примитив внутренней мутабельности в Rust. Все остальные (Cell, RefCell, Mutex, атомики и т.д.) построены поверх него.","type":"unstyled","key":"b72vs"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Зачем он нужен","type":"header-three","key":"2g3q3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Компилятор Rust по умолчанию считает:","type":"unstyled","key":"espck"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":6,"offset":33,"style":"BOLD"}],"text":"Если у тебя есть &T, то значение нельзя менять.","type":"blockquote","key":"7af4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"UnsafeCell говорит компилятору:","type":"unstyled","key":"aam2k"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"«Я могу мутировать содержимое даже через shared-ссылку. Не делай оптимизаций, которые предполагают, что данные неизменяемы».","type":"blockquote","key":"f9ki9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Без UnsafeCell любой код, который пытается мутировать через &self, был бы UB (undefined behavior).","type":"unstyled","key":"3kgqi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Основной API","type":"header-three","key":"cr5uv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"6ojhl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"use std::cell::UnsafeCell;\n\nstruct MyCell {\n value: UnsafeCell,\n}\n\nimpl MyCell {\n fn new(value: T) -> Self {\n Self { value: UnsafeCell::new(value) }\n }\n\n // Единственный безопасный способ получить сырой указатель\n fn get(&self) -> *mut T {\n self.value.get()\n }\n}","type":"unstyled","key":"e4a5f"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Метод get() возвращает *mut T. Дальше вы уже сами решаете, что с ним делать в unsafe-блоке.","type":"unstyled","key":"6o8dj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Как выглядят Cell и RefCell внутри","type":"header-three","key":"29jv4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Упрощённо:","type":"unstyled","key":"4q0dm"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"2mmo7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"// Cell\npub struct Cell {\n value: UnsafeCell,\n}\n\n// RefCell\npub struct RefCell {\n borrow: Cell, // счётчик заимствований\n value: UnsafeCell,\n}","type":"unstyled","key":"3mhqo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Cell просто делает *self.value.get() = new_value (для Copy-типов).\n\nRefCell сначала проверяет флаг заимствования, а потом тоже идёт через UnsafeCell.","type":"unstyled","key":"75nf7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Когда писать свой код на UnsafeCell","type":"header-three","key":"3v40s"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":9,"offset":23,"style":"BOLD"}],"text":"Только если вы делаете кастомную внутреннюю мутабельность и понимаете все инварианты. Примеры:","type":"unstyled","key":"9321k"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Собственный lock-free контейнер","type":"unordered-list-item","key":"9jea"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Ленивая инициализация (OnceCell / LazyCell тоже используют UnsafeCell)","type":"unordered-list-item","key":"2cre9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Типы, которые должны быть Sync, но при этом имеют внутреннее состояние","type":"unordered-list-item","key":"77qfo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Минимальный безопасный пример (аналог Cell для Copy):","type":"unstyled","key":"5tr4t"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"870oa"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"use std::cell::UnsafeCell;\n\npub struct MyCell {\n value: UnsafeCell,\n}\n\nimpl MyCell {\n pub fn new(v: T) -> Self {\n Self { value: UnsafeCell::new(v) }\n }\n\n pub fn get(&self) -> T {\n unsafe { *self.value.get() }\n }\n\n pub fn set(&self, v: T) {\n unsafe { *self.value.get() = v; }\n }\n}","type":"unstyled","key":"36j8g"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Важные правила безопасности","type":"header-three","key":"6rd8b"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":7,"offset":0,"style":"BOLD"}],"text":"Никогда не создавайте одновременно &mut T и &T (или два &mut) к одному и тому же значению.","type":"ordered-list-item","key":"7ilr4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Пока живёт &mut T, полученный из UnsafeCell, никакие другие ссылки на это значение существовать не должны.","type":"ordered-list-item","key":"93ev6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":23,"style":"BOLD"}],"text":"UnsafeCell сам по себе не даёт потокобезопасности. Если вы хотите Sync, вам нужно дополнительно обеспечить, что мутации безопасны между потоками (атомики, мьютексы и т.д.).","type":"ordered-list-item","key":"57lla"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"UnsafeCell является Sync, если T: Sync. Но это не значит, что вы можете свободно мутировать его из разных потоков — ответственность за корректность лежит на вас.","type":"ordered-list-item","key":"62o65"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"UnsafeCell — это фундамент. В обычном коде почти никогда не нужно трогать его напрямую. Используйте Cell/RefCell/Atomic*/Mutex. К UnsafeCell спускайтесь только тогда, когда существующих примитивов недостаточно и вы готовы брать на себя все гарантии безопасности.","type":"header-three","key":"d96lg"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"c4e3o"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Магия Cell","type":"header-three","key":"2qm9v"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":14,"offset":5,"style":"BOLD"}],"text":"Cell не даёт ссылку на своё содержимое. Поэтому компилятор не может нарушить правила алиасинга:","type":"unstyled","key":"e910p"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"get() → копирует значение наружу","type":"unordered-list-item","key":"266as"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"set() → заменяет значение целиком","type":"unordered-list-item","key":"e64as"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"replace(), take(), update() (в новых версиях) — тоже без ссылок","type":"unordered-list-item","key":"bqj25"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Поэтому код вида:","type":"unstyled","key":"1b1vh"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"7cvc7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"use std::cell::Cell;\n\nstruct Metric {\n count: Cell,\n}\n\nimpl Metric {\n fn inc(&self) {\n self.count.set(self.count.get() + 1);\n }\n\n // или ещё короче (Rust 1.70+):\n // fn inc(&self) {\n // self.count.update(|c| c + 1);\n // }\n}","type":"unstyled","key":"b7cv8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":25,"offset":22,"style":"BOLD"}],"text":"полностью безопасен и не имеет runtime-оверхеда.","type":"unstyled","key":"11m83"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Когда чего использовать","type":"header-three","key":"bbvju"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":4,"offset":0,"style":"BOLD"}],"text":"Cell — когда тип Copy (счётчики, флаги, маленькие структуры).","type":"unordered-list-item","key":"b6t6d"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":7,"offset":0,"style":"BOLD"}],"text":"RefCell — когда нужен &/&mut к сложному типу (например, Vec, HashMap, большая структура).","type":"unordered-list-item","key":"6spuc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":29,"offset":0,"style":"BOLD"}],"text":"AtomicU64 / AtomicBool и т.д. — если нужна мутация из нескольких потоков (настоящая атомарность).","type":"unordered-list-item","key":"l6a0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":14,"offset":0,"style":"BOLD"}],"text":"Mutex / RwLock — для сложных типов в многопоточном коде.","type":"unordered-list-item","key":"fer1g"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Важные нюансы","type":"header-three","key":"aa6h2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":7,"offset":15,"style":"BOLD"}],"text":"Cell и RefCell не Sync. Их нельзя просто так шарить между потоками.","type":"ordered-list-item","key":"3gioe"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если структура должна быть Sync, а поле всё равно нужно менять — берите атомики или Mutex.","type":"ordered-list-item","key":"t3mq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Cell нельзя «обернуть» в RefCell ради удобства — это бессмысленно и добавит оверхед.","type":"ordered-list-item","key":"een79"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для однопоточного кода (или thread_local!) Cell — действительно самый быстрый и чистый способ получить мутабельность через &self.","type":"unstyled","key":"6ti5g"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":8,"offset":0,"style":"BOLD"},{"length":8,"offset":11,"style":"BOLD"},{"length":25,"offset":113,"style":"BOLD"}],"text":"OnceCell и LazyCell — это специализированные примитивы внутренней мутабельности в std::cell, предназначенные для однократной инициализации.","type":"unstyled","key":"968hi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Они появились в стандартной библиотеке как замена популярного крейта once_cell (и частично lazy_static).","type":"unstyled","key":"euill"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"OnceCell (std::cell::OnceCell)","type":"header-three","key":"bk77c"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"c2ho2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":15,"offset":35,"style":"BOLD"}],"text":"Это ячейка, которую можно записать только один раз. После записи вы получаете обычную shared-ссылку &T без runtime-проверок заимствований (в отличие от RefCell) и без требования Copy (в отличие от Cell).","type":"unstyled","key":"4qc6g"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"9tros"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"use std::cell::OnceCell;\n\nlet cell = OnceCell::new();\nassert!(cell.get().is_none());\n\n// Инициализация\nlet value: &String = cell.get_or_init(|| {\n \"Hello, World!\".to_string()\n});\nassert_eq!(value, \"Hello, World!\");\nassert!(cell.get().is_some());\n\n// Повторный set вернёт ошибку\nassert!(cell.set(\"another\".to_string()).is_err());","type":"unstyled","key":"gjnv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":16,"offset":0,"style":"BOLD"}],"text":"Основные методы:","type":"unstyled","key":"1ue1m"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"new() / const new()","type":"unordered-list-item","key":"avb3r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"get() -> Option<&T>","type":"unordered-list-item","key":"auqel"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"set(value) -> Result<(), T>","type":"unordered-list-item","key":"f7jht"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"get_or_init(f) -> &T","type":"unordered-list-item","key":"85hrv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"get_or_try_init(f) -> Result<&T, E>","type":"unordered-list-item","key":"19nhf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"get_mut() -> Option<&mut T> (только при &mut self)","type":"unordered-list-item","key":"86qtp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"take() -> Option (при &mut self)","type":"unordered-list-item","key":"b3ffh"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"into_inner() -> Option","type":"unordered-list-item","key":"breh6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":0,"style":"BOLD"}],"text":"Особенности:","type":"unstyled","key":"5jr85"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Построен на UnsafeCell>.","type":"unordered-list-item","key":"8q5ep"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Нет runtime-borrow-checks (в отличие от RefCell).","type":"unordered-list-item","key":"da8q1"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Можно инициализировать разными способами в разных местах кода.","type":"unordered-list-item","key":"642ps"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Не потокобезопасен (!Sync).","type":"unordered-list-item","key":"fe113"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"LazyCell (std::cell::LazyCell)","type":"header-three","key":"74vp0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":9,"offset":17,"style":"BOLD"}],"text":"Стабилизирован в Rust 1.80.","type":"unstyled","key":"eddvo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":30,"offset":42,"style":"BOLD"}],"text":"Это удобная обёртка над OnceCell, которая хранит замыкание инициализации внутри себя. Значение вычисляется при первом обращении (через Deref или force).","type":"unstyled","key":"457iu"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"4ivg7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"use std::cell::LazyCell;\n\nlet lazy = LazyCell::new(|| {\n println!(\"initializing...\");\n 92\n});\n\nprintln!(\"ready\");\nprintln!(\"{}\", *lazy); // здесь происходит инициализация\nprintln!(\"{}\", *lazy); // уже готовое значение","type":"unstyled","key":"54m01"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":16,"offset":0,"style":"BOLD"}],"text":"Основные методы:","type":"unstyled","key":"1cj7q"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"new(f) / const new(f)","type":"unordered-list-item","key":"ci32e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"force(&self) -> &T (явная инициализация)","type":"unordered-list-item","key":"dnv35"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Реализует Deref → можно писать просто *lazy","type":"unordered-list-item","key":"36pmo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"get(&self) -> Option<&T> (не вызывает инициализацию, если ещё не было)","type":"unordered-list-item","key":"el8f4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"into_inner (пока нестабилен в некоторых версиях)","type":"unordered-list-item","key":"fifng"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":10,"offset":0,"style":"BOLD"}],"text":"Poisoning:\n\nЕсли замыкание паникует, ячейка становится «отравленной». Любой последующий доступ тоже паникует (невосстановимо).","type":"unstyled","key":"2qpfo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"header-three","key":"b0tqp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Пример глобальной ленивой инициализации:","type":"unstyled","key":"1klbn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"ckssl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"use std::sync::LazyLock;\nuse std::collections::HashMap;\n\nstatic CONFIG: LazyLock> = LazyLock::new(|| {\n let mut m = HashMap::new();\n m.insert(\"key\".into(), \"value\".into());\n m\n});","type":"unstyled","key":"8f5ln"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Когда что использовать","type":"header-three","key":"frd6j"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":19,"offset":0,"style":"BOLD"}],"text":"LazyCell / LazyLock — когда инициализатор известен заранее и вы просто хотите «ленивую константу».","type":"unordered-list-item","key":"7rq43"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":19,"offset":0,"style":"BOLD"}],"text":"OnceCell / OnceLock — когда инициализация зависит от внешних данных, происходит в разных местах или нужна большая гибкость.","type":"unordered-list-item","key":"ctuni"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для однопоточного кода / thread_local! — версии из std::cell.","type":"unordered-list-item","key":"eic3n"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для static и многопоточности — версии из std::sync.","type":"unordered-list-item","key":"brfro"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":46,"offset":141,"style":"BOLD"}],"text":"Оба типа internally используют UnsafeCell, поэтому они являются частью той же семьи, что и Cell/RefCell, но с совершенно другой семантикой — однократная запись + последующее только чтение.","type":"unstyled","key":"471m4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"agp47"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"marker","key":"pO8RviJrzvmaUJxhALfr"}],"entityMap":{}},"mentions":[]}