ΑZ
ну хз, это сложная тема
Size: a a a
2021 April 29
ΑZ
но поинт хороший, да
ΑZ
уговорил
r
или молча присвоил значение элементу вектора или сделал truncate или .filter().collect(). libstd очень серьёзно придётся дорабатывать/переделывать
TK
Только forget должен в явном виде приводить к утечкам. Drop в среде без паник при вызове не должен как раз.
KR
Если std смогут затащить в эдишны, то буде круто.
EG
Не придётся. Все старые типы работают как было.
Relevant-типы просто нельзя дропнуть. Если статический анализ обнаруживает, что вызывается <T as Drop>::drop() where T: Relevant, то это ошибка.EG
Вместо этого можно давать им трейт
Dispose, который никогда в явном виде не вызывается и определяет fn dispose(self)EG
Drop analysis, который знает, что
Vec<T> может дропнуть T уже существуетr
А может не дропнуть, если пустой
EG
Пофиг.
Vec<T>: Relevant where T: Relevant и .dispose() вектора избавляется от всех внутренних типовEG
Если
T: !Dispose, то можно сделать .dispose_if_empty(self) -> Option<Self>r
Собственно, вектор эффективно становится append_only
r
Хм... Или нет
EG
Да нет. Делай с ним что хочешь, главное — не забудь в конце либо диспознуть, либо убедиться, что пустой.
EG
Через
.dispose_if_empty()EG
При этом
.dispose() требует T: Dispose, а .dispose_if_empty() — нет.EG
Можно ещё какого-нибудь сахара положить
Например,
который уничтожает все свои элементы, вызывая на них
Например,
.dispose_with<F: FnMut(T)>(self, f: F)
который уничтожает все свои элементы, вызывая на них
f, а потом убивает векторEG
Соответственно,
Vec::dispose это просто .dispose_with(T::dispose)r
Что хочешь, кроме операций, которые вызывают неявный дроп элементов. vec[i]=x, выкидываем. Пишем vec.push(x), vec.swap_remove(i).dispose()