а не всеок

тогда утверждение о том что в асме нету дропов - ложно

даже если сокетов нету то там будет пометка памяти ведь?

сейчас, я минимальный пример сделаю

@qnikst спсб, что хоть маленько поднял уровень дискуссий на канале

StorageDead(_5); // scope 2 at src/main.rs:14:23: 14:23

вот что это значит? и StorageLive(_1)

и что должно вести себя неожидаемо?

как это работает

сторейж дед значит что выход из скопа

очевидно

при панике не вызываются drop-ы?

я не спрашиваю "что это значит"

я спрашиваю "как это реализовано"

что это значит для программы во время выполнения

ничего это не значит

я совсем непонятно общаюсь?

т.е. это noop?

блин..

storage dead значит выход из скоупа, ничего это не значит

скоп существует ток для мира

для программы не существует

я

я тоже писал

так, теперь как мне сделать исключение со stack unrolling?

а то unwrap это паника при панике ничего не освобождается судя по некрономикону

@lonokhov не совсем в конце второй ветки

так а как сделать что-то что у меня будет stack unwinding

https://play.rust-lang.org/?gist=d160b5cf2ec8591990ef4fd086a88ed4&version=stable

у раста переменная которая объявлена ниже в скопе, должна дропаться перед переменной которая объявлена выше

паника может быть и аборт, и unwind

в случае unwind всё освобождается

и по умолчанию unwind

ok

да

catch_unwind

fn test(b:bool, r:Result<u32,u32>) { let x = A {}; if b { let _ = r.unwrap(); std::mem::drop(x); () } else { () } }

вот пример, у него 2 формы вторая если unwrap сделать после дропа

в обоих случаях деструктор вызывается один и только 1 раз

это нормально правильно и понятно

а если словить панику при размотке стека в панике будет аборт?

что не понятно, как это реализовано внутри

а если словить панику при размотке стека в панике будет аборт?

поидее да

впрочем мир я только сейчас открою

по этому в дропе нельзя паниковать

хм.. а не тут читерство

с++ вы не любите, да?

сразу открывай асм

unwrap ветвление создает

я не умею в асм нормально

с++ вы не любите, да?

зачем его любить?

щас 1/0 сделаем

fn test(b:bool, r:u32) { let x = A {}; if b { let _ = 1/r; std::mem::drop(x); () } else { () } }

а хотя вы же сами тут говорили что unwind через gcc personality, так что, что в плюсах, то и в расте

а на msvc тулчейне унвинд через SEH виндовые?

во, хороший пример, тут нету неявного дропа в первой ветке, но если r=0 то x соберётся, а если !=0 то не соберётся лишний раз

или все таки unwind через llvm exceptions, а оно уже в зависимости от target'а родной механизм использует?

bb6: { StorageDead(_6); // scope 2 at src/main.rs:19:5: 19:5 switchInt(_12) -> [0u8: bb7, otherwise: bb10]; // scope 1 at src/main.rs:20:2: 20:2 } lil

он в 1/r заменил на кейс проверку 0

так понятно как он работает

А если у меня функция состоит из одного экспрешина, обязательно ли ей писать возвращаемый тип, или сама догадается?

обязательно

никто не должен догадываться, это не питон

вызывающая сторона должна понимать, что за сигнатура у функции

А если у меня функция состоит из одного экспрешина, обязательно ли ей писать возвращаемый тип, или сама догадается?

у замыканий само выводится, у обычных функций сигнатуры полные должны быть

@lonokhov как ты это получил

я пока (для mir) получил вставленный компилятором бранч

который проверяет переменную на 0

и если там 0 то освобождает и паникует

@c_vld блин, я до сих пор не верю что флагов на стеке совсем нет. нормальную документацию хрен найдешь. загрузил людей в гиттере

@c_vld блин, я до сих пор не верю что флагов на стеке совсем нет. нормальную документацию хрен найдешь. загрузил людей в гиттере

вон пишут что есть

может то оптимизатор соптимизировал

но чот я сомневаюсь, что в менее тривиальных случаях так прокатит и придётся флаги делать

А можно ли из одной переменной сделать slice длиной 1 элемент?

может то оптимизатор соптимизировал

фух. моя картина мира спасена. хотя, конечно, хотелось бы понятную и официальную документацию об этом всем :-(

фух. моя картина мира спасена. хотя, конечно, хотелось бы понятную и официальную документацию об этом всем :-(

но это не точно, я еще не видел кода в котором есть флаг х)

А можно ли из одной переменной сделать slice длиной 1 элемент?

[v] масив можно

&[v] слайс

Понял, спасибо

в общем хитро.. жалко к нам не притащить разумным способом

а похожий способ мне показался неразумным или требует очень много от компилятора