Что такое memory layout? Для каких типов важно расположение свойств?

Memory layout определяет, как поля (свойства) типа organized в памяти, что affects performance due to caching and alignment.

1. Что такое memory layout:

• Это схема, которая показывает порядок и offset каждого свойства в памяти.

• Compiler добавляет padding для выравнивания данных (alignment), чтобы optimize access speed.

2. Для каких типов важно:

• Value types (структуры, кортежи): Их memory layout напрямую affects размер и производительность. Неоптимальное расположение свойств может lead к увеличению размера из-за padding.

• Reference types (классы): Less critical, так как они хранятся в куче, и доступ происходит через указатель. Однако layout может affect performance в высоконагруженных приложениях.

Пример:

struct BadLayout {
    let a: Int8 // 1 byte
    // 7 bytes padding для выравнивания
    let b: Int64 // 8 bytes
} // Размер: 16 bytes

struct GoodLayout {
    let b: Int64 // 8 bytes
    let a: Int8 // 1 byte
    // 7 bytes padding, но размер всё равно 16 bytes? Not necessarily, but better.
}

Оптимизация:

• Располагайте свойства в порядке убывания размера, чтобы minimize padding.

• Используйте MemoryLayout<T>.size чтобы проверить размер типа.