如何让自定义的Int类型Semigroup实例生效？

问题根源 #

你遇到的问题是因为cats.implicits._中已经包含了默认的Int类型Semigroup实例（实现加法逻辑），当它与你自定义的乘法实例同时存在于作用域时，编译器优先选择了默认的加法实例，导致combine(4,4)返回8而非预期的16。此外，你自定义的object Semigroup属于冗余代码，会遮蔽Cats原生的Semigroup对象，进一步混淆隐式解析逻辑。

解决方案 #

1. 删除冗余的自定义Semigroup对象 #

Cats已经提供了cats.Semigroup.apply方法来获取隐式实例，无需重复定义该对象，直接使用原生实现即可。

2. 确保自定义实例优先级高于默认实例 #

有两种简洁的实现方式：

方式一：避免全量导入cats.implicits._

只导入实际需要的Cats核心类，再导入自定义实例，彻底避免默认实例的干扰：

import cats._

// 自定义乘法Semigroup实例
object SemigroupInstances {
  implicit val intSemigroup: Semigroup[Int] = Semigroup.instance(_ * _)
}

// 导入自定义实例
import SemigroupInstances._

// 获取并使用自定义实例
val intSemigroup = Semigroup[Int]
intSemigroup.combine(4, 4) // 返回16

方式二：在当前作用域定义自定义实例（保留全量导入时）

如果必须保留cats.implicits._的全量导入，可将自定义实例直接定义在当前作用域中——Scala中本地定义的隐式变量优先级高于导入的隐式变量，因此会优先被选中：

import cats._
import cats.implicits._

// 直接在当前作用域定义自定义实例，优先级高于导入的默认加法实例
implicit val intSemigroup: Semigroup[Int] = Semigroup.instance(_ * _)

val intSemigroup = Semigroup[Int]
intSemigroup.combine(4, 4) // 返回16

补充说明 #

使用Semigroup.instance方法是Cats推荐的简洁写法，它可以替代手动创建new Semigroup[Int]的冗长代码，效果完全一致。

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