АЖЛ (альтернативная жизнь ленина) планирую поставить в театре, я как раз затусил с парой известных киевских писателей… короче процесс идет

Занятно, но я даже и не надеюсь это понять

Нет, выше я уже говорил об этом. Ты накосячить можешь не только в unsafe, но и в safe-интерфейсе. Т.е. безопасность вектора достигается не за счёт safe, а за счёт ручного пердолинга.


Я не говорил, что код безопасен по умолчанию. Я говорил о том, что почему-то адепты считают, что у них что-то там гарантирует safe, но нет. Пример с вектором выше показательный.

Смысл ансейфа в манипуляциях и обмане паствы. Методичка про греп состоятельна мало, потому что там в реальности этого ансейфа столько, что грепай его или не грепай - это мало что изменит. В конечном итоге всё сводится к вере, что явный unsafe что-то изменит, но толку? Это не ответ.


Гарантии раста действительно ложь, потому как их нет. О чём ты сам выше и говоришь. Вся логика, которая требует unsafe-фчией будет в unsafe и никаких гарантий там нет. А та логика, что не требует - она итак безопасно. Какой там язык - ничего не значит.  Вот и остаётся только уповать на явный unsafe и какой-то один единственный механизм чекинга

там используется в основном только один фокус - запрещается выносить за скоуп. И то это лишь следствие, просто базовый инвариант, который не позволяет это сделать. Это единственное преимущество.

а я так и не прочитал :(

нарушение в safe можно сделать только если до этого ты накосячил в ансейф, по-доругому никак

т.е. мы там можем в C++ написать scoped_lock lock,  но мы можем там взять на него ссылку. Это, конечно, мало что изменит. Но потенциально можно

@Psilon а что за реинкарнация царя?

ну в этот раз он поприличнее себя ведет

ну да, но в том то и смысл. Ты можешь накосячить как в unsafe, так и в safe обёртке

т.е. unsafe - не идинственное место, где ты можешь накосячить

хейтеры снесли акк

если речь про гарантии которые сейф дает - то только там

Нет, safe здесь никаких гарантий не даёт. Т.е. гарантии вектора обеспечивает не само safe, а колхоз ручной на нём

ты не можешь нарушить базовый инвариант, но кто тебе сказал, что этого достаточно?

обычно достаточно

вся суть ансейфа - "если память пошла по пизде, где искать виновника"

если отбросить философию

он даёт гарантии что ты в safe не наколхозишь такого что всё поломает

если у тебя она пошла - то ошибка *только* в ансейф блоке может быть