Т8
смартпоинтеры помогают? мне не помогли
Сочувствую, но ничем помочь не могу. Подозреваю, что и раст может не помочь
Size: a a a
2020 March 05
RP
Т-34 85
Ну так ты ССЗБ
а использовать переменную после мува - это я тоже виноват?
RP
А язык-то прекрасен! чудесен! лутшее всех)
AZ
Т-34 85
Сочувствую, но ничем помочь не могу. Подозреваю, что и раст может не помочь
Помогает
AZ
чтобы не было вопросов про "шаред_птр"
RP
нееет, ты будешь использовать unsafe и у тебя все сломается! в ансейфе компилятор перестает проверять лайфтаймы владения типы и вообще все-все-все
A
Кстати про ансейф, а можно ли туда еще каких-то гарантий насыпать, кроме борроу-чекера и системы типов?
Т8
а использовать переменную после мува - это я тоже виноват?
Ну а кто ж? Запрещено же использовать, а ты...
RP
не запрещено.
RP
According to the C++11 standard, section 17.3.26:
valid but unspecified state an object state that is not specified except that the object’s invariants are met and operations on the object behave as specified for its type
RP
А всякие листы и строки могут быть похерены этим состоянием, в итоге ты получишь UB
G
Agrailag
Кстати про ансейф, а можно ли туда еще каких-то гарантий насыпать, кроме борроу-чекера и системы типов?
Люди туда даже умудряются запихать автоматические доказательства теорем и тоталити чекеры: https://frama-c.com/download/acsl-tutorial.pdf
Т8
А всякие листы и строки могут быть похерены этим состоянием, в итоге ты получишь UB
Это намекает, что всё-таки запрещен
RP
Т-34 85
Это намекает, что всё-таки запрещен
выдержка из стандарта намекает тебе, что ты не прав
RP
но ты же не читал Бальзака?
Т8
Покажите мне в пример в проде, что реально кто-то вот так написал
A
Люди туда даже умудряются запихать автоматические доказательства теорем и тоталити чекеры: https://frama-c.com/download/acsl-tutorial.pdf
так я про раст больше
RP
лол) Начинается)))
G
Agrailag
так я про раст больше