scala - 避免 shapeless 中两个类型类定义之间发生冲突的最佳方法是什么

Question

Shapeless 有一个整洁的类型类 derivation mechanism它允许您定义类型类并获得任何类型类的自动派生。

要使用派生机制作为类型类的用户，您将使用以下语法

import MyTypeClass.auto._

据我所知，它相当于

import MyTypeClass.auto.derive

当您尝试在同一范围内使用多个类似的类型类时，就会出现问题。即使函数的两个版本在其隐式参数上“重载”，Scala 编译器似乎也只考虑派生的最后一个定义。

我可以想到几种方法来解决这个问题。我不会在此处列出它们，而是将它们标记为答案，您可以对其进行投票以确认合理性并提出任何更好的解决方案。

Answer 1

我raised this question back in April并提出了两种解决方案:自己定义方法(如您所建议的):

object AutoCodecJson {
  implicit def deriveEnc[T] = macro deriveProductInstance[EncodeJson, T]
  implicit def deriveDec[T] = macro deriveProductInstance[DecodeJson, T]
}

或者使用别名导入:

import AutoEncodeJson.auto.{ derive => deriveEnc }
import AutoDecodeJson.auto.{ derive => deriveDec }

我强烈建议使用别名导入— Miles himself said关于 deriveProductInstance 的“没想到会以这种方式重用宏:不确定我是否同意”方法。