Compare commits
No commits in common. "b29d2cbeccbab6d3595d22a39eb274ede989c75b" and "e11868e6da28554bcce806510db992bcf5e2e0fa" have entirely different histories.
b29d2cbecc
...
e11868e6da
4
4.2/2.md
4
4.2/2.md
@ -245,9 +245,7 @@ fn get_entities_at<T, const N: usize>(entities: &mut [T], indices: [usize; N]) -
|
||||
```rust
|
||||
**Kod**
|
||||
```
|
||||
Но, оно нужно не только для этого. При написании такого комментария программист лишний раз подумает, какие инварианты нужно соблюсти. А ещё, упрощает нахождение бага, так как можно сравнить условия, когда возникает баг, с теми условиями, что прописаны в комментариями. И баг по безопасности будет возникать возникать только в unsafe блоках. Правда, при всплытии в одном месте, причиной возникновения может стать unsafe блок в совершенно другом месте. Поэтому, хотелось бы сузить количество кода для поиска бага, поэтому старайтесь уменьшать блоки unsafe.
|
||||
### Хорош тот unsafe, которого нет
|
||||
Самую главную рекомендацию
|
||||
Но, оно нужно не только
|
||||
|
||||
**Начать с проблемы, когда компилятор не может гарантировать безопасность по памяти (но без этого невозможно написать программу), возможно из ub**
|
||||
Допустим, на вход вашей функции
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user