¿Por qué no se puede declarar un campo con el tipo de esta misma estructura en la estructura?

Las estructuras en Swift son tipos de valor (value types). Al crear una instancia de una estructura, se asigna memoria para todos sus campos. Si una estructura pudiera contener un campo del mismo tipo, el tamaño de esa estructura sería infinito, ya que dentro de ella sería necesario espacio para otra instancia de la misma estructura, que a su vez requeriría espacio para otra, y así sucesivamente. Esto conduciría a una dependencia cíclica y a la imposibilidad de determinar un tamaño final para la estructura.

A diferencia de las estructuras, las clases son tipos de referencia (reference types). Un campo de una clase puede almacenar una referencia a una instancia de esa misma clase. Dado que el campo solo almacena la dirección en memoria ocupada por la instancia de la clase, y no la instancia completa, no es necesario conocer el tamaño total de la instancia al definir el tamaño de la clase. Las referencias tienen un tamaño fijo.

Ejemplo que ilustra el problema con las estructuras:

// Esta estructura no puede ser compilada
// struct Node {
//     var value: Int
//     var next: Node? // ¡Error! La estructura no puede contener un campo del tipo 'Node'
// }

Para resolver problemas similares usando estructuras, se pueden usar referencias indirectas, por ejemplo, mediante protocolos o cierres, o bien usar clases. Un ejemplo típico son las listas enlazadas, que generalmente se implementan con clases.