А⚙
Roman Blog
идёшь и показываешь stdlib без unsafe
Показывай std плюсовую без ассемблера
Size: a a a
2021 March 03
p
Roman Blog
отключает
пруф из стандарта неси или пиздишь
MS
Roman Blog
отключает
Буквально не отключает.
MS
пруф из стандарта неси или пиздишь
Хахаха стандарта
p
Хахаха стандарта
да
RB
тебя опять обманули. Он не отключает его для внешних сущностей используемых внутри unsafe, но для этого ненужен Unsafe
MS
Чего обманули-то?
p
Показывай std плюсовую без ассемблера
это другое
MS
Это хорошо когда я могу найти места, из которых может возникать UB с помощью grep
MS
Я готов для этого пожертвовать некоторой частью „выразительности“.
RB
Это хорошо когда я могу найти места, из которых может возникать UB с помощью grep
Ога, в каждой второй строчке?
RB
ну и grep - Это уровень, конечно.
MS
Roman Blog
ну и grep - Это уровень, конечно.
My point exactly
p
Roman Blog
Ога, в каждой второй строчке?
за пределами std ансейфа мало
MS
Даже с помощью grep
RB
Чего обманули-то?
ну вот пользуясь тем, что адепты раста обладают крайне низкой компетенцией - им можно впаривать любую херню. Допустим, подобному адепту можно внушить, что анализатор раста что-то там анализирует, когда на самом деле. И на тему того, что unsafe что-то там не выключает, хотя на самом деле отключает.
r
Настолько мощнее, что обсирается на простейших примерах
Для того, чтобы решить неразрешимую задачу нужно быть очень мощным: супертьюринговым. Нетривиальные семантические свойства программы невычислимы.
RB
за пределами std ансейфа мало
За пределами std никакого кода и нет. Сплошные лабы и хеловорлды. В чём угодно, где существует нормальный низкоуровневый код - там везде unsafe.
RB
Я даже объясню тем, кто хочет понять. Всё примеры, когда не работает wlifetime - это просто фокусы с выводом указателя за скоуп
А⚙
red75prime
Для того, чтобы решить неразрешимую задачу нужно быть очень мощным: супертьюринговым. Нетривиальные семантические свойства программы невычислимы.
Безусловно. Но растовый borrow checker же такую херню ловит