SwiftUI中.overlay{}与var body: some View{}对应的Swift概念是什么

学习Swift基础官方教程过程中，对如下SwiftUI代码存在理解疑问：

struct CircleImage: View {
    var body: some View {
        Image("turtlerock")
            .clipShape(Circle())
            .overlay {
                Circle().stroke(.gray, lineWidth: 4)
            }
    }
}

核心待明确点：代码中.overlay {}和var body: some View {}分别使用了哪些Swift语言概念、对应什么数据结构？

var body: some View {} 相关 #

• 用到的Swift语言概念：
  • 只读计算属性：body不是存储固定值的存储属性，是每次被访问时动态生成返回值的计算属性；因为是只读属性，所以可以省略get关键字，后面直接跟大括号包裹的返回逻辑即可。
  • 不透明返回类型：some View是Swift 5.1推出的语法特性，代表该属性会返回一个实现了View协议的具体类型，但对调用方隐藏具体类型信息——编译阶段编译器能明确拿到它的实际类型，调用侧只需要知道它遵守View协议即可，不用手写极长的嵌套泛型类型声明。
• 对应数据结构：
  它的返回值是编译期确定的、遵守View协议的值类型结构体，在这段代码里实际是多层修改器嵌套生成的ModifiedContent类型，全程不涉及引用类型的类。

.overlay {} 相关 #

• 用到的Swift语言概念：
  • 尾随闭包语法：当函数/方法的最后一个参数是闭包类型时，可以将闭包写到方法调用的圆括号外侧；如果方法只有这一个闭包参数，还可以直接省略方法名后的圆括号，.overlay { ... }就是该语法的典型应用，本质是调用View协议的overlay修饰方法。
  • 结果构造器（ViewBuilder）：overlay方法的闭包参数被@ViewBuilder标记，这是SwiftUI框架基于Swift结果构造器特性实现的自定义构造逻辑，会自动把闭包里声明的视图内容合成一个单一的View类型返回，不需要开发者手动编写嵌套的类型构造代码。
• 对应数据结构：
  .overlay本身是View协议提供的视图修改器方法，返回值同样是遵守View协议的ModifiedContent结构体；闭包内的内容最终会被构造成一个具体的View值，作为浮层渲染在原图片上层，所有参与组合的视图都是值类型结构体。

注：在Swift基础语法文档中找不到部分相关概念是正常情况：不透明类型属于Swift进阶语法特性，@ViewBuilder是SwiftUI框架自定义的结果构造器实现，不属于Swift入门语法覆盖范围。

内容的提问来源于stack exchange，提问作者AndiChin