Nếu sử dụng AsRef<Path> thì tức là chỉ có họ Path mới có thể được sử dụng kiểu Path với PathBuf đúng không bác? Mình thấy khá thắc mắc là kiểu như tại sao
&String lại đặt thay cho &str được hay cũng như &PathBuf đặt thay cho &Path được
bạn có thể đọc về khái niệm deref coercion, nói chung là type
T nào implement trait Deref<Target = U> thì Rust có thể tự động cast reference tới type T sang reference tới type U,String có implement Deref<str> nên Rust có thể tự động cast &String sang &str
Để đơn giản, thím cứ tưởng tượng Path nó như kiểu str (thực ra trong cài đặt nó cũng không khác mấy), nó không có size (chính xác hơn là size không xác định được trong runtime) nên chỉ có thể sử dụng được thông qua reference đến nó. Constraint AsRef<Path> tức là yêu cầu một kiểu sao cho nó có thể convert thành kiểu reference đến Path.
check_broken_image<P: AsRef<Path> có nghĩa là type P này phải implement trait AsRef<Path>, tức là nó phải có hàm as_ref trả về một reference tới path, phần nằm giữa hai angle bracket trước argument list (<P: AsRef<Path>) là ràng buộc typecheck_broken_image<P: AsRef<Path>(&self, img_path: P) thì bạn đang viết một generic function, tùy theo type thật của argument img_path trong quá trình sử dụng Rust sẽ tự động gen ra một hàm nhận argument img_path với type thực đó,check_broken_image trong image_processing và pass argument với type là PathBufpub fn image_processing(paths: impl IntoIterator<Item = PathBuf>, img_processor: ImageProcessor) {
for current_path in paths {
if let Some(broken_img) = img_processor.check_broken_image(¤t_path) {
println!("Image: {} | {}", broken_img.path.display(), broken_img.err_msg);
};
}
}check_broken_image này với signature check_broken_image(&self, img_path: PathBuf), Rust chấp nhận gen ra như vầy do PathBuf có implement trait AsRef<Path>
quá trình gen code theo type của argument thực dùng này được gọi là monomorphization, nếu hứng thú bạn có thể đọc thêm
Vậy thì đơn giản hóa là
Defer là một Trait giúp chuyển đổi tự động đúng bác nên một số dạng như String hay PathBuf mà sử dụng & sẽ được tự động chuyển về str với Path.Tức là về cơ bản sẽ được sử dụng &str hoặc &Path chứ không được dùng mà không có reference đúng không bác. Tức là size không xác định nên buộc phải dựa trên reference
Tức là ví dụ khi Code đặt biến đầu vào là
name: &str thì có thể nhận cả &str lẫn &String nhưng là &String thì bắt buộc phải là &String? Có phải đấy là ý của bác khi nói nhiều ngữ cảnh hơn không?Tức khi implement trait AsRef<Path> thì bị ràng buộc kiểu biến nên khi sử dụng as_ref() nó phải lấy kiểu đã implement trait ở trên và trả Path?
Bác đã giải thích câu ở trước rùi :>
Chà có đồng bào học cùng, cố lên bác
Bác đừng nghĩ phức tạp quá, cái tham số impl Deref<str> hay impl AsRef<Path> nó chỉ mô tả tham số của cái hàm là generic (tức là type gì cũng đc miễn là được implement trait Deref hay AsRef), bác có thể tự định nghĩa trait Convert chẳng hạn cũng chả sao.
bạn có link gì nói về vụ syntactic sugar này không, vì mình tìm không thấy
doc.rust-lang.org
mình nghĩ bạn hiểu nhầm cáchBác tham khảo mấy cái trait ở link này
- Deref
Used for immutable dereferencing operations, like *v.- DerefMut
Used for mutable dereferencing operations, like in *v = 1;.
Trait AsRef thì riêng
AsRef in std::convert - Rust
Used to do a cheap reference-to-reference conversion.
Deref và AsRef hoạt động rồi, theo mình hiểu Deref chỉ làm chuyện tự động cast rereference của một type này sang một type khác thôi, ngay trong đoạn doc giải thích về deref coercion có nói:A nào đó mà type A này có implement trait Deref với Target = B thì khi bạn dùng dereference operator * Rust sẽ tự động cast cái reference tới type A đó sang reference tới type B rồi mới áp dụng dereference operator lên kết quả cast&str) nhưng bạn truyền vào reference tới (&String) thì Rust tự động convert reference đó sang &strAsRef và không thấy nhắc gì tới syntactic sugar, trước giờ cái trait này mình hiểu làm cho chuyện chuyển đổi từ reference type này sang reference tới type khác được thể hiện rõ thôi, thay vì để cho Rust tự động cast như trên thông qua Deref thì bạn gọi hàm as_ref trên &String chẳng hạn
Nhiệm vụ của AsRef và Deref là để convert, còn convert thế nào là tùy người viết, nó chỉ là 1 trait trong thư viện standard của Rust, nó cast gì thì cast, cái đó mình ko quan tâm, cái mình quan tâm ở đây là khi mình dùng & thì nó tự call hàm as_ref(), còn * thì nó call hàm deref(), vậy thì nó chính là 1 syntactic sugar, giống như ? vậy, nó sẽ check và kiểm tra error, convert error cho bạn, vậy nó là 1 syntactic sugar, nếu bác cảm thấy gọi như vậy không ổn lắm thì cứ gọi nó là operator đi cũng được
vầy xin hỏi là bạn đọc doc chỗ nào có nói là có vụ tự động gọi hàm này, vì mình không tìm thấy
mình nghĩ đoạn này có thể hiểu nhầm là khi dùng dereference operator
* thì hàm deref là đứa làm chuyện dereference, chứ không phải là chỉ đi cast
trong cái link mình gửi ở trên của trait AsRef luôn mà
cái ví dụ đó mình hiểu như vầy: doc khuyên bạn không nên gọi hàm
as_ref để làm chuyện cast reference mà nên dùng deref coercion để Rust tự động cast, vì ngay trước ví dụ đó có câu này:let y: &i32 = &x mình hiểu là rust tự động cast reference từ type &Box<i32> sang type &i32, chứ ví dụ đó không phải là ví dụ cho syntactic sugar như bạn nói
à, bạn đúng rồi, mình bị nhầm ở chỗ này, &T call deref() chứ ko phải call as_ref(), và *T là dereference cái reference của hàm deref()
struct Test(i32);
impl Deref for Test {
type Target = i32;
fn deref(&self) -> &Self::Target {
&self.0
}
}
let test = Test(10);
let a = &test // = &Test(10) không gọi deref() ở đây
let a: &i32 = &test; // = &10 tự call deref()
let a = *test; // = 10 dereference cái ref trả về của deref()Không phải đâu bạn, thử ví dụ sau đây:
struct L;
impl Deref for L {
type Target = str;
fn deref(&self) -> &Self::Target {
"hello"
}
}
impl AsRef<str> for L {
fn as_ref(&self) -> &str {
"world"
}
}
static WHAT: String = String::new();
impl AsRef<String> for L {
fn as_ref(&self) -> &String {
&WHAT
}
}let l = &L;let s: &str = &L;
println!("{}", s);cảm ơn bác, mình đã đính chính ở bài post dưới rồi mà, để mình edit lại bài này ko lại gây tranh cãi
