您正在使用 Scala 进行理解，我相信很多困惑是关于理解如何工作的。这是 Scala 语法，用于以简洁的方式访问 monad 的 map、flatMap 和 filter 方法以迭代集合。为了完全理解这一点，您将需要对 monad 和理解有所了解。 Scala documentation 可以提供帮助，搜索“scala for comprehension”也可以提供帮助。您还需要了解 Scala 中的提取器。
你问了这行的意思：
JObject(rec) <- json \ "records"
这是 for 理解的一部分。
您的陈述：
我知道json\“records”会产生一个JArray对象，
有点不正确。 \ 函数从解析器结果中提取List[JSObject]，json
但是为什么它在
json \ "records" 使用 json4s 提取器 \ 来选择 Json 数据的“记录”成员并生成 List[JObject]。 <- 可以读作“取自”并暗示您正在遍历列表。列表的元素具有 JObject 类型，构造 JObject(rec) 应用提取器创建一个值 rec，该值包含 JObject 的内容（其字段）。
它怎么会在
这是迭代集合的 Scala 语法。例如，我们也可以这样写：
for (x <- 1 to 10)
这将简单地为我们提供x 中从 1 到 10 的值。在您的示例中，我们使用了类似类型的迭代，但覆盖了 JObjects 列表的内容。
JObject(rec) 是什么意思？
这是一个 Scala 提取器。如果你查看 json4s 代码你会发现 JObject 是这样定义的：
case class JObject(obj: List[JField]) extends JValue
当我们在 Scala 中有一个案例类时，会自动定义两个方法：apply 和 unapply。那么JObject(rec) 的含义是调用unapply 方法并产生一个值rec，它对应于JObject 构造函数（apply 方法）中的值obj。因此，rec 将具有 List[JField] 类型。
rec 变量从何而来？
它来自于简单地使用它，并被声明为 JObject 的 apply 方法的 obj 参数的占位符。
JObject(rec) 是指从 rec 输入实例化新的 JObject 类吗？
不，它没有。这是因为 json \ "records" 产生的 JArray 只包含 JObject 值。
所以，解释一下：
JObject(rec) <- json \ "records"
我们可以用英文编写如下伪代码：
在解析的 json 中作为 JArray 查找“记录”并对其进行迭代。 JArray 的元素应该是 JObject 类型。将每个 JObject 的“obj”字段作为 JField 列表拉出，并将其分配给名为“rec”的值。
希望这能让这一切变得更清楚吗？
如果您能向我展示上述循环的 Java 等效代码，也会很有帮助。
当然，这是可以做到的，但是这比我愿意在这里贡献的要多得多。您可以做的一件事是使用 Scala 编译代码，找到相关的 .class 文件，然后将它们反编译为 Java。这可能对您了解 Scala 在多大程度上简化了 Java 编程很有指导意义。 :)
为什么我不能这样做？ for ( rec
你可以！但是，您随后需要获取 JObject 的内容。你可以这样写 for 理解：
val records: List[Map[String, Any]] = for {
obj: JObject <- json \ "records"
rec = obj.obj
JField("name", JString(name)) <- rec
JField("address", JString(address)) <- rec
} yield Map("name" -> name, "address" -> address)
它的含义相同，但更长。
我只是想了解 N(x) 模式是什么意思，因为我以前只见过 for (x
如上所述，这是一个提取器，它只是使用为案例类自动创建的 unapply 方法。在 Scala 的 case 语句中也做了类似的事情。
更新：
您提供的代码无法针对 json4s-native 的 3.2.11 版本为我编译。本次导入：
import org.json4s.JsonAST._
这个导入是多余的：
import org.json4s._
这样 JObject 被定义了两次。如果我删除 JsonAST 导入，那么它编译得很好。
为了进一步测试，我将您的代码放在这样的 scala 文件中：
package example
import org.json4s._
// import org.json4s.JsonAST._
import org.json4s.native.JsonParser
class ForComprehension {
val json = JsonParser.parse(
"""{
|"records":[
|{"name":"John Derp","address":"Jem Street 21"},
|{"name":"Scala Jo","address":"in my sweet dream"}
|]}""".stripMargin
)
val records: List[Map[String, Any]] = for {
JObject(rec) <- json \ "records"
JField("name", JString(name)) <- rec
JField("address", JString(address)) <- rec
} yield Map("name" -> name, "address" -> address)
println(records)
}
然后启动 Scala REPL 会话进行调查：
scala> import example.ForComprehension
import example.ForComprehension
scala> val x = new ForComprehension
List(Map(name -> John Derp, address -> Jem Street 21), Map(name -> Scala Jo, address -> in my sweet dream))
x: example.ForComprehension = example.ForComprehension@5f9cbb71
scala> val obj = x.json \ "records"
obj: org.json4s.JValue = JArray(List(JObject(List((name,JString(John Derp)), (address,JString(Jem Street 21)))), JObject(List((name,JString(Scala Jo)), (address,JString(in my sweet dream))))))
scala> for (a <- obj) yield { a }
res1: org.json4s.JValue = JArray(List(JObject(List((name,JString(John Derp)), (address,JString(Jem Street 21)))), JObject(List((name,JString(Scala Jo)), (address,JString(in my sweet dream))))))
scala> import org.json4s.JsonAST.JObject
for ( JObject(rec) <- obj ) yield { rec }
import org.json4s.JsonAST.JObject
scala> res2: List[List[org.json4s.JsonAST.JField]] = List(List((name,JString(John Derp)), (address,JString(Jem Street 21))), List((name,JString(Scala Jo)), (address,JString(in my sweet dream))))
所以：
- 你是对的，\操作符的结果是一个JArray
- 对 JArray 的“迭代”只是将整个数组视为列表中的唯一值
- 必须存在从 JArray 到 JObject 的隐式转换，以允许提取器将 JArray 的内容作为 List[JField] 生成。
- 一旦所有内容都是 List，for 理解就会正常进行。
希望对您理解这一点有所帮助。
有关作业中模式匹配的更多信息，请尝试this blog
更新 #2：
我又挖了一点，以发现这里的隐式转换。罪魁祸首是 \ 运算符。要了解json \ "records" 是如何变成一元可迭代的东西，您必须查看以下代码：
因此，从本质上讲，使用 \ 运算符会导致以下操作序列：
- 将 json (JValue) 隐式转换为 MonadicJValue
- 在 MonadicJValue 中应用 \ 运算符以产生 JArray（“记录”）
- 将 JArray 隐式转换为 MonadicJValue
- 使用 MonadicJValue.filter 和 MonadicJValue.map 方法来实现 for 理解