scala play使用表单API验证和处理request请求输入

最新推荐文章于 2021-09-28 16:22:20 发布

weikwer

最新推荐文章于 2021-09-28 16:22:20 发布

阅读量687

点赞数

CC 4.0 BY-SA版权

分类专栏： scala play

本文链接：https://blog.youkuaiyun.com/weixin_37567150/article/details/83005288

scala 同时被 2 个专栏收录

9 篇文章

订阅专栏

play

3 篇文章

订阅专栏

本文深入探讨ScalaPlay框架中的表单API使用方法，包括如何定义表单映射、处理HTTP请求数据及错误检查，通过具体案例展示了如何利用Play框架进行高效的数据验证和绑定。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

scala play使用表单API验证和处理request请求输入

Mapping

mapping是可以从HTTP请求中的数据构造object的对象。

使用简单mapping组合复杂mapping:

val mapping = Forms.tuple(
"name" -> Forms.text,
"ean" -> Forms.text,
"pieces" -> Forms.number)

您可以使用以下play提供的基本映射开始组合更复杂的映射:

boolean: Mapping[Boolean]
checked(msg: String): Mapping[Boolean]
date: Mapping[Date]
email: Mapping[String]
ignored[A](value: A): Mapping[A]
longNumber: Mapping[Long]
nonEmptyText: Mapping[String]
number: Mapping[Int]
sqlDate: Mapping[java.sql.Date]
text: Mapping[String]

与mapping一样，form有一个单一的类型参数，它有相同的含义。但是form不仅包含mapping，还包含数据。它很容易构造使用我们的映射:

val productForm = Form(mapping)

将数据放入form的过程称为绑定(binding)，我们使用bind方法来实现它:

val processedForm = productForm.bind(data)

form是不可变的数据结构，bind方法实际上并没有将数据放入form中。相反，它返回一个新的form——填充了数据的原始form的副本。

从form中获取数据：

if(!processedForm.hasErrors) {
val productTuple = processedForm.get // Do something with the product
} else {
val errors = processedForm.getErrors // Do something with the errors
}

或者通过fold方法获取mapping[T]中类型为T的数据：

val processedForm = productForm.bind(data)
processedForm.fold(
formWithErrors => BadRequest,
productTuple => {
// 省略了保存product的代码
Ok(views.html.product.show(product))
})

这里，fold方法的结果类型是play.api.mvc.SimpleResult，它是BadRequest和Ok的共同父类。

Object mappings

通过case class创建Form

case class Product(
name: String,
ean: String,
pieces: Int)

import play.api.data.Forms._
val productMapping = mapping(
"name" -> text,
"ean" -> text,
"pieces" -> number)(Product.apply)(Product.unapply)

val productForm = Form(productMapping)

productForm.bind(data).fold(
formWithErrors => …,
product => …
)

Mapping HTTP request data

到目前为止，我们使用了一个简单的手工构造的Map[String, String]作为表单的数据源。实际上，从HTTP请求获取这样的mapping并不简单，因为构造映射的方法取决于请求主体的内容类型。幸运的是,

Form有一个bindFromRequest方法，该方法接受一个请求[_]参数并以正确的方式提取数据:

def processForm() = Action { request =>
productForm.bindFromRequest()(request).fold(
…
)
}

或者另一种形式：

def processForm() = Action { implicit request =>
productForm.bindFromRequest.fold(
…
)
}

一个实例

controller的class内：

import play.api.data.Form
import play.api.data.Forms._

case class Product(name: String, ean: String, pieces: Int)

  val productMapping = mapping(
    "name" -> text,
    "ean" -> text,
    "pieces" -> number)(Product.apply)(Product.unapply)

  val productForm = Form(productMapping)

def processForm = Action { implicit request =>
  productForm.bindFromRequest.fold(
    formWithErrors => Ok,
    product => {
      println(product.toString)
      Ok
    }
  )
}

conf/routes:

+ nocsrf
POST   /processForm   controllers.MyTest.processForm

测试用的html文件:

<!DOCTYPE html>
<html>
<head>

</head>
<body>

<form action="http://localhost:9000/processForm" method="post">
    <p>str: <input type="text" name="name" /></p>
	<p>str: <input type="text" name="ean" /></p>
	<p>str: <input type="text" name="pieces" /></p>
    <input type="submit" value="Submit" />
</form>

</body>
</html>