"内联"val后出现奇怪的类型错误

Question

我正在观察一个非常奇怪的类型错误shapeless.everywhere.考虑下面的菊石脚本加载正常load.module:

load.ivy("com.chuusai" %% "shapeless" % "2.3.0")

@

import shapeless._
import poly._

final case class Person(name: Person.Name, age: Person.Age)

object Person {
  final case class Name(value: String) extends AnyVal
  final case class Age(value: Int) extends AnyVal
}

def happyBirthday(person: Person, howManyYearsPast: Int): Person = {
  object incAge extends ->((age: Int) => age + howManyYearsPast)
  // THE MAGIC VAL
  val oldPerson = everywhere(incAge)(person)
  oldPerson
}

val john = Person(Person.Name("John Doe"), Person.Age(42))

val oldJohn = happyBirthday(john, 30)

现在,如果我尝试MAGIC VAL在这个脚本中"内联" ,即替换为valjust everywhere(incAge)(person),我会出现以下类型错误:

Main.scala:50: type mismatch;
 found   : person.type (with underlying type cachef6f1545a8d4dc31cb54d9957675f0559.Person)
 required: shapeless.poly.Case[_1.type,shapeless.HNil]{type Result = ?} where val _1: shapeless.EverywhereAux[incAge.type]
  everywhere(incAge)(person)

WAT？

我猜scalac的黑魔法隐含决议应该受到责备,但我不能不知道这里发生了什么.如果有人可以向我解开这个谜团,那就太棒了(对我来说肯定有点启发).

谢谢

Answer 1

我不知道这个问题的真正原因，但它是由影响隐式搜索和类型推断的预期类型引起的。您可以通过提供预期类型来使非内联版本不编译：

def happyBirthday(person: Person, howManyYearsPast: Int): Person = {
  object incAge extends ->((age: Int) => age + howManyYearsPast)
  val oldPerson: Person = everywhere(incAge)(person)
  oldPerson
}

此操作失败并出现完全相同的错误。

另一方面，您可以通过从函数中删除预期类型（也称为返回类型）来编译内联版本：

def happyBirthday(person: Person, howManyYearsPast: Int) = {
  object incAge extends ->((age: Int) => age + howManyYearsPast)
  everywhere(incAge)(person)
}

我很确定人们可能会认为这是一个“错误”，但是，类型推断未指定，因此需要一段时间才能弄清楚到底应该发生什么。