受歧视的工会和继承

Question

我正在寻找为我的 F# 项目创建一个场景图，例如：

root
->player_bob
-->torch
->enemy_1
-->extravagant_hat
-->enemies_cat_jess 
--->fleas
--->fur_ball
->loot

等等。

每个项目都需要保存一组游戏对象来代表它的子项目。

例如，敌人1的列表包含一只猫和一顶帽子，猫列表包含跳蚤和一个毛球

所以我计划让它们全部继承自一个类，该类包含一个描述对象子对象的集合。

现在回答我的问题： 我是否应该将子对象向下转换为 GameObject 并将它们存储在“GameObject”基类的列表中 或者创建一个有区别的联合，例如

type SceneObject = 
        |Character of Character //e.g player, enemy, cat
        |Item of Item //e.g hat, torch, furball

并将对象存储为“SceneObjects”列表，以避免向上转换它们等带来的任何问题/开销。以及允许我描述对象未渲染和/或未渲染的特殊情况用于碰撞检测，例如：声音发射器、陷阱触发器等。

可区分联合+继承组合是我最初的想法；不过，由于我是 FP 的新手，我认为向专业人士询问解决此问题的最佳、实用的方法是明智的。

谢谢，

JD

Answer 1

您可以递归地使用可区分联合。

type SceneObject = 
    | Character of <characterData> * (SceneObject list) 
    | Item      of <itemData>      * (SceneObject list)

像这样使用它

let root = [Character("Bob", [Item("Torch", []); ...]); ...]

Answer 2

Dario 建议的另一种选择是为游戏中的实际对象（例如物品和角色）声明一个单独的类型，并将其包装在另一个添加子对象列表的对象中。这看起来像这样：

type SceneObject =
  | Character of <characterData>
  | Item of <itemData>

type ObjectWithChildren = 
  { Object : SceneObject
    Children : ObjectWithChildren list }

两个选项都是正确的功能设计，但我更喜欢这个版本，因为它使某些类型的处理更容易。例如，如果你想遍历游戏树中的所有对象，你可以这样写：

let rec traverse tree = 
  // Do something with tree.Object
  for child in tree.Children do traverse child

在这个版本中，你根本不需要对 SceneObject 进行模式匹配，所以你不需要需要包含所有情况（例如 Item 和 Character）。