ByteString zu Vector Konvertierung

Question

Ich habe eine ByteString, die die Darstellung von Float s enthält. Jeder Float wird durch 3 Bytes in ByteString dargestellt.

Ich brauche etwas Verarbeitung auf die Float Werte, so würde ich gerne diese Verarbeitung auf einem Vector von Float Werte durchführen. Was wäre der beste Weg, dies zu tun?

Ich habe eine Funktion toFloat :: [Word8] -> Float, die 3 Bytes des ByteString in einen Float konvertiert. Also überlegte ich, über die ByteString in Schritten von 3 Bytes zu iterieren und jeden Schritt in eine Float für eine vector zu konvertieren.

Ich habe die Bibliothek Funktionen für Vector angeschaut, aber ich kann nichts finden, das diesem Zweck entspricht. Data.Vector.Storable.ByteString.byteStringToVector sah vielversprechend aus, aber es konvertiert jedes Byte (statt alle 3 Bytes) und gibt mir keine Kontrolle darüber, wie die Konvertierung von ByteString zu Float passieren sollte.

Answer 1

Nur Data.Vector.generate verwenden:

V.generate (BS.length bs `div` 3) $ \i -> 
    myToFloat (bs BS.! 3*i) (bs BS.! 3*i+1) (bs BS.! 3*i+2) 

Es wird der Vektor auf einmal zuweisen und es füllen. Data.ByteString.! ist O (1), also ist das ziemlich effizient.

Answer 2

Versuchen unter Verwendung von

splitAt :: Int -> ByteString -> (ByteString, ByteString) 

die ByteString in zwei aufgeteilt: eine von genau 3 Zeichen, und ein anderer, den Rest des Eingangs enthält. Sie können dies verwenden, um eine rekursive Funktion zu implementieren, die Ihnen alle Gruppen der Länge 3 (ähnlich Data.List.Split.chunksOf) gibt, und dann können Sie unpack auf jedem verwenden, um die [Word8] zu erhalten, die Sie benötigen. Übergeben Sie das durch Ihre toFloat-Funktion, und konvertieren Sie in einen Vektor mit Vector.fromList.

Es gibt eine Reihe von Schritten, die scheinen, als ob sie vielleicht teuer sein könnten, aber ich denke, dass der Compiler intelligent genug ist, einige von ihnen zu fusionieren, wie das Paar entpacken/fromList. Und ein ByteString zu teilen ist O (1), so dass ein Teil nicht so teuer ist, wie es aussieht. Scheint so, als ob dieser Ansatz genauso geeignet sein sollte wie jeder andere.