s
Первая.
Сколько хочешь
Функция не производит UB, пока не вызвана
Size: a a a
2021 April 17
EG
Если функцию нельзя вызвать, она никогда не производит UB => она sound
EG
Со мной согласен и Номикон, и Ральф, ссылки были выше.
p
То есть если я к себе в крейт скопирую код другого крейта он автоматически становится приватным и я могу там менять ансейф на сейф и все заебись?
p
Снаружи не торчит
p
Какой-то Vec скопирую
ΑZ
это какая-то плюсовая логика почему темплейты лучше генериков
EG
Да, если вызывая публичные безопасные функции, ты не можешь достичь UB.
ΑZ
контекстом безопасности функции должна быть сама функция а не то как она используется
ΑZ
то есть НЕ ЗНАЯ вызываетяс функция или нет ты должен сказать - сейф она или нет
EG
Любой нетривиальный unsafe расчитывает на то, что весь остальной модуль работает правильно
p
Тогда мы приходим к выводу что помечать функции как ансейф не надо, хз
p
Толку то
p
Все гарантии напишешь в документации, все равно публичная функция же
ΑZ
не должно такого по возможности происходить. Мир неидеален, но когда можно инкапсулировать это в функции - это надо делать
EG
Возьмём, например,
Vec::push. Он расчитывает на то, что указатель внутри Vec — валидный либо нулевой.EG
Но другая функция внутри того же модуля, даже сейфовая, может сломать этот инвариант.
EG
Тем не менее,
Vec::push безопасный, потому что граница безопасности проходит по модулюp
Этосовсем другой пример