能否在类型层面计算LUB？如何实现两类型最小上界推导

我明白你想实现类似LUB_Magic[T,S]的类型表达式来自动推导两个类型的最小上界（LUB），之前把逻辑参数化到Solve[A,B]类里时总是得到Any而非预期的具体类型，确实挺让人困惑的。下面分Scala 2和Scala 3两种场景给出可行方案：

Scala 2 实现方案 #

在Scala 2中，我们可以通过类型类+隐式推导让编译器自动捕获两个类型的最小上界：

首先定义一个类型类来承载LUB类型：

// 定义LUB类型类，用于关联T、S和它们的最小上界Out
trait LUB[T, S] {
  type Out
}

object LUB {
  // 辅助类型别名，方便在类型签名中直接指定Out类型
  type Aux[T, S, O] = LUB[T, S] { type Out = O }

  // 隐式推导逻辑：编译器会自动找到T和S最具体的公共超类型O
  implicit def deriveLUB[T, S, O](implicit ev: (T with S) <:< O): Aux[T, S, O] =
    new LUB[T, S] { type Out = O }
}

接下来就可以用这个类型类来实现你的Solve类或者直接定义LUB_Magic类型：

// 定义参数化类，获取A和B的LUB类型
class Solve[A, B](implicit val lub: LUB[A, B]) {
  // 暴露推导出来的最小上界类型
  type LUBType = lub.Out

  // 示例方法：返回LUB类型的实例（这里用占位符演示）
  def createInstance: LUBType = ???
}

// 测试用例
class Animal
class Dog extends Animal
class Cat extends Animal

// 推导Dog和Cat的LUB为Animal，而非Any
val animalSolver = new Solve[Dog, Cat]
// animalSolver.LUBType 的实际类型是Animal

Scala 3 实现方案 #

Scala 3的类型系统更强大，标准库已经内置了最小上界的推导工具，我们可以直接复用：

// 导入标准库的LUB推导工具
import scala.compiletime.ops.any.LUB

// 直接定义你的LUB_Magic类型别名
type LUB_Magic[T, S] = LUB[T, S]

// 测试用例
class Animal
class Dog extends Animal
class Cat extends Animal

// 推导Dog和Cat的LUB为Animal
type AnimalLUB = LUB_Magic[Dog, Cat] // AnimalLUB的实际类型是Animal

// 如果要实现参数化类，写法更简洁
class Solve[A, B] {
  type LUBType = LUB_Magic[A, B]
}

为什么之前会得到Any？ #

你之前直接定义class Solve[A,B]()时，编译器没有收到任何约束提示，只能默认使用所有类型的公共超类型Any。而通过隐式推导（Scala 2）或内置类型操作（Scala 3），我们给了编译器足够的信息，让它去寻找最具体的公共超类型，也就是真正的最小上界。

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