我想创建一个通用类型层次结构来表示图形。特别是,我想要有类 Graph 和 Node,并且我希望对于每个 Graph 类型,都有一个相应的 Node 类型,如果我创建一个用于操作 Graph 的通用函数,我希望这个函数使用实际的 Node类型。我尝试过的一个例子
trait GNode[Graph]
{
... functions to get edges from this vertex, etc. ...
}
trait Graph
{
type Node <: GNode[Graph]
}
def dfs[G <: Graph](g : G, nodeAction : G#Node => Unit) = ... code ...
但这不起作用,因为当我这样做时
class ConcreteGraph extends Graph
{
class Node extends GNode[ConcreteGraph] { ... }
}
dfs 函数不会接受 ConcreteGraph#Node=>Unit
类型的函数作为 nodeAction
,而仅接受 AnyRef=>Unit
或GNode[ConcreteGraph]=>单位
。
更清楚地说,如果我用 C++ 来做,我会做类似的事情
template <class T> struct graph_traits;
template <> struct graph_traits<concrete_graph>
{ typedef concrete_graph::node node_type; }
template <class G>
void dfs(const G& g, boost::function<void(
const graph_traits<G>::node_type&)> action) { ... }
最佳答案
可扩展图结构的一个很好的例子是 http://www.scala-lang.org/node/124
我有你的方法来写你的。请注意,在所有情况下都需要进行一些类型更改 - 即 GNode 的类型参数需要协变,并且 ConcreteGraph 需要使用不同的节点类和 Node 的类型绑定(bind)来编写。
完成后,编写 dfs 的第一种方法是使其成为一个方法(如果您想避免虚拟调度开销,它可以是 final方法)。
trait GNode[+Graph] {
//... functions to get edges from this vertex, etc. ...
}
trait Graph {
type Node <: GNode[Graph]
def dfs(nodeAction : Node => Unit) = print("dfsing!")
}
class ConcreteGraph extends Graph {
class CGNode extends GNode[ConcreteGraph]
type Node <: CGNode
}
new ConcreteGraph dfs {node => println("foo")}
第二个,由于 dfs 不是一种方法,似乎只需要一些额外的类型提示即可使用它。
def dfs[G <: Graph](graph : G, nodeAction : G#Node => Unit) = print("dfsing!")
dfs[ConcreteGraph](new ConcreteGraph, {node => println("foo")})
第三种方法是使用柯里化(Currying) dfs。由于 Scala 类型推断的工作方式,这实际上会产生更清晰的界面
def dfs[G <: Graph](graph : G)(nodeAction : G#Node => Unit) = print("dfsing!")
dfs(new ConcreteGraph){node => println("foo")}
关于generics - 在 Scala 中创建参数图类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/536958/