社区首页 >问答首页 >Haskell中仿真对象的同一性

问Haskell中仿真对象的同一性
EN

Stack Overflow用户

提问于 2013-10-07 08:09:49

回答 4查看 517关注 0票数 3

用面向对象的语言编写模拟，每个对象都有一个身份--也就是说，一种将其与模拟中的其他对象区分开来的方法，即使其他对象具有完全相同的属性。一个对象保留了它的身份，不管它随时间变化了多少。这是因为每个对象在内存中都有一个唯一的位置，我们可以用指针或引用来表示这个位置。即使您不强制使用像GUID这样的附加身份系统，这也是可行的。(您通常会这样做，以支持网络或数据库等不考虑指针的东西。)

我不相信在Haskell有一个类似的概念。那么，标准的方法是使用类似GUID的东西吗？

更新以澄清问题：标识是问题领域中的一个重要概念，原因之一是:对象之间存在关系，必须保留这些关系。例如，Haskell通常会说一辆红色的汽车就是一辆红色的汽车，而所有的红色汽车都是相同的(前提是颜色是汽车唯一的属性)。但是，如果每一辆红色汽车都必须与车主联系起来，该怎么办？如果车主能重新油漆他的车呢？

综合答案的最终更新：似乎一致认为，只有在模拟的某些部分实际使用这些标识符时，才应该向数据类型添加标识符，而且没有其他方法来表示相同的信息。例如，当一个人拥有多辆汽车，其中每一辆都有一个颜色，一个人可以保留一个不变的汽车列表。这充分表达了所有权关系，只要你能接触到那个人。

该人可能需要也可能不需要某种独特的标识符。出现这种情况的一个场景是:有一个函数可以接收一个汽车和一个集合的所有人员，并将一个ParkingTicket强加给合适的人。这辆车的颜色不能唯一地识别得到罚单的人。这样我们就可以给那个人一个身份证让他把车藏起来。

但即使是这样，也有可能通过更好的设计来避免。也许我们的汽车现在有了一个ParkingPosition类型的附加属性，它可以被评估为合法或非法。因此，我们将Person集合传递给一个函数，该函数查看每个人的汽车列表，检查每个人的ParkingPosition，并在适当的情况下将ParkingTicket强加给此人。因为这个函数总是知道它在看哪个人，所以没有必要让汽车记录这个信息。

因此，在许多情况下，分配it并不像最初看起来的那样必要。

haskell

CDN&音视频通信出海专场

提供游戏出海、社交娱乐等方案，助力企业抢占出海市场

回答 4

Stack Overflow用户

回答已采纳

发布于 2013-10-07 09:00:02

你为什么要“解决”这个非问题？对象标识是OO语言中的一个问题，Haskell很高兴地避免了这个问题。

在一个不可变对象的世界中，两个值相同的对象是同一个对象。将相同的不可变对象两次放入列表中，那么无论您想要看到什么地方，都有两个不同的对象(例如，它们都“都”贡献了元素的总数，并且它们具有唯一的索引)，而没有Java风格的引用等式引起的任何问题。如果您愿意，甚至可以将该列表保存到数据库表中，并获取两个不同的行。你还需要什么？

更新

Jarret，您似乎确信模型中的对象必须具有真正独立的身份，因为现实生活中的对象是不同的。然而，在模拟中，这只在需要区分对象的上下文中起作用。通常，您只需要在必须区分和跟踪对象的上下文中使用唯一标识符，而不是在这些上下文之外。因此，确定这些上下文，映射对您的模拟(而不是对“真实”世界)重要的对象的生命周期，并创建适当的标识符。

你一直在回答你自己的问题。如果汽车有车主，那么鲍勃的红色汽车可以与卡罗尔的红色汽车区分开来。如果鲍勃能重新油漆他的汽车，你可以用一辆蓝色的汽车代替他的红色汽车。你只需要在

你的模拟有没有车主的汽车
你需要能够区分一辆没有主人的红色汽车和另一辆。

在一个简单的模型中，1可能是真，2不是。在这种情况下，所有无主的红色汽车都是同一辆红色汽车，那么为什么要把它们区分开来呢？

在你的导弹模拟中，为什么导弹需要跟踪他们自己的发射器？他们不是针对他们的发射器！如果发射器能够在导弹发射后继续控制导弹，那么发射器需要知道它拥有哪些导弹，但事实并非如此。导弹只需要知道它的弹道和目标。当它着陆和爆炸时，业主的意义是什么？如果它是从发射器A发射的，而不是从B发射器发射的，它会产生更大的爆炸吗？

你的发射器可以是空的，也可以有n导弹仍然可以发射。它有个位置。目标有位置。在任何时候都有k导弹在飞行，每一枚导弹都有一个位置、一个速度/弹道和一个爆炸威力。任何位置与地面重合的导弹，应转化为爆炸导弹或哑弹等。

在每一种情况下，哪些信息是重要的？发射装置的身份在引爆时真的很重要吗？为什么？敌人要发动报复性打击吗？不是吗？那这不是引爆的重要信息。它可能在发射后甚至都不是重要的信息。发射可以只是一个步骤，即A发射器所属的导弹数量减少，而飞行中的导弹数量增加。

现在，您可能对这些问题有了一个很好的答案，但是在开始使用对象可能不需要的标识之前，您应该完全映射您的模型。

票数 3

Stack Overflow用户

发布于 2013-10-07 08:24:01

我的方法是将所有状态信息存储在数据记录中，如

data ObjState = ObjState
    { objStName :: String
    , objStPos :: (Int, Int)
    , objStSize :: (Int, Int)
    } deriving (Eq, Show)

data Obj = Obj
    { objId :: Int
    , objState :: ObjState
    } deriving (Show)

instance Eq Obj where
    obj1 == obj2 = objId obj1 == objId obj2