Phụ lục A: Các từ khóa

Danh sách sau đây chứa các từ khóa được dành riêng cho việc sử dụng hiện tại hoặc trong tương lai của ngôn ngữ Rust. Do đó, chúng không thể được sử dụng làm định danh (ngoại trừ khi dùng làm định danh thô như chúng ta sẽ thảo luận trong phần “Định danh thô“). Định danh là tên của các hàm, biến, tham số, trường của struct, module, crate, hằng số, macro, giá trị tĩnh, thuộc tính, kiểu dữ liệu, trait, hoặc lifetime.

Các từ khóa hiện đang được sử dụng

Sau đây là danh sách các từ khóa hiện đang được sử dụng, cùng với mô tả chức năng của chúng.

  • as - thực hiện ép kiểu nguyên thủy, làm rõ trait cụ thể chứa một item, hoặc đổi tên các item trong câu lệnh use
  • async - trả về một Future thay vì chặn luồng hiện tại
  • await - tạm dừng thực thi cho đến khi kết quả của một Future sẵn sàng
  • break - thoát khỏi vòng lặp ngay lập tức
  • const - định nghĩa các hằng số item hoặc hằng số con trỏ thô
  • continue - tiếp tục với vòng lặp tiếp theo
  • crate - trong đường dẫn module, tham chiếu đến gốc của crate
  • dyn - phân phối động (dynamic dispatch) đến một trait object
  • else - dự phòng cho các cấu trúc luồng điều khiển if và if let
  • enum - định nghĩa một kiểu liệt kê
  • extern - liên kết một hàm hoặc biến bên ngoài
  • false - giá trị Boolean false
  • fn - định nghĩa một hàm hoặc kiểu con trỏ hàm
  • for - lặp qua các item từ một iterator, triển khai một trait, hoặc chỉ định một lifetime cao hơn
  • if - rẽ nhánh dựa trên kết quả của một biểu thức điều kiện
  • impl - triển khai phương thức gốc hoặc trait
  • in - một phần của cú pháp vòng lặp for
  • let - gán một biến
  • loop - lặp vô điều kiện
  • match - so khớp một giá trị với các mẫu
  • mod - định nghĩa một module
  • move - làm cho một closure chiếm quyền sở hữu của tất cả các giá trị mà nó bắt giữ
  • mut - chỉ định tính khả biến trong các tham chiếu, con trỏ thô, hoặc gán mẫu
  • pub - chỉ định tính công khai trong các trường của struct, khối impl, hoặc module
  • ref - gán bằng tham chiếu
  • return - trả về từ hàm
  • Self - một kiểu bí danh cho kiểu mà chúng ta đang định nghĩa hoặc triển khai
  • self - đối tượng hiện tại trong phương thức hoặc module hiện tại
  • static - biến toàn cục hoặc lifetime kéo dài trong toàn bộ thời gian thực thi của chương trình
  • struct - định nghĩa một struct
  • super - module cha của module hiện tại
  • trait - định nghĩa một trait
  • true - giá trị Boolean true
  • type - định nghĩa một kiểu bí danh hoặc kiểu liên kết
  • union - định nghĩa một union; chỉ là từ khóa khi được sử dụng trong một khai báo union
  • unsafe - chỉ định mã, hàm, trait, hoặc triển khai không an toàn
  • use - đưa các ký hiệu vào phạm vi; chỉ định các capture chính xác cho generic và ràng buộc lifetime
  • where - chỉ định các điều kiện ràng buộc một kiểu
  • while - lặp có điều kiện dựa trên kết quả của một biểu thức

Các từ khóa được dành riêng cho sử dụng trong tương lai

Các từ khóa sau đây chưa có chức năng cụ thể nhưng được Rust dành riêng cho khả năng sử dụng trong tương lai.

  • abstract
  • become
  • box
  • do
  • final
  • gen
  • macro
  • override
  • priv
  • try
  • typeof
  • unsized
  • virtual
  • yield

Định danh thô

Định danh thô là cú pháp cho phép bạn sử dụng các từ khóa ở những nơi thông thường không được phép. Bạn sử dụng định danh thô bằng cách thêm tiền tố r# vào trước từ khóa.

Ví dụ, match là một từ khóa. Nếu bạn thử biên dịch hàm sau đây sử dụng match làm tên của nó:

Tên tệp: src/main.rs

fn match(needle: &str, haystack: &str) -> bool {
    haystack.contains(needle)
}

bạn sẽ nhận được lỗi này:

error: expected identifier, found keyword `match`
 --> src/main.rs:4:4
  |
4 | fn match(needle: &str, haystack: &str) -> bool {
  |    ^^^^^ expected identifier, found keyword

Lỗi này cho thấy bạn không thể sử dụng từ khóa match làm định danh hàm. Để sử dụng match làm tên hàm, bạn cần sử dụng cú pháp định danh thô, như sau:

Tên tệp: src/main.rs

fn r#match(needle: &str, haystack: &str) -> bool {
    haystack.contains(needle)
}

fn main() {
    assert!(r#match("foo", "foobar"));
}

Mã này sẽ biên dịch mà không có bất kỳ lỗi nào. Lưu ý tiền tố r# trên tên hàm trong định nghĩa cũng như nơi hàm được gọi trong main.

Định danh thô cho phép bạn sử dụng bất kỳ từ nào làm định danh, ngay cả khi từ đó tình cờ là một từ khóa dành riêng. Điều này mang lại cho chúng ta nhiều tự do hơn trong việc chọn tên định danh, cũng như cho phép chúng ta tích hợp với các chương trình được viết bằng ngôn ngữ mà các từ này không phải là từ khóa. Ngoài ra, định danh thô cho phép bạn sử dụng các thư viện được viết bằng phiên bản Rust khác với phiên bản mà crate của bạn sử dụng. Ví dụ, try không phải là từ khóa trong phiên bản 2015 nhưng lại là từ khóa trong các phiên bản 2018, 2021, và 2024. Nếu bạn phụ thuộc vào một thư viện được viết bằng phiên bản 2015 và có một hàm try, bạn sẽ cần sử dụng cú pháp định danh thô, r#try trong trường hợp này, để gọi hàm đó từ mã của bạn trên các phiên bản sau. Xem Phụ lục E để biết thêm thông tin về các phiên bản.