在Coq校样助手中 - 也有隐式转换 - 可以使用SearchAbout T
命令搜索隐式转换,该命令返回其类型中T
的所有内容(将包括与T
)的转换。
有没有办法找到Scala程序员的所有类型转换?请注意,转换可能在定义源类型或目标类型的项目之外定义。
答案 0 :(得分:1)
要快速查看两个引用类型S和T之间当前范围内是否存在转换,只需键入
即可((null:S):T)
看看它是否编译。使用Eclipse Scala IDE> = 2.1M2,如果在首选项中启用了隐式突出显示,您可以看到调用了哪个转换。
当然,这需要您猜测两种类型(但您可能已经清楚了解要转换的内容),并且要求转换已经在范围内。