Play Framework表单中的Scala奇怪类型错误

Question

我有这个代码：

package deliveries.NewPost
import play.api.data._
import play.api.data.Forms._

case class NewPostValidator(town: String, number: Int)

object NewPost extends Delivery{
  def form[NewPostValidator](): Form[NewPostValidator] = Form(mapping(
    "town" -> nonEmptyText,
    "number" -> number)(NewPostValidator.apply)(NewPostValidator.unapply))
}

在编译时它给了我一个奇怪的错误：

类型不匹配； [错误] 发现： play.api.data.Mapping[deliveries.NewPost.NewPostValidator] [错误] 必需：play.api.data.Mapping[NewPostValidator]

基本上相同的类显示有完整路径和没有完整路径。 会是什么？

我将阐明我想要实现的目标： 我希望每个扩展特征的类都有方法“form”，它返回带有一些验证器的 Form。为此，我创建了 trait：

trait Delivery {
  def form[T](): Form[T]
}

并尝试在我的班级中实现此方法。

Answer 1

说def form[NewPostValidator] 就像说def form[T]，只是使用了不同的标识符。编译器不会将方法主体中的 NewPostValidator 视为“真正的”NewPostValidator，而是将其视为您在 def form[NewPostValidator] 中声明的虚构类型 NewPostValidator。

解决方案：

使用 [T] 而不是您的方法参数化您的 trait，并让您的类使用特定类型扩展 trait。

trait Delivery[T] {
  def form(): Form[T]
}

object NewPost extends Delivery[NewPostValidator] {
  def form(): Form[NewPostValidator] = Form(mapping(
    "town" -> nonEmptyText,
    "number" -> number)(NewPostValidator.apply)(NewPostValidator.unapply))
}