Блог*
Open in Telegram
Блог со звёздочкой. Много репостов, немножко программирования. Небольшое прикольное комьюнити: @decltype_chat_ptr_t Автор: @insert_reference_here
Show more1 964
Subscribers
-224 hours
-17 days
-730 days
Posts Archive
1 964
Repost from Мемный Болт Генона
Linus Torvalds Would Reportedly Merge Rust Kernel Code Over Maintainer Objections
https://www.phoronix.com/news/Torvalds-Override-On-Rust-Code
Открытка @itpgchannel
1 964
#prog #rust хайлайты:
▪️Стабилизировали апкаст трейтов:
trait Super {}
trait Sub: Super {}
fn upcast(x: &dyn Sub) -> &dyn Super {
x
}
Больше никаких костылей с внедрением методов для апкаста в определения самих трейтов! Жаль, конечно, что только сейчас, по хорошему это ещё с первой версии должно было быть.
▪️Стабилизировали HashMap::get_many_mut (под именем get_disjoint_mut). Итоговая версия возвращает массив опциональных ссылок, что, возможно, не совсем удобно для наиболее частого случая, но позволяет обработать ситуацию, когда найдена только часть нужных значений. Эта версия также паникует на одинаковых ключах. Чтобы избежать этого, можно воспользоваться unsafe вариантом get_disjoint_unchecked_mut — не проверяет одинаковость ключей, но даёт UB, если предусловие не выполнено.
▪️Не столь существенно, как предыдущие варианты, но: стабилизировали Vec::pop_if. Не то чтобы прям остро необходимая вещь, но иногда полезная, и теперь позволяет обойтись без возни с unwrap.1 964
#prog #cpp #article
Why safety profiles failed
TL;DR:
10 лет назад Страуструп и Ко представили идею safety profiles: набор стандартизированных статических анализаторов, которые бы увеличивали безопасность кода на C++, причём практически без изменений исходного кода, и которые можно было бы активировать одной командой компилятора. Идея оказалась настолько привлекательной, что комитет по C++ (WG21) принял несколько предложений касательно профилей.
Однако за 10 лет весь выхлоп от профилей весьма мал: криво работающий -Wlifetime и... Вроде бы всё. Даже спецификации какой-то за столько времени так и не сделали.
В своём тексте Sean Baxter, автор компилятора Circle, пишет о том, почему идея safety profiles не работает и, более того, в принципе не может работать.
1 964
#suckassstory
Resigning as Asahi Linux project lead
Гектор Мартин снял с себя полномочия главы проекта Asahi Linux. Сам проект продолжит жить без его участия.
I cannot work with those who say I’m the problem and everything is going great, while major supporters and maintainers are actively resigning and I keep receiving messages from all kinds of people saying they won’t touch the Linux kernel with a 10-foot pole.
