Stoken tipinde yazım işleri Haskell

Question

'da neler yapıyor Haskell'in C FFI ile ilgili bazı belgeleri okuyordum. Ve ben sadece çok iyi anlamadığım Storable adında bir typeclass karşılaştım.

Bu tip bir sınıfın örnekleri, bu türlerin C koduyla arayüz oluştururken bunlara "işaretçi" eklemeleri gerekiyor mu? Ayrıca, sizeOf,, peek, poke bireysel işlevleri neler yapar? peek ve poke görünüyor ve veri Ptr a tarafından işaret edilen bir yere veri okumak veya veri yazmak için kullanılır. Bu doğru mu?

Ancak, sizeOf ve alignment'un ne anlama geldiğini bilmiyorum. Birisi kullanımlarını açıklığa kavuşturmak için örnekler verebilir mi?

Answer 1

Haskell değerleri hafızada C ile çok uyumlu olmayan bir şekilde saklar. Sonuç olarak, haskell'den bir C fonksiyonu çağırmak ve doğrudan haskell değerlerine geçmek mümkün değildir. Bunun yerine, değerin bir kopyasını oluşturmalısınız, ancak tam bir kopya değil, daha ziyade C tarafından anlaşılan bir biçimde. Bu, Storable'un yaptığı gibi. Bu nedenle, haskell değerlerinin C dostu bir forma (örneğin, C düşüncesi yapılarına) serileştirilmesini sağlar. Aynı zamanda zıt işlemi destekler, değerleri seri halinde kaldırabilir. Bu, bir C işlevi haskell den çağrıldığında faydalıdır ve karmaşık (yani ilkel olmayan) bir değer döndürür.

Serileştirme/serpiştirme işlemi poke/peek yardımı ile gerçekleşir. sizeOf, değerin C temsilinin bayt boyutunu döndürür. Bu mekanizmanın yalnızca sabit boyutta bir C temsiline sahip olan değerler için çalıştığını unutmayın (ör. Yapılar). C dizeleri gibi şeyler desteklemez, onlar differently tedavi edilir. alignment için olduğu gibi, haskell alanında yapılan bellek ayırma işlemlerinin platformun hizalama gereksinimlerini karşıladığından emin olmak için kullanılır.