Scala 3中Kind polymorphism与AnyKind类型实用代码示例问询

Scala 3的AnyKind是所有任意种类类型的超类型，结合种类多态特性，我们可以编写能跨不同"类型层级"复用的代码——不管是普通类型（如Int，种类为*）、一阶类型构造器（如List，种类为* -> *），还是更高阶的构造器（如Map，种类为* -> * -> *）。

下面是几个可直接运行的实用示例，展示AnyKind的实际用处：

示例1：统一输出任意种类的类型信息 #

这个示例定义了一个通用的类型类，用来描述不同种类类型的信息，并通过AnyKind实现统一的打印逻辑，无需为每种类型种类单独编写代码。

// 定义类型类，用于描述任意种类的类型
trait TypeInfo[K]:
  def describe: String

// 为普通类型（种类 *）提供实现
given TypeInfo[Int] with
  def describe = "普通类型: Int"

// 为一阶类型构造器（种类 * -> *）提供实现
given TypeInfo[List] with
  def describe = "一阶类型构造器: List[_]"

// 为二阶类型构造器（种类 * -> * -> *）提供实现
given TypeInfo[Map] with
  def describe = "二阶类型构造器: Map[_, _]"

// 通用打印函数，接受任意种类的类型
def printTypeInfo[K <: AnyKind](using info: TypeInfo[K]): Unit =
  println(info.describe)

// 测试入口
@main def testTypeInfo(): Unit =
  printTypeInfo[Int]   // 输出: 普通类型: Int
  printTypeInfo[List]  // 输出: 一阶类型构造器: List[_]
  printTypeInfo[Map]   // 输出: 二阶类型构造器: Map[_, _]

用处：在类型调试、元编程工具中，统一处理不同层级类型的信息输出，避免重复编写多套逻辑。

示例2：跨种类添加横切关注点 #

这个示例用AnyKind实现了一个通用的日志标注机制，可为普通类型、容器类型等统一添加日志行为，无需针对不同类型种类重复定义逻辑。

// 定义通用的标注类型，可包装任意种类的类型
type Logged[K <: AnyKind] = K

// 定义行为类型类，描述标注类型的日志动作
trait LoggedBehavior[K <: AnyKind]:
  def logAction: String

// 为普通类型实现日志行为
given LoggedBehavior[Int] with
  def logAction = "执行Int类型操作，已记录日志"

// 为容器类型实现日志行为
given LoggedBehavior[List] with
  def logAction = "执行List容器操作，已记录日志"

// 通用执行函数，触发任意种类标注类型的日志行为
def executeLoggedAction[K <: AnyKind](using behavior: LoggedBehavior[K]): Unit =
  println(behavior.logAction)

// 测试入口
@main def testLoggedActions(): Unit =
  executeLoggedAction[Int]   // 输出: 执行Int类型操作，已记录日志
  executeLoggedAction[List]  // 输出: 执行List容器操作，已记录日志

用处：在需要为不同层级类型添加统一的横切关注点（如日志、监控、缓存）时，AnyKind能大幅简化代码结构，保持逻辑一致性。

示例3：元编程中统一处理任意类型 #

这个示例利用AnyKind和Scala 3的引用功能，实现了一个通用的类型名称提取工具，支持所有种类的类型。

import scala.quoted.*

// 内联函数，对外暴露通用的类型名称提取能力
inline def typeName[K <: AnyKind]: String = ${typeNameImpl[K]}

// 底层实现，处理任意种类的类型
def typeNameImpl[K <: AnyKind](using Quotes, Type[K]): Expr[String] =
  import quotes.reflect.*
  Expr(Type.show[K])

// 测试入口
@main def testTypeNameExtraction(): Unit =
  println(typeName[Int])          // 输出: Int
  println(typeName[List])         // 输出: List
  println(typeName[Map])          // 输出: Map
  println(typeName[Option[String]])// 输出: Option[String]

用处：在代码生成、静态分析工具等元编程场景中，无需为每种类型种类单独编写提取逻辑，简化工具实现。

内容的提问来源于stack exchange，提问作者Max