当类型类只有一个实例时,基于类型类和方法的方法没有太大区别。
使用类型类,您可以定义以不同方式处理不同类型(类型类是类型级别的,编译时“模式匹配”)
trait Transformer[I,O] {
def transform(in:I): O
}
object Transformer {
implicit val abcdTransformer: Transformer[AB,CD] = (in: AB) => ???
implicit val efghTransformer: Transformer[EF,GH] = (in: EF) => ???
}
如果您的类型“相交”,您可以使用类型类对实例进行优先级排序
trait Transformer[I,O] {
def transform(in:I): O
}
trait LowPriorityTransformer {
implicit val efghTransformer: Transformer[EF,GH] = (in: EF) => ???
}
object Transformer extends LowPriorityTransformer {
implicit val abcdTransformer: Transformer[AB,CD] = (in: AB) => ???
}
使用类型类,您可以归纳定义逻辑
trait Transformer[I,O] {
def transform(in:I): O
}
object Transformer {
implicit def recurse(implicit t: Transformer[...]): Transformer[...] = ???
implicit val base: Transformer[...] = ???
}
使用类型类,您可以执行类型级别的计算
trait Transformer[I] {
type O
def transform(in:I): O
}
object Transformer {
implicit val abcdTransformer: Transformer[AB] { type O = CD } = ???
implicit val efghTransformer: Transformer[EF] { type O = GH } = ???
}
def transform[I](in: I)(implicit t: Transformer[I]): t.O = t.transform(in)
以下是使用类型类替换方法的示例
shapeless filter a list of options
How to overload generic method with different evidence without ambiguity?
When using HList with GADTs I am having to cast using asInstanceOf[H]. Is there a way to avoid the cast?
还可以使用类型类,您可以将多个隐式参数隐藏在一个类型中,从而将您的逻辑封装在类型类中
How to wrap a method having implicits with another method in Scala?
Implicit Encoder for TypedDataset and Type Bounds in Scala
Parameterized folding on a shapeless HList
关于隐藏样板,一些样板将隐藏在 Dotty (Scala 3) 中。不需要太多
def transform[I,O](in: I)(implicit t: Transformer[I,O]): O = t.transform(in) // (*)
还有。我们可以直接用extension methods定义type classes
trait Transformer[I,O] {
def (in:I) transform: O
}
object Transformer {
given as Transformer[AB,CD] = (in: AB) => ??? // given is instead of implicit
}
import Transformer.{ given _}
ab.transform
在 Scala 2 中,我有小型库 AUXify(未准备好生产)来生成像 (*) 这样的样板
import com.github.dmytromitin.auxify.macros.delegated
@delegated
trait Transformer[I,O] {
def transform(in:I): O
}
object Transformer {
implicit val abcdTransformer: Transformer[AB,CD] = (in: AB) => ???
}
Transformer.transform(ab)
// scalacOptions += "-Ymacro-debug-lite"
//Warning:scalac: {
// abstract trait Transformer[I, O] extends scala.AnyRef {
// def transform(in: I): O
// };
// object Transformer extends scala.AnyRef {
// def <init>() = {
// super.<init>();
// ()
// };
// def transform[I, O](in: I)(implicit inst$macro$1: Transformer[I, O]): O = inst$macro$1.transform(in);
// implicit val abcdTransformer: Transformer[AB, CD] = ((in: AB) => $qmark$qmark$qmark)
// };
// ()
//}
或生成扩展方法(语法)
import com.github.dmytromitin.auxify.macros.syntax
@syntax
trait Transformer[I,O] {
def transform(in:I): O
}
object Transformer {
implicit val abcdTransformer: Transformer[AB,CD] = (in: AB) => ???
}
import Transformer.syntax._
ab.transform[CD]
//Warning:scalac: {
// abstract trait Transformer[I, O] extends scala.AnyRef {
// def transform(in: I): O
// };
// object Transformer extends scala.AnyRef {
// def <init>() = {
// super.<init>();
// ()
// };
// object syntax extends scala.AnyRef {
// def <init>() = {
// super.<init>();
// ()
// };
// implicit class Ops$macro$1[I] extends scala.AnyRef {
// <paramaccessor> val in: I = _;
// def <init>(in: I) = {
// super.<init>();
// ()
// };
// def transform[O]()(implicit inst$macro$2: Transformer[I, O]): O = inst$macro$2.transform(in)
// }
// };
// implicit val abcdTransformer: Transformer[AB, CD] = ((in: AB) => $qmark$qmark$qmark)
// };
// ()
//}
或生成物化器等
import com.github.dmytromitin.auxify.macros.apply
@apply
trait Transformer[I, O] {
def transform(in:I): O
}
object Transformer {
implicit val abcdTransformer: Transformer[AB, CD] = ???
}
Transformer[AB, CD].transform(ab)
//Warning:scalac: {
// abstract trait Transformer[I, O] extends scala.AnyRef {
// def transform(in: I): O
// };
// object Transformer extends scala.AnyRef {
// def <init>() = {
// super.<init>();
// ()
// };
// def apply[I, O](implicit inst: Transformer[I, O]): Transformer[I, O] = inst;
// implicit val abcdTransformer: Transformer[AB, CD] = $qmark$qmark$qmark
// };
// ()
//}
还可以使用Simulacrum 生成单参数类型类的扩展方法(和实现器)
import simulacrum.typeclass
@typeclass
trait Transformer[I] {
type O
def transform(in:I): O
}
object Transformer {
implicit val abcdTransformer: Transformer[AB] { type O = CD } = ???
}
Transformer[AB].transform(ab)
import Transformer.ops._
ab.transform
//Warning:scalac: {
// @new _root_.scala.annotation.implicitNotFound("Could not find an instance of Transformer for ${I}") abstract trait Transformer[I] extends _root_.scala.Any with _root_.scala.Serializable {
// type O;
// def transform(in: I): O
// };
// object Transformer extends scala.AnyRef {
// def <init>() = {
// super.<init>();
// ()
// };
// implicit val abcdTransformer: Transformer[AB] {
// type O = CD
// } = $qmark$qmark$qmark;
// @new scala.inline() def apply[I](implicit instance: Transformer[I]): Transformer[I] {
// type O = instance.O
// } = instance;
// abstract trait Ops[I] extends scala.AnyRef {
// def $init$() = {
// ()
// };
// type TypeClassType <: Transformer[I];
// val typeClassInstance: TypeClassType;
// import typeClassInstance._;
// def self: I;
// def transform: O = typeClassInstance.transform(self)
// };
// abstract trait ToTransformerOps extends scala.AnyRef {
// def $init$() = {
// ()
// };
// @new java.lang.SuppressWarnings(scala.Array("org.wartremover.warts.ExplicitImplicitTypes", "org.wartremover.warts.ImplicitConversion")) implicit def toTransformerOps[I](target: I)(implicit tc: Transformer[I]): Ops[I] {
// type TypeClassType = Transformer[I] {
// type O = tc.O
// }
// } = {
// final class $anon extends Ops[I] {
// def <init>() = {
// super.<init>();
// ()
// };
// type TypeClassType = Transformer[I] {
// type O = tc.O
// };
// val self = target;
// val typeClassInstance: TypeClassType = tc
// };
// new $anon()
// }
// };
// object nonInheritedOps extends ToTransformerOps {
// def <init>() = {
// super.<init>();
// ()
// }
// };
// abstract trait AllOps[I] extends Ops[I] {
// type TypeClassType <: Transformer[I];
// val typeClassInstance: TypeClassType
// };
// object ops extends scala.AnyRef {
// def <init>() = {
// super.<init>();
// ()
// };
// @new java.lang.SuppressWarnings(scala.Array("org.wartremover.warts.ExplicitImplicitTypes", "org.wartremover.warts.ImplicitConversion")) implicit def toAllTransformerOps[I](target: I)(implicit tc: Transformer[I]): AllOps[I] {
// type TypeClassType = Transformer[I] {
// type O = tc.O
// }
// } = {
// final class $anon extends AllOps[I] {
// def <init>() = {
// super.<init>();
// ()
// };
// type TypeClassType = Transformer[I] {
// type O = tc.O
// };
// val self = target;
// val typeClassInstance: TypeClassType = tc
// };
// new $anon()
// }
// }
// };
// ()
//}