我想创建一个用于表示图形的泛型类型层次结构.特别是,我想要有Graph和Node类,我希望每种Graph类型都有相应的Node类型,如果我创建一个用于操作Graphs的泛型函数,我希望这个函数使用实际的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] => Unit.
更清楚的是,如果我用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
http://www.scala-lang.org/node/124
我有办法写你的.请注意,在所有情况下都需要进行一些类型更改 – 即GNode的类型参数需要协变,而ConcreteGraph需要使用不同的节点类和Node的类型绑定.
完成后,编写dfs的第一种方法是使其成为一种方法(如果你想避免虚拟调度开销,它可以是最终的).
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")})
第三种方式是使用咖喱dfs.由于Scala的类型推断的工作方式,实际上会产生更清晰的界面
def dfs[G <: Graph](graph : G)(nodeAction : G#Node => Unit) = print("dfsing!") dfs(new ConcreteGraph){node => println("foo")}
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。