加入收藏 | 设为首页 | 会员中心 | 我要投稿 李大同 (https://www.lidatong.com.cn/)- 科技、建站、经验、云计算、5G、大数据,站长网!
当前位置: 首页 > 综合聚焦 > 服务器 > 安全 > 正文

如何从Scala的WartRemover工具修复产品类型推断错误

发布时间:2020-12-16 08:53:05 所属栏目:安全 来源:网络整理
导读:我正在使用 WartRemover工具来避免我的Scala 2.11代码中可能出现的错误. 具体来说,我想知道如何修复“产品类型推断”错误. 看看repo文档,我只能看到失败的例子,但我想知道我是如何修复这个错误的: https://github.com/puffnfresh/wartremover#product. 做完
我正在使用 WartRemover工具来避免我的Scala 2.11代码中可能出现的错误.

具体来说,我想知道如何修复“产品类型推断”错误.

看看repo文档,我只能看到失败的例子,但我想知道我是如何修复这个错误的:

https://github.com/puffnfresh/wartremover#product.

做完我的作业,我最后得到了另一个链接,解释了如何修复类型推断失败错误https://blog.cppcabrera.com/posts/scala-wart-remover.html.我引用“如果您看到下面的任何警告,修复通常就像提供类型注释一样简单”但我不知道明白这意味着什么.我真的需要一个具体的例子.

解决方法

产品是一种非常抽象的高级类型,约束很少.当推断类型是Product时,这通常表明您犯了错误.例如.如果你有:

List((1,"hi",0.4f),(2,"bye"),(3,"aloha",7.2f))

然后这将编译好,给你一个List [产品].但是,就像推断Any时一样,这可能是一个错误 – 你可能意味着它是一个List [(Int,String,Float)]并且意味着在中间元组中有第三个条目.

如果你真的想要一个List [Product],你可以通过明确地给出type参数来避免得到它的警告:

List[Product]((1,7.2f))

(编辑:李大同)

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

    推荐文章
      热点阅读