RB
коду вообще говоря пофиг пройдёт ли через него паника или нет
Нет, не пофиг. Если ты исходишь из того, что панику обработать при вызове твоей функции нельзя, т.е. там всегда будет abort, то это нарушает инвариант
Size: a a a
2021 March 02
А
Roman Blog
Нет, не пофиг. Если ты исходишь из того, что панику обработать при вызове твоей функции нельзя, т.е. там всегда будет abort, то это нарушает инвариант
какой инвариант?
RB
выше было сказано
ΑZ
Roman Blog
Если бы оно не ловило - оно бы не существовало.
с точки зрения кода его и не существует
ΑZ
если запаниковал кто-то кого ты вызывал ты об этом не узнаешь - приложение упало же
А
аборт - это аборт, полная остановка, никакого кода дальше не выполняется
А
какие-либо инварианты смысла не имеют уже
ΑZ
Roman Blog
а то, что где-то там написано "не гарантирует" - это не означает "не ловит".
значит
ΑZ
важно что гарантируется языком и либами
ΑZ
остальное - брехня языком
А
если не аборт то компилятор вызовет нужные дропы
А
точнее компилятор сгенерирует код для вызова всех дропов
RB
зачем ты споришь не читая контекста? Я отвечаю на это "все либы что я юзаю паники воспринимают как анрекаверабл,"
Z
Roman Blog
fno-exceptions, кастомный rt и прочее
С этим ты по факту не можешь пользоваться даже std и пишешь на подмножестве языка, в расте - можешь
RB
значит
Нет, не значит. Тебе мало что гарантирует. Допустим, упомянутый выше ресайз веткора тебе не гарантируется, а значит ты считаешь, что ресайз веткора - брехня языком?
RB
С этим ты по факту не можешь пользоваться даже std и пишешь на подмножестве языка, в расте - можешь
нет, не можешь. Всё тут же превращается в тыкву. И std ты можешь исключать, ты опять всё перепутал. Что же у вас так плохо со всем этим. std не используется не потому, почему ты там себе придумал. А потому, что нужно получить ошибку. Если её получать ненужно, то вся std работает
RB
т.е. в С++ исходят, при отключении исключения, что нужно отслеживать ошибки при ресайзе вектора. И мочь их обработать. В расте исходят из того, что ненужно. Это никак не связана с исключениями. Ты точно так же в С++ можешь использоваться той же логикой
RB
и кидать abort без возможности обработать ошибку
ΑZ
Roman Blog
Нет, не значит. Тебе мало что гарантирует. Допустим, упомянутый выше ресайз веткора тебе не гарантируется, а значит ты считаешь, что ресайз веткора - брехня языком?
ресайз вектора гарантируется, а вот реаллокация - нет, да, поэтому рассчитывать на реаллок будет только дурачок
А
Roman Blog
зачем ты споришь не читая контекста? Я отвечаю на это "все либы что я юзаю паники воспринимают как анрекаверабл,"
Если либа делает что-то типа leak и from_raw и между этими операциями дёргает какой-то внешний код, который кинет панику, а потом восстановится, тогда будет утечка. Других случаев когда паника что-нибудь сломает я что-то придумать не могу