2

在 Coq 证明助手中 - 它也有隐式转换 - 可以使用命令搜索隐式转换,该SearchAbout T命令返回T其类型中的所有内容(包括到 或 from 的转换T)。

有没有办法为 Scala 程序员找到所有类型的转换?请注意,转换可能在定义源类型或目标类型的项目之外定义。

4

1 回答 1

1

要快速查看当前范围内是否存在两个引用类型 S 和 T 之间的转换,只需键入

((null:S):T)

看看它是否编译。使用 Eclipse Scala IDE >= 2.1M2,如果在首选项中启用了隐式突出显示,您可以查看调用了哪个转换。

当然,这需要您猜测这两种类型(但您可能已经清楚地知道要转换为什么类型),并且它要求转换已经在范围内。

于 2012-09-17T14:55:40.293 回答