TK
Что там с ними?
https://github.com/rust-lang/rust/issues/25860
https://crates.io/crates/fake-static
Открытая дыра в системе типов Раста.
Size: a a a
2021 April 17
TK
Видел, это один из багов, тот, что в компиляторе, и он не ДЫРА, а недочёт в связи с тем, что тут несколькими днями ранее я попытался объяснить
PG
Конечно же это дыра, причем огромная.
TK
Второй относится к Arc
PG
И как же вы объяснили это?
EG
fake-static это здоровенная дыра, на которую, к тому же, все забили
PG
+
TK
Пример игрушечный на самом деле и в реальном коде почти не встречается. Забили почему, не знаю, должны были исправить. Серьёзно по репутации языка бьёт.
EG
Пример совершенно страшный, потому что ничего особенного он не делает
EG
Это не то, что нужно пять томов инкантаций выписывать
EG
Это просто самый обычный растовый код с лайфтаймами
D
да забейте просто на safe unsafe,
PG
Интересно причем здесь то что это в реальном коде не встречается. Это дыра, и говорить то что язык без дыр, только потому-что мала вероятность что в неё упадут — неправильно, как я считаю.
TK
'static не 'universal и лишь подпадает под его часть, 'a варьируется от пустого до 'universal, имплаед баунды не делают проверку на 'static
D
это бесполезно, хотите надежности пруфайте свои программы
С
Пишите на хаскеле
TK
Ещё 'static считается живущим всё время работы программы, хотя на самом деле либо ссылка недостижима, либо живёт оставшееся время программы, что тоже может чисто в теории привести к проблемам, но очень сомнительно
X
Так уже
EG
Проблема тут фундаментальная, в некотором роде