Tương đương với constexpr từ C++?

Question

Xem mã này:

fn main() { 
    let something_const = 42; 
    fn multiply(nbr: i32) -> i32 { 
     nbr * something_const 
    } 
    println!("{}", multiply(1)); 
} 

rustc đầu ra mà

error[E0434]: can't capture dynamic environment in a fn item; use the || { ... } closure form instead 
    --> main.rs:19:15 
    | 
19 |   nbr * something_const 
    |    ^^^^^^^^^^^^^^^ 

Nhưng something_const là không năng động, bởi vì nó được biết đến tại thời gian biên dịch.

Có tương đương với Rust của cơ chế C++ constexpr không?

Answer 1

constexpr trong C++ có thể được sử dụng trong 2 tình huống khác nhau:

• để đủ điều kiện một hằng số, và biểu thị hằng số này phải có sẵn tại thời gian biên dịch
• để đủ điều kiện một chức năng, và biểu thị rằng đây chức năng phải có sẵn để đánh giá thời gian biên dịch

Rust hỗ trợ cả, mặc dù trong một thời trang có giới hạn:

• bạn có thể sử dụng const để khai báo một hằng số, thay vì let, tuyên bố rằng nó là thực sự liên tục
• về đêm, bạn có thể sử dụng const để đủ điều kiện một chức năng, tuyên bố rằng nó có thể được đánh giá ở thời gian biên dịch

Trong trường hợp của bạn, bạn muốn sử dụng đầu tiên:

fn main() { 
    const something_const: i32 = 42; 
    fn multiply(nbr: i32) -> i32 { 
     nbr * something_const 
    } 
    println!("{}", multiply(1)); 
} 

Lưu ý rằng không giống như với let, nó là bắt buộc để chú thích các liên tục với nó kiểu.

Ngoài ra, trình biên dịch sẽ khiếu nại về việc đặt tên; hằng số sử dụng ALL_CAPS.