Scala隐式参数绑定

Question

我正在努力解决以下在编译时抛出错误的问题“error：value 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 => "" 
    } 
} 

我能够通过使用this answer克服的问题：

def getHistory[A <: Logger]()(implicit env: LoggerFile[A]): String = { 

但我宁愿系统的改造，即与语法糖前工作。 有没有办法在A上指定多个类型约束？

Answer 1

把所有的约束放在一起。

改变类型签名

def getHistory[ A <: Logger : LoggerFile ](): String 

你的例子后编译就好了。