3

加载榕树配置，如

loadConfiguration[T <: Product](): T = {
import net.ceedubs.ficus.readers.ArbitraryTypeReader._
import net.ceedubs.ficus.Ficus._
val config: Config = ConfigFactory.load()
config.as[T]

失败：

Cannot generate a config value reader for type T, because it has no apply method in a companion object that returns type T, and it doesn't have a primary constructor

当而是直接指定一个案例类而不是TieSomeClass它工作得很好。我在这里想念什么？

4

1 回答 1

9

Ficus 使用类型类模式，它允许您通过指定必须对它们可用的操作来约束泛型类型。Ficus 还提供类型类实例“派生”，在这种情况下，它由一个宏提供支持，该宏可以检查特定案例类类型的结构并自动创建类型类实例。

在这种情况下，问题在于T它不是一个特定的 case class-like 类型——它是任何旧的 extends 类型Product，它可能是这样的：

case class EasyToDecode(a: String, b: String, c: String)

但也可能是：

trait X extends Product {
  val youWillNeverDecodeMe: String
}

您导入的宏ArbitraryTypeReader此时不知道，因为T这里是通用的。所以你需要一种不同的方法。

这里的相关类型类是ValueReader，您可以将代码更改为如下所示的内容，以确保T有一个ValueReader实例（请注意，T: ValueReader这里的语法是所谓的“上下文绑定”）：

import net.ceedubs.ficus.Ficus._
import net.ceedubs.ficus.readers.ValueReader
import com.typesafe.config.{ Config, ConfigFactory }

def loadConfiguration[T: ValueReader]: T = {
  val config: Config = ConfigFactory.load()
  config.as[T]

}

这指定了T必须有一个ValueReader实例（它允许我们使用.as[T]），但没有说明T，或者它的ValueReader实例需要来自哪里。

使用具体类型调用此方法的人MyType有几个选项。Ficus 为许多标准库类型提供了随处可用的实例，因此如果MyType是 eg Int，它们都已设置：

scala> ValueReader[Int]
res0: net.ceedubs.ficus.readers.ValueReader[Int] = net.ceedubs.ficus.readers.AnyValReaders$$anon$2@6fb00268

如果MyType是自定义类型，那么他们可以手动定义自己的ValueReader[MyType]实例，也可以导入其他人定义的实例，或者他们可以使用泛型派生（这就是这样ArbitraryTypeReader做的）。

这里的关键点是类型类模式允许您作为泛型方法的作者来指定您需要的操作，而无需说明如何为具体类型定义这些操作。您只需编写T: ValueReader，您的调用者会ArbitraryTypeReader根据需要导入。

于 2017-12-09T20:00:23.403 回答