Робота над мовою була розпочата працівником Mozilla Ґрейдоном Гоаром 2006 року як особистий проєкт. 2009[3] до розроблення залучилася Mozilla, а 2010 року мова була офіційно представлена на Mozilla Summit 2010[4]. З 2021, після скорочень у Mozilla, розроблення здійснює окремий фонд Rust Foundation[5]. Мову названо за назвою родини грибів іржа.[6]
2010 року розроблення мови було переведено з попередньої версії компілятора, яка була написана мовою OCaml, на компілятор, який написаний безпосередньо на Rust, з використанням LLVM як бекенду[7]. 2011 року новий компілятор успішно скомпілював сам себе[8].
Перший стабільний випуск мови Rust 1.0 відбувся 15 травня 2015[9] після п'яти років розроблення, він ознаменував повну стабілізацію програмних інтерфейсів усіх бібліотек і мовних конструкцій. У ході підготовування гілки Rust 1.0 програмні інтерфейси та можливості мови піддалися значному огляду, після якого типово залишені лише повністю готові до застосування можливості, упровадження яких не змінюватиметься надалі. Усі інші особливості переведені в розряд експериментальних і винесені зі стандартного постачання.
За структурою, мова Rust нагадує C++, але істотно відрізняється в деяких дрібницях реалізації синтаксису та семантики, а також зосередженням на блочну організацію структури коду, яка дозволяє реалізувати завдання, подібно до легковагих співпрограм. Автоматичне керування пам'яттю позбавляє розробника потреби маніпулювання вказівниками й захищає від проблем, що виникають через низькорівневу роботу з пам'яттю, таких як звернення до ділянки пам'яті після її звільнення, розіменовування нульових вказівників, вихід за межі буфера тощо. Rust підтримує суміш імперативних, процедурних і об'єктно-орієнтованих методів з такими парадигмами, як функційне програмування і модель акторів, а також узагальнене програмування і метапрограмування, у статичних і динамічних стилях.
Синтаксис та особливості
Особливості мови
Основні можливості мови:
Зосередження на безпеку
Дбала робота з пам'яттю — жодних нульових і завислихвказівників. Автоматичне керування пам'яттю без збирача сміття, самими гарантіями компілятора («контролер позичань»);
Контроль мінливости. Об'єкти усталено немінливі (англ.immutable);
Безпека динамічного виконання: обробляння збоїв, винятки, ведення лоґу, RAII/dtors;
Typestate: можливість задання складних інваріантів, що контролюють структури даних.
Зосередження на рівночасність і ефективність коду
Явне керування пам'яттю, керування схемою розподілу пам'яті;
Украй легкі задачі, що формуються як співпрограми. Легкість у породженні тисяч і мільйонів підпроцесів;
Зберігання рядків у UTF-8, різноманітність низькорівневих типів;
Працює з наявними нативними наборами інструментів: GNU Debugger, Valgrind, Shark тощо;
Практична можливість порушення правил: можливість нехтування правил безпеки, якщо чітко вказано, коли і як їх порушувати.
Володіння і контролер позичань
Виразною особливістю Rust є система володіння даними, забезпечена частиною компілятора, що зветься контролером позичань (англ.borrow checker). Позичанням зветься створення посилання.
Правила володіння і позичання:
дані завжди ініціалізовані;
у даних кожну мить може бути лише один володілець (змінна);
під час знищення володільця (наприклад, під час виходу з области видимости) дані звільняються;
на дані може бути кілька немінливих посилань;
на дані може бути лише одне мінливе посилання, якщо немає немінливих.
Контролер позичань являє собою чи не найскладніше, з чим доводиться стикатися новим розробникам Rust. Він забороняє дуже багато практик, до яких можна легко звикнути в інших мовах програмування; натомість він захищає програміста від багатьох поширених в інших мовах помилок, таких як суперечності в даних (одна частина програми не може їх змінити, коли на них є посилання з іншої частини), зміна ітерованого об'єкта під час ітерації, гонитва даних і т. д.
Ознаки
Ознаки (також іноді трейти, типажі, англ.traits) є однією з виразних особливостей Rust. Ознаки загалом нагадують інтерфейси в мовах програмування, що підтримують ООП, і позначають спільну поведінку різних типів.
letmutbooks=HashSet::new();books.insert("A Dance With Dragons".to_string());books.insert("To Kill a Mockingbird".to_string());books.insert("The Odyssey".to_string());
Три версії реалізації функції пошуку факторіала: у рекурсивному та ітеративному способах:
// Умовна інструкція, що показує можливість неявного повернення значення (implicit return).// На відміну від C++ і схожих мов, у Rust інструкція «if» насправді є виразом, і може повертати значення.// Якщо у функції не вказано явного return, повертається останнє значення в тілі функції.fnrecursive_factorial(n: u32)-> u32{ifn<=1{1}else{n*recursive_factorial(n-1)}}fniterative_factorial(n: u32)-> u32{// Змінні оголошуються ключовим словом `let`.// Ключове слово `mut` робить змінні мінливими (дозволяє змінюватися)letmuti=1u32;letmutresult=1u32;whilei<=n{result*=i;i+=1;}returnresult;// Явне повернення значення, на відміну від попередньої функції}fniterator_factorial(n: u32)-> u32{// Ітератори мають багато методів для трасформації// |accum, x| задає анонімну функцію.// Оптимізації на кшталт вбудування тіла функції дозволяють інтервалу// і fold досягати продуктивности, подібної до iterative_factorial.(1..=n).fold(1,|accum,x|accum*x)}fnmain(){println!("Recursive result: {}",recursive_factorial(10));println!("Iterative result: {}",iterative_factorial(10));println!("Iterator result: {}",iterator_factorial(10));}
useIntList::{Node,Empty};// Ця програма задає рекурсивну структуру даних та реалізує для неї методи.// Рекурсивні структури даних потребуть шару розіменування, який тут забезпечується// унікальним вказівником, побудованим за допомогою конструктора `Box::new`. Вони// аналогічні бібліотечному типу C++ `std::unique_ptr`, хоча й мають більше статичних// гарантій безпеки.fnmain(){letlist=IntList::new().prepend(3).prepend(2).prepend(1);println!("Sum of all values in the list: {}.",list.sum());println!("Sum of all doubled values in the list: {}.",list.multiply_by(2).sum());}// `enum` задає тип-суму, що може бути одним з декількох різних видів значень під час виконання.// Тут тип або не міститиме значення, або міститиме значення і вказівник на інший `IntList`.enumIntList{Node(i32,Box<IntList>),Empty}// Блок `impl` дозволяє задавати методи для типу.implIntList{fnnew()-> Box<IntList>{Box::new(Empty)}fnprepend(self,value: i32)-> Box<IntList>{Box::new(Node(value,Box::new(self)))}fnsum(&self)-> i32{// Вирази `match` є типовим способом застосування зіставлення із взірцем// і дещо схожі на інструкцію `switch` із C та C++.match*self{Node(value,refnext)=>value+next.sum(),Empty=>0}}fnmultiply_by(&self,n: i32)-> Box<IntList>{match*self{Node(value,refnext)=>Box::new(Node(value*n,next.multiply_by(n))),Empty=>Box::new(Empty)}}}
// Ця функція створює десять рівночасно виконуваних ниток.// Для перевірки можете запустити програму кілька разів і побачити // зміну порядку, у якому виводяться повідомлення різних нитей.fnmain(){// Цей рядок немінливий і тому різні нитки можуть отримувати доступ до ньогоletgreeting="Hello";// Функція `scope` створює нитки, що не будуть знищені до кінця своєї роботи// аргумент анонімної функції - об'єкт типу `Scope`, який і триматиме ниткиstd::thread::scope(|s|{fornumin0..10{// `move` задає захоплення за значеннямs.spawn(move||{// `println!` - це макрос, що формує виведення за форматним рядком під час компіляції// Макроси в Rust структурні (як у Scheme), а не текстові (як у C).println!("{greeting} from thread number {num}");});}});}
Українська спільнота Rust
Існує і жваво розвивається українська гілка Rust-спільноти.
Метою спільноти є популяризація Rust в Україні й розвиток спільноти навколо нього, запуск або сприяння розвитку всеукраїнських менторських і освітніх програм, залучення проєктів на Rust та пов'язаних з ними інвестицій в Україну[11].
Створено підбірку навчальних матеріалів, завершується робота над перекладом підручника.[коли?]
Примітки
↑Announcing Rust 1.83.0 (англійська мова) . 28 листопада 2024. Процитовано 28 листопада 2024.
↑COPYRIGHT. Rust compiler source repository. Процитовано 17 грудня 2012.
↑Project FAQ. 14 вересня 2010. Архів оригіналу за 20 липня 2020. Процитовано 17 квітня 2012.
↑Future Tense. 29 квітня 2011. Архів оригіналу за 18 вересня 2012. Процитовано 17 квітня 2012. At Mozilla Summit 2010, we launched Rust, a new programming language motivated by safety and concurrency for parallel hardware, the “manycore” future which is upon us.
↑Hello World!. Rust Foundation(англ.). 8 лютого 2020. Архів оригіналу за 19 квітня 2022. Процитовано 4 червня 2022.
↑Hoare, Graydon (20 квітня 2011). [rust-dev] stage1/rustc builds. Архів оригіналу за 20 липня 2011. Процитовано 17 квітня 2012. After that last change fixing the logging scope context bug, looks like stage1/rustc builds. Just shy of midnight :)