如何用不同元素的handres定义java的bean之类的set-struct

如何解决如何用不同元素的handres定义java的bean之类的set-struct

|| 我想定义一组固定的值，它们都是整数，但是元素具有不同的类型（Int8 / Int16 / Int32 / Integer）。每个元素的类型是固定的，只有get / set 功能。就像\'java beans \'。根据我的直觉，可能是：数据MyFixedSet = MyFixedSet {getva :: Int32，getvb :: Int8， getvc :: Integer，...，getvxx :: Int16} 或使用元组：数据MyFixedSet = MyFixedSet（Int32，Int8，Integer，... Int16）要么：类型MyFixedSet =（Int32，Int8，Integer，... Int16）那我要用什么功能来操作它： getVA（va,.....，）= va setVA（，vb，vc，..... vxx）va =（va，vb，vc，... vxx） getVA（，vb,.....，）= vb setVA（va,vc，..... vxx）vb =（va，vb，vc，... vxx） ... 但我认为它们太重了，无法使用，就我而言，一组200〜500个元素。我应该使用地图吗？如果我这样做：数据Elem = X8 Int8 | X16 Int16 | ... | XI整数让set = Map.fromList [[0，X32 1234），（1，X8 666），...] 那么当我从Map中提取内容时，我必须做一些类型检查。我想知道是否有一种“美丽”和“高效”的方式？他们的表现如何？

解决方法

基于记录的解决方案可能确实太繁琐，尤其是在更新值时。考虑到Haskell中的值是不可变的，因此每次记录更新都需要构造一个新对象。在您的情况下，该对象将很大，因此其构造可能很慢。 Maps应该更快。现在，为了使ѭ1的类型更安全，如何为每种数据类型存储一张地图？

data MyFixedSet = MyFixedSet (IntMap Int8) (IntMap Int16) (IntMap Int32) (IntMap Integer)

这样，您不必对提取的值进行类型检查，而必须查找正确的地图。回到基于记录的解决方案，可以通过将大型数据结构分为几部分（例如树）来提高性能：

data MyFixedSet = MyFixedSet Part1 Part2 Part3 Part4
data Part1 = Part1 Part1SubPart1 Part1SubPart2 Part1SubPart3
....
data Part1SubPart1 = Part1SubPart1 Int32 Int8 Integer
....

您甚至可以自动执行此操作，并在Template Haskell的帮助下生成一些不错的访问器函数。 ,在第一段代码中

data MyFixedSet = MyFixedSet {
    getva :: Int32,getvb :: Int8
    -- and so on
} deriving (Show)

Haskell将使用类型签名自动为您生成函数

getva :: MyFixedSet -> Int
getvb :: MyFixedSet -> Int

但是，它也允许您进行基于记录的更新。

*Main> let x = MyFixedSet 3 4
*Main> x { getva = 7 }
MyFixedSet {getva = 7,getvb = 4}

您甚至可以使用相同的语法更新任意多个字段，例如

x { getva = 1234,getvb = 101 }

基于此，我认为您描述的第一种方法称为记录语法。您将获得类型安全的访问器并自动为您生成更新功能。 ,这是Data.Map方法的细微变化：

module HugeRecord where

import qualified Data.Map as Map
import Data.Map (Map,(!))

type IntFields = Map IntField Int 
type StringFields = Map StringField String

data HugeRecord = HugeRecord { intFields    :: IntFields,stringFields :: StringFields
                             } deriving (Eq,Show)

data IntField = IntField1 | IntField2 | IntField3
    deriving (Eq,Ord,Show,Enum,Bounded)

data StringField = StringField1 | StringField2 | StringField3
    deriving (Eq,Bounded)


initFields :: (Bounded k,Enum k,Ord k) => v -> Map k v
initFields z = Map.fromList $ zip [minBound .. maxBound] (repeat z)


newRecord = HugeRecord (initFields 0) (initFields \"\")


setIntField rcd fld x = rcd { intFields = Map.insert fld x (intFields rcd) }
setStringField rcd fld x = rcd { stringFields = Map.insert fld x (stringFields rcd) }

getIntField rcd fld = intFields rcd ! fld
getStringField rcd fld = stringFields rcd ! fld

对于每种字段类型，定义一个枚举数据类型，然后使用默认值构造一个“ 1”，并且仅提供get / set函数以确保映射始终包含每个字段的键。 ,如果我对您的理解正确，则希望有一组值，但是它们的类型事先未知，尽管它们来自一组固定的类型。在这种情况下，我可能会执行以下操作：

data MyFixedSet = SetA Int32 | SetB Int16 | ....

instance Eq MyFixedSet where
    (SetA x) == y = fromIntegral x == y
    (SetB x) ...

同样是Ord实例。然后，您可以根据需要将其设置在Set中。

type Foo = Set MyFixedSet

如何用不同元素的handres定义java的bean之类的set-struct

如何解决如何用不同元素的handres定义java的bean之类的set-struct

解决方法

相关推荐