如何访问Scala中作为类型参数传递的Dinner子类的伴生对象？

要在不创建实例的情况下通过泛型方法访问Dinner子类的伴生对象，核心是通过**类型类（Type Class）**来抽象伴生对象的能力，让泛型方法能通过隐式上下文找到对应的伴生对象实例。下面是具体的实现步骤：

1. 完善基础类型定义 #

首先补全你代码中缺失的基础特质（假设这些是你业务中的类型），并明确Dinner的自我类型约束：

// 基础食材类型
sealed trait Meat
sealed trait Cheese
sealed trait Sauce
sealed trait Bun
sealed trait Condiment

// Dinner 父特质，带自我类型约束
trait Dinner[D <: Dinner[D]]

2. 定义抽象菜单能力的类型类 #

创建一个trait来统一抽象所有菜品伴生对象需要提供的ingredientNames能力：

trait DishMenu[D <: Dinner[D]] {
  def ingredientNames: Seq[String]
}

3. 修改伴生对象实现类型类并提供隐式实例 #

让每个Dinner子类的伴生对象实现DishMenu，并把自身作为隐式实例暴露出来，这样Scala的隐式解析机制就能找到它：

object Taco extends Dinner[Taco] with DishMenu[Taco] {
  override def ingredientNames: Seq[String] = Seq("filling", "cheese", "sauce")
  // 隐式提供Taco的菜单实例
  implicit val tacoMenu: DishMenu[Taco] = this
}
case class Taco(filling: Meat, cheese: Cheese, sauce: Sauce) extends Dinner[Taco]

object Cheeseburger extends Dinner[Cheeseburger] with DishMenu[Cheeseburger] {
  override def ingredientNames: Seq[String] = Seq("cheese", "bun", "condiments")
  // 隐式提供Cheeseburger的菜单实例
  implicit val cheeseburgerMenu: DishMenu[Cheeseburger] = this
}
case class Cheeseburger(cheese: Cheese, bun: Bun, condiments: Seq[Condiment]) extends Dinner[Cheeseburger]

4. 实现泛型printMenu方法 #

使用上下文绑定（: DishMenu）要求泛型参数D必须有对应的DishMenu隐式实例，然后通过implicitly获取实例并调用方法：

def printMenu[D <: Dinner[D]: DishMenu]: String = {
  val dishMenu = implicitly[DishMenu[D]]
  s"This dish requires ingredients: ${dishMenu.ingredientNames.mkString(", ")}"
}

5. 调用测试 #

现在你可以直接通过泛型参数调用方法，无需创建任何实例：

// 输出: This dish requires ingredients: filling, cheese, sauce
println(printMenu[Taco])

// 输出: This dish requires ingredients: cheese, bun, condiments
println(printMenu[Cheeseburger])

为什么不推荐反射？ #

虽然可以通过Manifest或TypeTag反射获取伴生对象，但这种方式类型不安全，容易在编译期无法发现错误，而类型类的方式是编译期检查的，更符合Scala的类型安全原则。

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