Tại sao in một con trỏ in giống như in con trỏ dereferenced?

Question

Từ hướng dẫn Rust:

Để dereference (lấy giá trị được gọi chứ không phải là tài liệu tham khảo chính nó) y, chúng ta sử dụng dấu hoa thị (*)

Vì vậy, tôi đã làm điều đó:

fn main() { 
    let x = 1; 
    let ptr_y = &x; 
    println!("x: {}, ptr_y: {}", x, *ptr_y); 
} 

Điều này mang lại cho tôi kết quả tương tự (x = 1; y = 1) ngay cả khi không có sự chú ý rõ ràng:

fn main() { 
    let x = 1; 
    let ptr_y = &x; 
    println!("x: {}, ptr_y: {}", x, ptr_y); 
} 

Tại sao? Không nên ptr_y in địa chỉ bộ nhớ và *ptr_y in 1? Có một số loại dereference tự động hoặc tôi đã bỏ lỡ một cái gì đó?

Answer 1

Rust thường tập trung vào giá trị đối tượng (tức là phần thú vị của nội dung) thay vì nhận dạng đối tượng (địa chỉ bộ nhớ). implementation of Display cho &T trong đó T thực hiện Display sẽ chuyển trực tiếp nội dung. Mở rộng macro bằng tay để thực hiện String của Display:

impl<'a> Display for &'a String { 
    fn fmt(&self, f: &mut Formatter) -> Result { 
     Display::fmt(&**self, f) 
    } 
} 

Nghĩa là, nó chỉ là in nội dung của nó trực tiếp.

Nếu bạn quan tâm đến đối tượng sắc/địa chỉ bộ nhớ, bạn có thể sử dụng Pointer formatter, {:p}:

fn main() { 
    let x = 1; 
    let ptr_y = &x; 
    println!("x: {}, ptr_y: {}, address: {:p}", x, ptr_y, ptr_y); 
} 

Output:

x: 1, ptr_y: 1, address: 0x7fff4eda6a24 

playground