Почему в структуре нельзя объявить поле с типом этой же структуры?

Это привело бы к бесконечному рекурсивному размеру структуры. Компилятор не смог бы определить конечный размер структуры в памяти, так как каждое вложенное поле требовало бы экземпляра того же типа, который в свою очередь содержал бы такой же поле, и так далее.

Структуры в Swift являются типами-значениями (value types), их размер должен быть определен на этапе компиляции. Поле-ссылка (например, класс) может быть объявлено внутри структуры, поскольку размер самой ссылки (адреса в памяти) фиксирован и известен на этапе компиляции, а размер объекта, на который она ссылается, определяется в момент выполнения (run-time).

Пример:

// Ошибка компиляции:
// Recursively value type StructA is illegal
struct StructA {
    var recursiveField: StructA
}

// Корректно с ссылочным типом
class ClassB {
    var value: Int?
}

struct StructC {
    var referenceField: ClassB? // Размер StructC известен
}