Swift中的结构体必须有一个在编译时已知的大小。换句话说，一个结构体不能包含一个可变大小的对象。一个结构体 * 可以 * 包含一个数组或字符串或其他可变大小的对象，方法是使用一个常量大小的引用（本质上是一个指针）。你 * 不能 * 这样做：

struct A {
  var b: B
}

struct B {
  var a: A
}

但是您可以这样做，因为_a和_b实际上都只是指向数组的指针（即，无论数组或数组中的对象大小如何，大小都是恒定的），而A.b和B.a是实际上没有存储的计算属性。

struct A {
  var _b: [B]

  var b: B {
    get {
      return _b[0]
    }
    set(new) {
      _b[0] = new
    }
  }
}

struct B {
  var _a: [A]

  var a: A? {
    get {
      return _a[0]
    }
    set(new) {
      _a[0] = new
    }
  }
}

你也可以这样做，因为存储一个Box<T>值只存储一个指向Box<T>对象的指针，所以引用的大小不依赖于被引用值的大小。

class Box<T> {
  var value: T

  init(value: T) {
    self.value = value
  }
}

struct A {
  var b: Box<B>
}

struct B {
  var a: Box<A>
}

由于SwiftUI视图是结构体，它们 * 不 * 是递归的。在Swift中有多种创建递归数据结构的方法，我对SwiftUI的了解不多，无法说出哪种方法适合您的用例。您可以通过 Package 器类或 Package 在数组中将内容装箱，或者您可以通过indirect关键字创建一个递归Enum box对象：

enum Maybe<T> {
  case None
  indirect case Some(_ value: T)
}

struct A {
  var b: Maybe<B>
}

struct B {
  var a: Maybe<A>
}

let foo = A(b: .None)
let bar = B(a: .Some(A(b: .None)))