Hãy xem xét mã Rust sau đây:
fn f() -> i32 {
loop {
println!("Infinite loop!");
}
println!("Unreachable");
}Điều này biên dịch (với một cảnh báo) và chạy, mặc dù thực tế là loại trả lại là sai. Có vẻ như trình biên dịch vẫn ổn với kiểu trả về của ()dòng cuối cùng vì nó phát hiện ra rằng mã này không thể truy cập được.
Tuy nhiên, nếu chúng ta xóa dấu chấm phẩy cuối cùng:
fn f() -> i32 {
loop {
println!("Infinite loop!");
}
println!("Unreachable")
}Sau đó, mã không còn biên dịch, đưa ra một lỗi loại:
error[E0308]: mismatched types
--> src/main.rs:14:5
|
14 | println!("Unreachable")
| ^^^^^^^^^^^^^^^^^^^^^^^ expected `i32`, found `()`
|
= note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)Tại sao lại thế này? Không phải kiểu trả về giống nhau (), trong cả hai đoạn mã này?
Lưu ý: Tôi muốn tìm hiểu lý do tại sao trình biên dịch Rust hoạt động khác nhau trên hai ví dụ này, tức là cách trình biên dịch Rust được triển khai. Tôi không có ý hỏi một câu hỏi triết học về cách nó "nên" hành xử, từ quan điểm của thiết kế ngôn ngữ (tôi hiểu rằng một câu hỏi như vậy có thể sẽ lạc đề).
@SvenMarnach Vẫn là một câu hỏi về ngôn ngữ. Tôi nghĩ rằng đó vẫn là chủ đề.
—
Hội trường Peter
@SvenMarnach Điều đó có thực sự cần thiết? Tôi chưa quen với Rust và tôi đang cố gắng hiểu tại sao trình biên dịch lại làm những gì nó làm. Tôi không yêu cầu bất kỳ câu trả lời triết học. Tôi nghĩ rằng ý kiến của bạn cho thấy một số hiểu lầm về câu hỏi của tôi và góp phần vào nhận thức rằng SO là độc hại.
—
6005
@ 6005 Nhận xét của Sven hoàn toàn không liên quan đến "văn hóa độc hại" mà SO đã bị buộc tội (trừ khi bạn thực sự nghĩ rằng anh ta đối xử với bạn khác biệt vì giới tính, giới tính, chủng tộc, v.v.). Ông đã đóng góp cho một cuộc thảo luận (văn minh) về việc câu hỏi của bạn có phù hợp với SO hay không.
—
Hội trường Peter
Có lẽ tôi hơi ngắn gọn, nhưng tôi chắc chắn không có ý xúc phạm. Tôi không nghĩ có gì sai với câu hỏi của bạn - tôi thậm chí rất thích nó. :) Tôi chỉ không nghĩ rằng có bất kỳ câu trả lời "đúng" nào cho nó, vì các chi tiết về suy luận kiểu trong Rust không được chỉ định. Chúng ta có thể thấy kiểu suy luận nào trong trường hợp này, nhưng đơn giản là không có lý do nào sâu sắc hơn cho nó. Có lẽ ai đó có kiến thức sâu sắc về nội bộ trình biên dịch có thể giải thích lý do tại sao trình biên dịch hành xử theo cách này, nhưng chúng tôi sẽ không tìm hiểu nhiều về ngôn ngữ.
—
Sven Marnach
!là kiểu trả về vì vòng lặp vô hạn, điều này có ý nghĩa. Trong trường hợp thứ hai, có một biểu thức trả về, do đó, bộ giải suy luận kiểu sử dụng nó để suy ra kiểu, điều này cũng có ý nghĩa. Tôi không nghĩ rằng điều này được chỉ định trong tài liệu tham khảo ngôn ngữ, tôi cũng không nghĩ nó quan trọng theo bất kỳ cách nào - chỉ cần bỏ qua tuyên bố không thể truy cập và bạn sẽ ổn.