INLINABLE işlevini bir işlev için kullanmamanın bir nedeni var mı?

Question

documentation devletler: SIRALI "Beni satır içi lütfen" diyor iken

• , INLINABLE diyor ki:

  bir {- - # INLINABLE f #} bir işlev f üzerinde Pragma aşağıdaki davranış vardır “Bana hitap etme özgürlüğüne sahip ol, kendi takdirini kullan”. Diğer bir deyişle, seçim, pragma içermeyen işlevlerle aynı kuralları kullanan GHC'ye bırakılır. INLINE'dan farklı olarak, bu karar çağrı yerinde yapılır ve bu nedenle, inline eşiği, optimizasyon seviyesi vb. Etkiden etkilenecektir.

• INLINE gibi INLINABLE pragma, orijinal RHS'nin satır içi kullanım için bir kopyasını muhafaza eder ve devam eder. RHS'nin boyutundan bağımsız olarak arayüz dosyasında.

• INLINABLE'ı kullanmanın bir yolu, satır içi özel işlevle (Bölüm 7.18, “Özel yerleşik işlevler”) bağlantılıdır. Inline f çağrısı f satır içi çok zor çalışır. F'nin satır içi olabildiğinden emin olmak için, F'nin tanımını INLINABLE olarak işaretlemek iyi bir fikirdir; böylece GHC, ne kadar büyük olduğuna bakılmaksızın bir açılımı ortaya çıkarmayı garanti eder. Üstelik, F INCINABLE olarak ek açıklama yaparak, f GHC'nin optimiser'inin gelişigüzel optimize edilmiş versiyonu üretilmesinden ziyade, orijinal RHS'nin satır içi olduğundan emin olursunuz.

• INLINABLE pragma ayrıca SPECIALIZE ile de çalışır: f işlevini INLINABLE olarak işaretlerseniz, daha sonra başka bir modülde SPECIALIZE yapabilirsiniz (bkz. Bölüm 7.16.8, “SPECIALIZE pragma”). INLINE'dan farklı olarak, özyinelemeli bir işlevde INLINABLE bir pragma kullanmak tamam değildir. asıl nedeni,

bunun dezavantajı nedir uzmanlaşmak

sonraki kullanımına izin vermek için yapmak?

Arabirim dosyalarını çok mu daha büyük yapıyor? Derleme çok daha yavaş mı?

Yazdığım her ihraç işlevine INLINABLE pragma koymamam için herhangi bir neden var mı? GHC'nin yazdığım her ihraç işlevine INLINABLE pragma koymaması için herhangi bir sebep var mı?

Answer 1

hiç bir pragma kullanarak INLINABLE kullanarak değil arasındaki üç fark vardır:

• INLINABLE olmadan, arayüz dosyasında gider tanım optimizasyon sonrasında kodu olan INLINABLE ile, oysa, o yazdığınız kod (daha fazla veya daha az). Özellikle, INLINABLE olmaksızın, GHC, diğer işlevlerin işlev tanımında satır içi olabilir.

• INLINABLE olmadan, GHC çok büyükse, arabirim dosyasındaki tanımlamayı çıkarır. Başka bir işlev sağ tarafa doğru çizilirse, bu sınırın üzerine kolayca basabilir.

• INLINABLE aynı zamanda, kullanıldığı yerde aşırı yüklenmiş işlevleri otomatik olarak yapan bazı akıllı makineleri de çalıştırır ve özel sürümleri, özel sürümün oluşturulduğu modülü geçici olarak içe aktaran diğer modüller ile paylaşır.