如何用不同元素的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