pac4j-play SecureAction(扩展)，类型不匹配

Question

我正在尝试扩展pac4j-play模块的安全操作，因为我希望验证一些额外的内容并将其添加到请求中，以便在控制器中轻松访问。

但是我遇到了类型不匹配的编译问题，我似乎无法理解为什么。

class SecureSiteAction[P<:CommonProfile, ContentType, R[X]>:AuthenticatedRequest[P, X]<:Request[X]](clients: String, authorizers: String, matchers: String, multiProfile: Boolean, parser: BodyParser[ContentType], playSessionStore: PlaySessionStore, config: Config)(implicit implicitExecutionContext: ExecutionContext)
extends SecureAction[P, ContentType, R](clients, authorizers, matchers, multiProfile, parser, playSessionStore, config) {
override def invokeBlock[A](request: Request[A], block: R[A] => Future[Result]): Future[Result] = {
super.invokeBlock(request, { request: R[A] =>
val site = Site(request.host)
val profiles = request.asInstanceOf[AuthenticatedRequest[P, A]].profiles
block(AuthenticatedSiteRequest(site, profiles, request))
})
}
}
case class AuthenticatedSiteRequest[P<:CommonProfile, +A](site: Site, profiles: List[P], request: Request[A]) extends WrappedRequest[A](request)

我已经从原始SecureAction类中导入了像import scala.language.higherKinds和其余的东西(见 https://github.com/pac4j/play-pac4j/blob/master/shared/src/main/scala/org/pac4j/play/scala/Security.scala(。

以下行是问题所在：

block(AuthenticatedSiteRequest(site, profiles, request))

这给出了类型错误：

type mismatch;
[error]  found   : binders.AuthenticatedSiteRequest[P,A]
[error]  required: R[A]
[error]       block(AuthenticatedSiteRequest(site, profiles, request))

"有趣"的是，当我直接从 pac4j-play 的SecureActioncase 类复制/粘贴源代码到我的 IDE 中时，我得到完全相同的编译错误。

什么可以使它编译？它是 sbt 中的标志，还是我不知道的东西？

Answer 1

您需要更改下限类型边界以使用AuthenticatedSiteRequest，以便将一个类型参数固定到SecureSiteAction类的给定参数P：

class SecureSiteAction[
P <: CommonProfile, ContentType,
R[X] >: AuthenticatedSiteRequest[P, X] <: Request[X]
] //      ^^^^^^^^^^^^^^^^^^^^^^^^ 

"有趣"的是，当我直接从pac4j-play的SecureAction案例类复制/粘贴源代码到我的IDE中时，我得到了完全相同的编译错误。

这似乎是您的 IDE 的问题，可能是 IntelliJ？