[英]Scala Implicit parameter bound
我正在努力解决以下在编译时抛出错误的问题“错误:值dir不是类型参数A的成员”。 但它是!
trait Logger { def dir: String }
trait LoggerFile[A <: Logger] {
def extractor: String => Option[A]
}
def getHistory[A: LoggerFile](): String = {
implicitly[LoggerFile[A]].extractor("abc") match {
case Some(a) => a.dir
case None => ""
}
}
我能够通过使用这个答案克服这个问题:
def getHistory[A <: Logger]()(implicit env: LoggerFile[A]): String = {
但我希望系统在转换之前工作,即使用语法糖。 有没有办法在A上指定多个类型约束?
只需将所有约束放在一起。
将类型签名更改为
def getHistory[ A <: Logger : LoggerFile ](): String
你的例子编译得很好。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.