История изменений
Исправление alysnix, (текущая версия) :
Что касается примера, то там раст просто запретит использовать потенциально перемещённую переменную (и правильно сделает, её использование явный говнокод).
да быть не может. проведите эксперименты. если оно так, то на свалку сразу.
таки скорее, там хранится признак что обьект перемещен. потому что иначе нельзя вызвать функцию, что «забирает» обьект, под условием. то есть на линейном участке компилятор видит, что обьект «забрали», а на участке с ветвлениями и забиранием в ветке - ему придется делать рантайм признак.
счетчик-то ссылок в расте есть. именно поскольку в компайлтайме в общем сдучае не определишь когда на обьект нет ссылок.
вы просто слишком наивно все понимаете этот раст.
Исправление alysnix, :
Что касается примера, то там раст просто запретит использовать потенциально перемещённую переменную (и правильно сделает, её использование явный говнокод).
да быть не может. проведите эксперименты. если оно так, то на свалку сразу.
таки скорее, там хранится признак что обьект перемещен. потому что иначе нельзя вызвать функцию, что «забирает» обьект, под условием. то есть на линейном участке компилятор видит, что обьект «забрали», а на участке с ветвлениями и забиранием в ветке - ему придется делать рантайм признак.
счетчик-то ссылок в расте есть. именно поскольку в компайлтайме в общем сдучае не определишь когда на обьект нет ссылок.
вы просто слишком наивно все понимаете этот траст.
Исходная версия alysnix, :
Что касается примера, то там раст просто запретит использовать потенциально перемещённую переменную (и правильно сделает, её использование явный говнокод).
да быть не может. проведите эксперименты. если оно так, то на свалку сразу.
таки скорее, там хранится признак что обьект перемещен. потому что иначе нельзя вызвать функцию, что «забирает» обьект, под условием. то есть на линейном участке компилятор видит, что обьект «забрали», а на участке с ветвлениями и забиранием в ветке - ему придется делать рантайм признак.
счетчик-то ссылок в расте есть. именно поскольку в компайлтайме в общем сдучае не определишь когда на обьект нет ссылок.
вы просто слишком наивно все понимаете это траст.