1
Чому компілятор Rust не оптимізує код, припускаючи, що два змінні посилання не можуть мати псевдонім?
Наскільки я знаю, псевдонім посилання / вказівника може перешкоджати можливості компілятора генерувати оптимізований код, оскільки вони повинні забезпечувати, щоб згенерований бінарний файл поводився правильно у випадку, коли два посилання / покажчики справді псевдоніми. Наприклад, у наведеному нижче коді С void adds(int *a, int *b) { *a += *b; *a += …