Play Framework范本中的有界通用参数

Question

如何在Play Framework 2.3 Java项目的Scala模板中使用有界的通用参数？

我目前有类似的东西：

@(entities: List[_ <: Entity], currentEntity: Entity)

<ul>
    @for(entity <- entities) {
        @if(currentEntity.equals(entity)) {
            <li><strong>@entity</strong></li>
        } else {
            <li>@entity</li>
        }
    }
</ul>

但是，我可以在entities和中使用不同类型的实体来称呼它，currentEntity这不是很好。我想做类似的事情：

@[T <: Entity](entities: List[T], currentEntity: T)
...

但这给了我Invalid '@' symbol一个编译错误。

Answer 1

正如 @mz 指出的，它（尚）不受支持。但是，您可以通过首先将您的参数编组到 View 对象中来获得您想要的类型安全（以另一个类系列为代价）：

case class HighlightedListView[E <: Entity](entities:List[E], currentEntity:E)

现在在您的控制器中，加载一个新HighlightedListView实例，而不是直接将参数提供给模板：

 def foo = Action {
  ...
  // Assuming some SubEntity exists, the compiler will enforce the typing:
  val hlv = HighlightedListView[SubEntity](entities, currentEntity)


  Ok(html.mytemplate(hlv))

}

正如评论所述，如果您的类型不对齐，编译器将会呕吐。然后模板的类型可以非常宽松，因为我们知道我们是安全的：

@(hlv:HighlightedListView[_])

<ul>
    @for(entity <- hlv.entities) {
        @if(hlv.currentEntity.equals(entity)) {
            <li><strong>@entity</strong></li>
        } else {
            <li>@entity</li>
        }
    }
</ul>

您甚至可以利用新View对象添加辅助方法，这可以使模板更易于阅读，并促进单元测试：

case class HighlightedListView[E <: Entity](entities:List[E], currentEntity:E) {
   def shouldHighlight(e:Any):Boolean = currentEntity.equals(e)
}

导致：

 @if(hlv.shouldHighlight(entity)) {
     <li><strong>@entity</strong></li>
 } else {
     <li>@entity</li>
 }