Object safety

Nesne güvenliği (object safety) kurallarını öğrenirsin.

Object safety

Bir trait'in dyn ile kullanılabilmesi için dyn uyumlu (eski adıyla object safe) olması gerekir. Engelleyen durumlar: Self döndüren metotlar, generic tür parametresi alan metotlar, self almayan ilişkili fonksiyonlar ve Sized üst trait'i. Çünkü vtable'da somut türü bilmeden bu metotlar çağrılamaz:

trait Kopyalanir {
    fn kopya(&self) -> Self;           // Self döner: dyn uyumsuz
}
// let x: Box<dyn Kopyalanir>;          // E0038

Bu yüzden Clone trait nesnesi olarak kullanılamaz.

where Self: Sized

Trait'in geri kalanını dyn ile kullanmaya devam etmek için sorunlu metodu ayır:

trait Sekil {
    fn alan(&self) -> f64;
    fn kopya(&self) -> Self
    where
        Self: Sized;
}

let k = Kare(3.0);
let k2 = k.kopya();                         // somut türde çalışır
let d: Box<dyn Sekil> = Box::new(k2);       // dyn de mümkün
// d.kopya();                               // dyn üzerinden çağrılamaz

Kutulu kopya için yaygın çözüm ayrı bir metottur: fn kutulu_kopya(&self) -> Box<dyn Sekil>.

Uygulama Uyumlu şekil trait'i

Yukarıdaki Sekil trait'ini yaz ve #[derive(Clone)] struct Kare(f64); için uygula (kopya = self.clone()). Kare(3.0).kopya() alanını ve onu Box<dyn Sekil> içine koyup dyn üzerinden alanını boşlukla yazdır.

Örnek çözümü göster

trait Sekil {
    fn alan(&self) -> f64;
    fn kopya(&self) -> Self
    where
        Self: Sized;
}

#[derive(Clone)]
struct Kare(f64);

impl Sekil for Kare {
    fn alan(&self) -> f64 {
        self.0 * self.0
    }
    fn kopya(&self) -> Self {
        self.clone()
    }
}

fn main() {
    let k2 = Kare(3.0).kopya();
    let a = k2.alan();
    let d: Box<dyn Sekil> = Box::new(k2);
    println!("{} {}", a, d.alan());
}

Kendini test et

Bir trait'te dyn uyumsuz tek bir metot varsa ne yapılabilir?
- O metoda where Self: Sized ekleyip trait nesnelerinden hariç tutmak
- Trait'i silmek
- unsafe kullanmak
- Hiçbir şey
Cevabı göster

O metoda where Self: Sized ekleyip trait nesnelerinden hariç tutmak — Böyle işaretlenmiş metot somut türlerde çağrılabilir, dyn üzerinden çağrılamaz; trait dyn uyumlu kalır.

dyn'den hariç tut

fn kopya(&self) -> Self
where
    Self: ____;

Cevabı göster

fn kopya(&self) -> Self
where
    Self: Sized;

Metot ve dyn uyumu

fn alan(&self) -> f64

Uyumlu
fn kopya(&self) -> Self

Uyumsuz
fn f<T>(&self, x: T)

Uyumsuz (generic)
.. where Self: Sized

Hariç tutulur

Sıradaki ders: &dyn Trait

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler