Scala隱式參數綁定

Question

我正在努力解決以下在編譯時拋出錯誤的問題“錯誤：值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上指定多個類型約束？

Answer 1

只需將所有約束放在一起。

將類型簽名更改為

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

你的例子編譯得很好。