diff --git a/4.2/2.md b/4.2/2.md index 86c40e6..912a3af 100644 --- a/4.2/2.md +++ b/4.2/2.md @@ -239,7 +239,9 @@ fn get_entities_at(entities: &mut [T], indices: [usize; N]) - } ``` Теперь гарантии происходят внутри самой функции. -Спустя некоторое время вам поступило ТЗ, что эта функция должна выдавать индексы только по энтити, +Спустя некоторое время вам поступило ТЗ, что эта функция должна выдавать индексы только по энтити, которые видимы (пускай будет трейт с методом is_visible). Изменим код: +**код** +Но останется ли такой код безопасным **Начать с проблемы, когда компилятор не может гарантировать безопасность по памяти (но без этого невозможно написать программу), возможно из ub** Допустим, на вход вашей функции