Э
UNsafe MUTability.
Size: a a a
2020 October 18
в🧇
Тогда и публично будет можно поля некоторые показывать.
На самом деле это звучит как геттеры/сеттеры на уровне языка. Типо
{ pub get; pub unsafe set; }Э
Ну да.
в🧇
Ещё из доступных костылей можно юзать дереф (не мут например) в структуру с публичными полями
в🧇
впрочем с вектором это не прокатит
MP
А в чем соль? Почему установка длинны - ансейф?
Э
Mag Pie
А в чем соль? Почему установка длинны - ансейф?
Инварианты.
MP
Инварианты.
Ну это внутри имплементации, len же ни разу не pub.
Э
Ты видел, какой у кода для вектора размер?
в🧇
Mag Pie
А в чем соль? Почему установка длинны - ансейф?
Потому что если длинна будет больше, чем на самом деле есть элементов — можно будет прочитать не инициализированную память.
А если больше чем
А если больше чем
capacity то ещё хужев🧇
Mag Pie
Ну это внутри имплементации, len же ни разу не pub.
1) мы обсуждали теорию на счёт того, что его можно было бы сделать
pub
2) из-за этого получается что unsafe распространяется по всему модулю совсем не заметноMP
Ты видел, какой у кода для вектора размер?
1600 loc из которых 3/4 доки
D
Mag Pie
1600 loc из которых 3/4 доки
не похоже на 1600 loc с 3/4 комментариев
Э
А итераторы в том же модуле?
D
вроде да
MP
Я смотрел на impl<T> Vec<T> {} https://doc.rust-lang.org/beta/src/alloc/vec.rs.html
в🧇
Ещё
RawVec, так-тоЭ
Ещё
RawVec, так-тоRawVec длину не менеджит.
Э
Mag Pie
Я смотрел на impl<T> Vec<T> {} https://doc.rust-lang.org/beta/src/alloc/vec.rs.html
Drain и IntoIter тоже длину трогают.
Э
Хотя вру, IntoIter не трогает, у него там тупо указатели.