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