CodeBlanks Logo Icon CodeBlanks
Giriş Yap Kayıt Ol

FFI çağrısı

extern "C" ile dış fonksiyon çağırmayı öğrenirsin.

FFI çağrısı

Yabancı fonksiyon arayüzü (FFI), başka dillerde (çoğunlukla C) yazılmış fonksiyonları çağırmayı sağlar. Fonksiyonlar bir extern "C" bloğunda bildirilir. Derleyici bu fonksiyonların imzasını doğrulayamadığı için çağrı unsafe'tir; Rust 1.82'den beri bloğun kendisi de unsafe extern olarak işaretlenir:

unsafe extern "C" {
    fn abs(x: i32) -> i32;      // C standart kütüphanesinden
}

let n = unsafe { abs(-7) };   // 7

"C", çağrı kuralını (ABI) belirtir: argümanların nasıl geçirileceği ve sonucun nasıl döneceği.

Güvenli sarmalayıcı

FFI çağrılarını küçük güvenli fonksiyonlarla sarmak, unsafe'i tek bir yerde toplar:

fn mutlak(x: i32) -> i32 {
    // SAFETY: abs her i32 için tanımlıdır; i32::MIN dışında taşma yok.
    unsafe { abs(x) }
}

Ters yön de mümkündür: #[no_mangle] pub extern "C" fn ile Rust fonksiyonları C'den çağrılabilir hale gelir. Bir sonraki grupta FFI'ı ayrıntılı göreceğiz.

Uygulama C'den abs

unsafe extern "C" bloğunda fn abs(x: i32) -> i32; bildir ve onu saran güvenli fn mutlak(x: i32) -> i32 yaz. mutlak(-7) ve mutlak(3) sonuçlarını boşlukla yazdır.

Başlangıç kodu

main.rs
fn main() {
    // buraya yaz
}

Örnek çözüm

main.rs
unsafe extern "C" {
    fn abs(x: i32) -> i32;
}

fn mutlak(x: i32) -> i32 {
    // SAFETY: abs her i32 için tanımlıdır.
    unsafe { abs(x) }
}

fn main() {
    println!("{} {}", mutlak(-7), mutlak(3));
}

Beklenen çıktı

7 3

Soru ve cevaplar

Dersin sorularını cevaplarıyla birlikte inceleyebilirsin. Kendini denemek istersen dersi interaktif olarak çöz.

1 Bildirilen imza C'deki gerçek imzayla uyuşmazsa ne olur?

  • Derleme hatası
  • Bağlayıcı hatası her zaman
  • Otomatik düzeltilir
  • Tanımsız davranış; derleyici bunu yakalayamaz Doğru cevap

Açıklama: Bu yüzden bildirimler genellikle bindgen gibi araçlarla C başlık dosyalarından üretilir.

2 Yabancı blok

Soru 
unsafe extern "____" {
    fn abs(x: i32) -> i32;
}
Cevap 
unsafe extern "C" {
    fn abs(x: i32) -> i32;
}

Açıklama: "C" çağrı kuralı, C fonksiyonlarıyla uyumlu ABI'dir.

3 Öğe ve anlamı

Kavram Anlamı
extern "C" C çağrı kuralı
unsafe { abs(-7) } FFI çağrısı
#[no_mangle] Adı korur
bindgen Başlıktan bildirim üretir

İleri seviye bölümündeki tüm dersler

1 async/await

  1. async fn
  2. await
  3. Future traiti
  4. async block
  5. Pin
  6. Özet - async/await

2 Tokio

  1. Tokio runtime
  2. spawn
  3. tokio::sync
  4. tokio::fs
  5. select!
  6. Özet - Tokio

3 Eşzamanlılık

  1. thread::spawn
  2. Mutex<T>
  3. RwLock<T>
  4. Arc<T>
  5. Send ve Sync
  6. Özet - Eşzamanlılık

4 Kanallar

  1. mpsc kanalı
  2. send ve recv
  3. Birden çok üretici
  4. try_recv
  5. tokio::sync::mpsc
  6. Özet - Kanallar

5 Proje: Sohbet sunucusu

  1. TCP dinleyici
  2. İstemci iş parçacığı
  3. Kanal ile mesaj
  4. Broadcast
  5. Arc<Mutex> durumu

6 Unsafe Rust

  1. unsafe bloğu
  2. Ham işaretçiler
  3. unsafe fn
  4. static mut
  5. FFI çağrısı
  6. Özet - Unsafe Rust

7 FFI

  1. extern bloğu
  2. #[repr(C)]
  3. CString ve CStr
  4. Callback
  5. Drop ve cleanup
  6. Özet - FFI

8 Bildirimsel makrolar

  1. macro_rules!
  2. Tekrarlar
  3. Türler
  4. Makro hygieni
  5. println! incelemesi
  6. Özet - Bildirimsel makrolar

9 Prosedürel makrolar

  1. proc_macro cratei
  2. derive makrosu
  3. attribute makrosu
  4. syn ve quote
  5. TokenStream
  6. Özet - Prosedürel makrolar

10 Trait nesneleri

  1. dyn Trait
  2. Box<dyn Trait>
  3. Statik ve dinamik dağıtım
  4. Object safety
  5. &dyn Trait
  6. Özet - Trait nesneleri

11 İleri trait'ler

  1. Associated type
  2. Associated constant
  3. GAT
  4. Supertrait
  5. Newtype pattern
  6. Özet - İleri trait'ler

12 Const generics

  1. [T; N]
  2. const fn
  3. Const trait bound
  4. Min_const_generics
  5. Array ve slice
  6. Özet - Const generics

13 İleri kalıp eşleştirme

  1. Struct kalıpları
  2. Destructuring
  3. @ bağlama
  4. Guard
  5. Binding modları
  6. Özet - İleri kalıp eşleştirme

14 İleri seviye finali

  1. Async web sunucusu
  2. ThreadPool
  3. derive macro
  4. FFI wrapper