Tipli fonksiyon sonuçları ve program hataları

Amaç ve kapsam

Programın kendi sonucunu, motorun başarıyla çalışmasından ayırır. Kullanıcının bilinçli olarak döndürdüğü bir hata, ayrıştırıcı veya simülatör arızasıyla aynı şey değildir.

Tasarımın ana kuralları

• Giriş fonksiyonu sınırlı Result<T, Error> sözleşmesiyle değer veya sembolik hata döndürebilir.
• ok(...) yükünün tipi bildirilmiş dönüş tipiyle uyuşmalıdır.
• Motor başarısı ile program sonucu ayrı alanlarda raporlanır; bir program hatası motor arızası diye etiketlenmez.

Özgün belgeden örnek

Bu örnek özgün kaynakta yer alan tasarımı gösterir. Tek başına çalıştırılabilirlik veya kararlı destek iddiası değildir; gereken seçenekleri ve güncel sürümü kontrol edin.

module typed_result;

fn main() -> Result<Int, Error> {
  let q = qreg[1];
  let measured: Bit = measure(q[0]);
  let encoded: Int = bit_to_int(measured);
  return ok(encoded);
}

Sınırlar ve sonuçların yorumu

• Keyfî istisna sistemi, genel hata nesneleri ve denetlenmeyen dönüş yükleri kapsam dışıdır.
• Klasik yardımcı fonksiyonların Result kurtarma kapsamı bu tarihsel giriş fonksiyonu dilimini otomatik genişletmez.

Durum ve uygulama sınırı

Kaynak belge çalışma zamanı deneysel sonuç sözleşmesini anlatır. Sonraki yardımcı fonksiyon eklemelerinin kapsamını NM-RFC-0035 ve ilgili rehberlerden kontrol edin.