Derleme anı sabit ifadeleri

Amaç ve kapsam

Sabit boyut ve tekrar sayısı gibi yapısal konumlarda küçük bir tam sayı ifade dilini değerlendirmeyi önerir. Kaynak genelinde metin değiştirmek yerine tipli derleme anı indirgemesi kullanılır.

Tasarımın ana kuralları

• İfadeler tam sayı sabitleri, const Int başvuruları, parantezler ve kapalı aritmetik işlemlerle sınırlıdır.
• Bölme kesin tam sayı bölmesidir; kalan varsa yuvarlama yapılmaz. Ara değerler güvenli tam sayı sınırında kalır.
• Özgün ifade biçimleyici ve IR için korunurken somut yapısal değer yürütmeden önce hesaplanır.

Ö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 scalable_ghz;

const N: Int = 6;
const LAST: Int = N - 1;
const SHOTS: Int = 2 * 512;

fn main() {
  let q: QReg<N> = qreg[N];
  H(q[0]);
  for i in 0..LAST {
    CNOT(q[i], q[i + 1]);
  }
  sample SHOTS {
    let bits: BitVec<N> = measure_all(q[0..LAST]);
  }
}

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

• Ölçüm, değiştirilebilir değerler veya çalışma zamanı parametreleri kayıt boyutu belirleyemez.
• Genel kullanıcı fonksiyonları, üstel işlemler ve tip düzeyi programlama bu sözleşmeye dâhil değildir.

Durum ve uygulama sınırı

Kaynak öneri durumunda derleme anı sabit görüşmesini kaydeder. Yapısal ifadenin kabul edilmesi seçilen simülasyon arka ucunun kübit sınırını yükseltmez.