代码之家 › 专栏 › 技术社区 › zackg

使用-Ywarn unused时,从Scala中的分析中排除类型证据参数

phantom-types unused-variables implicits compiler-warnings scala

zackg · 技术社区 · 8 年前

T <:< U )在以下情况下可能导致警告: -Ywarn-unused 传递给编译器。特别是在类型证据参数用于验证使用幻像类型编码的约束的情况下,可能会出现此警告。

https://github.com/hseeberger/demo-phantom-types/blob/master/src/main/scala/de/heikoseeberger/demophantomtypes/Hacker.scala 返回以下内容:

# scalac -Ywarn-unused Hacker.scala Hacker.scala:42: warning: parameter value ev in method hackOn is never used def hackOn(implicit ev: IsCaffeinated[S]): Hacker[State.Decaffeinated] = { ^ Hacker.scala:47: warning: parameter value ev in method drinkCoffee is never used def drinkCoffee(implicit ev: IsDecaffeinated[S]): Hacker[State.Caffeinated] = { ^ two warnings found

我很清楚,参数 ev

例如,我认为指示编译器忽略类的隐式参数 <:< 或 =:=

2 回复 | 直到 8 年前

Oleg Pyzhcov 8 年前

-Ywarn-unused -Ywarn-value-discard :

package myproject

package object syntax {
  implicit class IdOps[A](a: A) {
    def unused: Unit = ()
  }
}

ev.unused 在代码中明确“指定”该值不使用或仅用于副作用。你是 未使用 -Ywarn未使用

你的另一个选择是使用 silencer 用于抑制这几个方法的警告的插件。

Darren Bishop 4 年前

@unused 注释可用(从何时开始,我不确定):

import scala.annotation.unused

def drinkCoffee(implicit @unused ev: IsDecaffeinated[S]): Hacker[State.Caffeinated]

因此,不能使用上下文边界

推荐文章

zackg · 使用-Ywarn unused时,从Scala中的分析中排除类型证据参数

8 年前

ATLief · 删除包含子类的子类属性的Xcode“Compatible type”类型警告

8 年前

Sinatr · 警告-未实现“收集”模式

8 年前

BoltClock · “警告:1090:迁移问题”,尽管显式注册了事件处理程序

8 年前

Francis Pastor · 在OSX终端中编译C++:架构x86_64的未定义符号[closed]

9 年前

mahdiolfat · 为什么“函数的隐式声明”只是一个警告?

9 年前

user3499524 · visualstudio是否允许您访问数组边界之外的内容?(VS2013)[副本]

10 年前

Jens Mühlenhoff · 在派生类中分配虚拟方法时,如何处理“不兼容的指针类型”?

10 年前

SNos · 修复Swift 3中的警告“C-style for Statement is deprecated”

10 年前

spires · Visual Studio 2013不显示未引用的变量警告

10 年前