vault backup: 2025-11-19 09:13:31
This commit is contained in:
parent
59ed7c0fed
commit
daf8381965
4
4.2/2.md
4
4.2/2.md
@ -239,9 +239,9 @@ fn get_entities_at<T, const N: usize>(entities: &mut [T], indices: [usize; N]) -
|
||||
}
|
||||
```
|
||||
Теперь гарантии происходят внутри самой функции.
|
||||
Спустя некоторое время вам поступило ТЗ, что эта функция должна выдавать индексы только по энтити, которые видимы (пускай будет трейт с методом is_visible). Изменим код:
|
||||
Спустя некоторое время вашему коллеге поступило ТЗ, что эта функция должна выдавать индексы только по энтити, которые видимы (пускай будет трейт с методом is_visible). Изменим код:
|
||||
**код**
|
||||
Но останется ли такой код безопасным
|
||||
Но останется ли такой код безопасным? Читающему код придётся снова
|
||||
|
||||
**Начать с проблемы, когда компилятор не может гарантировать безопасность по памяти (но без этого невозможно написать программу), возможно из ub**
|
||||
Допустим, на вход вашей функции
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user