From b29d2cbeccbab6d3595d22a39eb274ede989c75b Mon Sep 17 00:00:00 2001 From: akulij Date: Wed, 19 Nov 2025 09:40:15 +0700 Subject: [PATCH] vault backup: 2025-11-19 09:40:15 --- 4.2/2.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/4.2/2.md b/4.2/2.md index eecbb81..e3e338e 100644 --- a/4.2/2.md +++ b/4.2/2.md @@ -246,7 +246,8 @@ fn get_entities_at(entities: &mut [T], indices: [usize; N]) - **Kod** ``` Но, оно нужно не только для этого. При написании такого комментария программист лишний раз подумает, какие инварианты нужно соблюсти. А ещё, упрощает нахождение бага, так как можно сравнить условия, когда возникает баг, с теми условиями, что прописаны в комментариями. И баг по безопасности будет возникать возникать только в unsafe блоках. Правда, при всплытии в одном месте, причиной возникновения может стать unsafe блок в совершенно другом месте. Поэтому, хотелось бы сузить количество кода для поиска бага, поэтому старайтесь уменьшать блоки unsafe. -### Хороший unsafe тот, который отсу +### Хорош тот unsafe, которого нет +Самую главную рекомендацию **Начать с проблемы, когда компилятор не может гарантировать безопасность по памяти (но без этого невозможно написать программу), возможно из ub** Допустим, на вход вашей функции