p
Roman Blog
Твой чекер не проверяет 90% stdlib.
проверяет
Size: a a a
2021 March 03
А⚙
Roman Blog
дело не в хинтах. Причин почему раст-чекера в С++ нет множества. Основные это а) чекер этот не чекает тот код, который пишется на С++. б) никто не будет та радикально менять язык. Хотя С++ сам по себе максимально удобен для чекинга
> Хотя С++ сам по себе максимально удобен для чекинга
АХАХХАХАХХАХХАХАХАХАХ
АХАХХАХАХХАХХАХАХАХАХ
RB
а С++ код практически весь - это всякие stdлибы всякой скриптухи.
RB
проверяет
выпиливай Unsafe
p
Roman Blog
выпиливай Unsafe
зачем?
p
там ансейф не ломает лайфтаймы.
RB
зачем?
Как зачем. Он существует именно для взлома чекера. Если чекер может это проверять, то он ненужен
p
Roman Blog
Как зачем. Он существует именно для взлома чекера. Если чекер может это проверять, то он ненужен
нет
RB
ломает, везде и всегда
p
в первую очередь для перевода ссылок в сырые указатели и наоборот
RB
зачем нужны указатели?
p
банально чтобы можно к адресу прибавлять числа
p
банально чтобы можно к адресу прибавлять числа
^
m
Roman Blog
раст работает за счёт жестких ограничений и замусоревания языка, переводя на программиста заботу об этой херне. Это даже не автоматическая, а полуавтоматическая херня. wlifetime же полностью автоматический и не ограничивает ничего
Они не только ограничения, но и контракты. Берешь любую либу на расте и у тебя в IDE вся инфа кто кем владеет и одалживает
RB
это уже нарушает чекинг
p
в сейф расте ты так делать не имеешь права
RB
ты засыпался даже здесь.
p
Roman Blog
это уже нарушает чекинг
нет
RB
как нет, если прибавление всегда safe, где можно отследить границы
p
Roman Blog
как нет, если прибавление всегда safe, где можно отследить границы
ты не модешь в компайл-тайме отследить размер вектора в рантайме