क्या एफएफआई सरणी के साथ सौदा कर सकता है? यदि हां, तो कैसे?

Question

मुझे यकीन है कि एफएफआई के माध्यम से सरणी भेजना संभव है, लेकिन मुझे कोई उदाहरण नहीं मिल रहा है। उदाहरण के लिए, मेरे पास एक हास्केल सरणी है जिसे मैं int foo(int*) फ़ंक्शन पर भेजता हूं, या मेरे पास एक सी सर int bar[64]; है जिसे मैं हास्केल भेजता हूं।

आदर्श रूप में मैं सबसे प्रभावी तरीका चाहता हूं - मुझे कोई ढेर आवंटन या अनावश्यक प्रतिलिपि नहीं चाहिए। साथ ही, यह अच्छा होगा अगर मैं हास्केल और सी दोनों में हास्केल के अनबॉक्स किए गए सरणी का उपयोग कर सकता हूं तो ऐसा करने का तरीका क्या है?

Answer 1

यदि आप डेटा का उपयोग करते हैं। वेक्टर लाइब्रेरी आप डेटा.वेक्टर का उपयोग कर सकते हैं। आपकी आवश्यकताओं के लिए स्टाइल। फिर आप अंतर्निहित विदेशी सूचक तक पहुंचने के लिए unsafeToForeignPtr या unsafe जैसे फ़ंक्शंस का उपयोग कर सकते हैं। यह आपको किसी भी प्रतिलिपि या मार्शलिंग के बिना सी-कोड कॉल करने की अनुमति देता है।

यदि आप सी-सरणी से वेक्टर बनाना चाहते हैं तो आप unsafeFromForeignPtr का उपयोग कर सकते हैं।

अपने उदाहरण आप उपयोग कर सकते हैं (यह मानते हुए c_foo यह तर्क संशोधित नहीं करता है) के लिए

import Foreign.Ptr 
import Foreign.C.Types 
import System.IO.Unsafe (unsafePerformIO) 
import qualified Data.Vector.Storable as SV 

foreign import ccall unsafe "foo" c_foo :: Ptr CInt -> CInt 

haskellFoo :: SV.Vector CInt -> CInt 
haskellFoo sv = unsafePerformIO $ 
    SV.unsafeWith sv $ \ptr -> return (c_foo ptr) 

यह करने के लिए golfed जा जा सकता है:

haskellFoo sv = unsafePerformIO $ 
    SV.unsafeWith sv (return . c_foo) 

ध्यान रखें कि आपके सी समारोह डेटा को संशोधित करता है, तो , तो आपको यह नहीं करना चाहिए, इसके बजाय आपको संदर्भित पारदर्शिता को तोड़ने के लिए डेटा की एक प्रति बनाना चाहिए।

यदि आप मानक ऐरे-प्रकार का उपयोग करना चाहते हैं तो आप withStorableArrayData.Array.Storable से उसी तरह उपयोग कर सकते हैं।

Answer 2

एफएफआई विनिर्देश काफी पठनीय है, इसलिए आप बस बैठकर पूरी चीज के माध्यम से काम करना चाहेंगे। हालांकि, इस विशिष्ट प्रश्न के लिए, आप "मार्शलिंग" अनुभाग, विशेष रूप से Ptr और Storable उपखंडों पर जा सकते हैं, जो इसके लिए क्या उपलब्ध है, इसकी रूपरेखा तैयार कर सकते हैं।

Answer 3

सी में, एक सरणी मूल रूप से सरणी के पहले सदस्य के लिए एक सूचक है। आप पॉइंटर पर अंकगणित करके अन्य तत्व प्राप्त करते हैं। PtrNum का सदस्य है, इसलिए आप सामान्य अंकगणितीय परिचालनों का उपयोग कर सकते हैं।

Answer 4

एक हास्केल सूची में एक FFI PTR बदलने के लिए, आप का उपयोग कर सकते हैं:

peekArray0 :: (Storable a, Eq a) => a -> Ptr a -> IO [a] 

http://hackage.haskell.org/packages/archive/base/4.2.0.1/doc/html/Foreign-Marshal-Array.html#v%3ApeekArray0