在实现像 TREE 这样的递归数据结构时，我需要每个 TREE 都有一个公共属性，我想知道如何实现它：
once 属性，我只获得所有棵树的一个共享属性，而不是每棵树一个。有什么优雅的埃菲尔风格的解决方案吗？
【问题讨论】：
parent 的属性），您能否草拟一个部分答案。
标签： recursion data-structures attributes eiffel
一棵树有一个可区分的根节点，该节点可用于存储与整棵树相关的信息，而不是与特定节点相关的信息。为了检索此信息，应该有可能从树的任何其他节点到达根节点。一种可能的解决方案是拥有一个功能parent，它将返回指定节点的父节点（或Current 为根）。那么，得到根节点的特征可以是这样的
root: TREE
-- The root of the tree.
local
p: TREE
do
from
Result := Current
p := parent
until
Result = p -- `Result = Result.parent` when `Result` is root.
loop
Result := p
p := p. parent
end
ensure
Result.parent = Result -- `Result` has no other parent.
end
然后可以从任意树节点n 和n.root.my_attribute 检索树特定属性值。
编辑：
另一种可能性是有一个专用的CELL 来存放所需的数据，树中的所有节点都只是引用这个单元格。好处是不需要对父节点的引用，并且可以立即访问数据。
【讨论】：
n 是TREE，而my-attribute 是TREE 的一部分？如果是这样，那么my_attribute 是否不存在于任何TREE 节点中？如果是这样，那将不是一个答案（效率问题放在一边）。
n.root.my_attribute 保证只使用一个版本。在另一个实现中，根具有专用类型。每个节点都将my_attribute 实现为返回root.my_attribute 的函数，但根节点除外，它是实际属性。
once 属性（这不会解决问题）我担心TREE 的每个节点都会包含一个POINTER 对应于once 函数。具体来说，我想到的是一个位（BOOLEAN）。在 C 中（作为对比），可以使用位字段，很可能无论如何都有一些备用位（例如树平衡）。