Rust
Surowe wskaźniki

Składnia

• pozwól raw_ptr = & pointee jako * const type // stworzyć stały nieprzetworzony wskaźnik do niektórych danych
• niech raw_mut_ptr = & mut pointee jako * mut type // stwórz zmienny surowy wskaźnik do niektórych zmiennych danych
• niech deref = * raw_ptr // dereferencja surowego wskaźnika (wymaga niebezpiecznego bloku)

Uwagi

Tworzenie i używanie stałych nieprzetworzonych wskaźników

// Let's take an arbitrary piece of data, a 4-byte integer in this case
let some_data: u32 = 14;

// Create a constant raw pointer pointing to the data above
let data_ptr: *const u32 = &some_data as *const u32;

// Note: creating a raw pointer is totally safe but dereferencing a raw pointer requires an
// unsafe block
unsafe {
    let deref_data: u32 = *data_ptr;
    println!("Dereferenced data: {}", deref_data);
}

Powyższy kod wyświetli: Dereferenced data: 14

Tworzenie i używanie zmiennych wskaźników surowych

// Let's take a mutable piece of data, a 4-byte integer in this case
let mut some_data: u32 = 14;

// Create a mutable raw pointer pointing to the data above
let data_ptr: *mut u32 = &mut some_data as *mut u32;

// Note: creating a raw pointer is totally safe but dereferencing a raw pointer requires an
// unsafe block
unsafe {
    *data_ptr = 20;
    println!("Dereferenced data: {}", some_data);
}

Powyższy kod wyświetli: Dereferenced data: 20

Inicjowanie surowego wskaźnika do wartości null

W przeciwieństwie do normalnych odniesień do Rdzy, surowe wskaźniki mogą przyjmować wartości zerowe.

use std::ptr;

// Create a const NULL pointer
let null_ptr: *const u16 = ptr::null();

// Create a mutable NULL pointer
let mut_null_ptr: *mut u16 = ptr::null_mut();

Dereferencje łańcuchowe

Podobnie jak w C, surowe wskaźniki rdzy mogą wskazywać na inne surowe wskaźniki (które z kolei mogą wskazywać na dalsze surowe wskaźniki).

// Take a regular string slice
let planet: &str = "Earth";

// Create a constant pointer pointing to our string slice
let planet_ptr: *const &str = &planet as *const &str;

// Create a constant pointer pointing to the pointer
let planet_ptr_ptr: *const *const &str = &planet_ptr as *const *const &str;

// This can go on...
let planet_ptr_ptr_ptr = &planet_ptr_ptr as *const *const *const &str;

unsafe {
    // Direct usage
    println!("The name of our planet is: {}", planet);
    // Single dereference
    println!("The name of our planet is: {}", *planet_ptr);
    // Double dereference
    println!("The name of our planet is: {}", **planet_ptr_ptr);
    // Triple dereference
    println!("The name of our planet is: {}", ***planet_ptr_ptr_ptr);
}

Spowoduje to: The name of our planet is: Earth cztery razy.

Wyświetlanie surowych wskaźników

Rust ma domyślny formatator typów wskaźników, których można używać do wyświetlania wskaźników.

use std::ptr;

// Create some data, a raw pointer pointing to it and a null pointer
let data: u32 = 42;
let raw_ptr = &data as *const u32;
let null_ptr = ptr::null() as *const u32;

// the {:p} mapping shows pointer values as hexadecimal memory addresses
println!("Data address: {:p}", &data);
println!("Raw pointer address: {:p}", raw_ptr); 
println!("Null pointer address: {:p}", null_ptr);

Spowoduje to wyświetlenie czegoś takiego:

Data address: 0x7fff59f6bcc0
Raw pointer address: 0x7fff59f6bcc0
Null pointer address: 0x0