Scala重载的高阶函数导致类型错误

发布时间：2020-12-16 10:03:04 所属栏目：安全来源：网络整理

导读：我有一个重载方法定义如下： def g(f: () ? Double): Object = nulldef g(f: Double ? Double): Object = nulldef g(f: (Double,Double) ? Double): Object = nulldef h(f: (Double,Double) ? Double): Object = null 虽然h(math.max _)按预期工作,但调用g(m

我有一个重载方法定义如下：

def g(f: () ? Double): Object = null
def g(f: Double ? Double): Object = null
def g(f: (Double,Double) ? Double): Object = null

def h(f: (Double,Double) ? Double): Object = null

虽然h(math.max _)按预期工作,但调用g(math.max _)
给我错误“重载方法…不能应用于((Int,Int)=> Int)”.似乎编译器选择了math.max的Int版本而不是Double版本.

如何用math.max作为参数调用我的重载方法？如果我可以在没有下划线的情况下调用g(math.max),那将是一个额外的好处.

解决方法

您已经遇到编译器使用的启发式算法,以帮助避免类型的指数级复杂搜索.当方法重载时,它会尝试根据参数的类型消除歧义.不幸的是,这个论点也超载了.它没有尝试可能性,而是抓住第一个浮现在脑海中的东西,它不起作用.

你可以通过正确的方式欺骗??它进行搜索：

g(math.max(_,_))

从逻辑上看,编译器现在已经清楚它正在寻找一个Function2,即使所有版本的max都必须是Function2！ – 足以让编译器搜索匹配(并且它匹配Double with Double).

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!