Deref

Deref trait'i ile otomatik referans çözümü öğrenirsin.

Deref

Deref trait'i, bir türün * operatörüne nasıl davranacağını belirler. Akıllı işaretçileri "içerdiği değer gibi" kullanmayı sağlayan budur:

use std::ops::Deref;

struct Sarici<T>(T);

impl<T> Deref for Sarici<T> {
    type Target = T;
    fn deref(&self) -> &T {
        &self.0
    }
}

let s = Sarici(String::from("Ece"));
println!("{}", s.len());   // 3: String'in metodu

type Target, trait'in ilişkili türüdür: çözülünce hangi türün elde edileceğini söyler.

Zincirleme dönüşüm

Deref coercion zincirleme çalışır ve çalışma anı maliyeti yoktur:

fn selam(ad: &str) -> String {
    format!("Merhaba {ad}")
}

let s = Sarici(String::from("Ece"));
println!("{}", selam(&s));   // &Sarici<String> → &String → &str

Deref'i yalnızca akıllı işaretçi benzeri türler için uygula; sıradan bir struct'a eklemek kodda "gizli" davranışlar yaratır ve okunurluğu düşürür. Değiştirilebilir sürüm DerefMut'tur.

Uygulama Sarmalayıcı

Yukarıdaki Sarici<T> türüne Deref uygula ve fn selam(ad: &str) -> String yaz. Sarici(String::from("Ece")) için selam(&s) sonucunu ve s.len() değerini boşlukla yazdır.

Örnek çözümü göster

use std::ops::Deref;

struct Sarici<T>(T);

impl<T> Deref for Sarici<T> {
    type Target = T;
    fn deref(&self) -> &T {
        &self.0
    }
}

fn selam(ad: &str) -> String {
    format!("Merhaba {ad}")
}

fn main() {
    let s = Sarici(String::from("Ece"));
    println!("{} {}", selam(&s), s.len());
}

Kendini test et

Deref coercion ne yapar?
- Yalnızca Box için çalışır
- &Sarici<String> → &String → &str gibi referansları otomatik dönüştürür
- Değeri kopyalar
- Sahipliği taşır
Cevabı göster

&Sarici<String> → &String → &str gibi referansları otomatik dönüştürür — Derleyici beklenen türe ulaşana kadar deref zincirini ekler; bu yüzden &String alan yere &str bekleyen fonksiyon verilebilir.

İlişkili tür

impl<T> Deref for Sarici<T> {
    type ____ = T;
    fn deref(&self) -> &T {
        &self.0
    }
}

Cevabı göster

impl<T> Deref for Sarici<T> {
    type Target = T;
    fn deref(&self) -> &T {
        &self.0
    }
}

Tür ve Target

Box<T>

T
String

str
Vec<T>

[T]
Rc<T>

T (paylaşılan)

Sıradaki ders: Özet - Akıllı işaretçiler

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler