Исходное сообщение
"Разработчики Chrome экспериментируют с языком Rust" Отправлено Ordu, 21-Авг-20 10:56
> То есть баги как были так и остаются, меняется только то, что Rust-разработчики хрома с гордым лицом переложат ответственность за любые баги на С++-разработчиков, а сами продолжат писать код на "safe rust". Да! Это же основная фишка разделения safe/unsafe в расте. Если ты выставил наружу safe API, то тем самым ты заявил, что твой API удовлетворяет ряду формальный критериев, и если в программе вылезает баг, и выясняется что он из-за того, что твой API не удовлетворяет этим критериям, то, значит, баг в твоём коде, а не в том коде, который этим API пользуется. Соскочить с темы под предлогом "это не баг, а фича" не удастся. Взять например динамический массив -- Vec. Он выставляет наружу safe-API, который гарантирует, что если этот API использовать в safe-коде, то не будет никаких double-free, выходов за границы буфера,  use-after-free, и всяких там проблем с data-race. Если вдруг Vec::push или Vec::pop выйдет за границу, то это косяк Vec. Но если ты воспользуешься unsafe функцией Vec::set_len, и Vec::push выйдет за границу, то это твой косяк. Если ты соберёшь Vec из сырого указателя, при помощи unsafe функции Vec::from_raw_parts, то работоспособность результата -- это твоя зона ответственности, а не зона ответственности разработчиков Vec.