Какие типы данных могут храниться в массиве?

Типы данных в массивах на iOS (Swift)

В Swift массивы являются типобезопасными коллекциями, что означает, что они могут хранить элементы только одного конкретного типа. Тип элементов определяется либо явно через аннотацию типа, либо выводится компилятором при инициализации.

1. Основные категории типов данных

A. Значимые типы (Value Types)

• Базовые типы: Int, Double, Float, Bool, String, Character
• Коллекции: Array, Dictionary, Set, Tuple
• Структуры: как стандартные (CGPoint, CGRect), так и пользовательские
• Перечисления: без ассоциированных значений или с ними

// Примеры массивов со значимыми типами
let integers: [Int] = [1, 2, 3, 4, 5]
let strings = ["Hello", "World"] // Тип выводится как [String]
let points: [CGPoint] = [CGPoint(x: 0, y: 0), CGPoint(x: 10, y: 20)]
let mixedTuples: [(String, Int)] = [("Alice", 25), ("Bob", 30)]

B. Ссылочные типы (Reference Types)

• Классы: как системные (UIViewController, UIView), так и пользовательские
• Функции и замыкания: (Int) -> String, () -> Void
• Акторы (с Swift 5.5)

// Примеры массивов со ссылочными типами
let viewControllers: [UIViewController] = [HomeVC(), ProfileVC()]
let closures: [() -> Void] = [{ print("Task 1") }, { print("Task 2") }]

// Массив с пользовательским классом
class User {
    let name: String
    init(name: String) { self.name = name }
}
let users: [User] = [User(name: "Alice"), User(name: "Bob")]

2. Специальные случаи

A. Протоколы и типы с общими требованиями

Массивы могут хранить типы, соответствующие определенному протоколу:

protocol Drawable {
    func draw()
}

struct Circle: Drawable { func draw() { print("Drawing circle") } }
struct Square: Drawable { func draw() { print("Drawing square") } }

let shapes: [Drawable] = [Circle(), Square()] // Гетерогенный массив

B. Опциональные типы

Массивы могут содержать опциональные значения:

let optionalInts: [Int?] = [1, nil, 3, nil, 5]
let firstValid = optionalInts.compactMap { $0 } // [1, 3, 5]

C. Дженерик-типы

Массивы могут хранить дженерик типы с конкретизированными параметрами:

struct Box<T> {
    let value: T
}

let intBoxes: [Box<Int>] = [Box(value: 1), Box(value: 2)]
let stringBoxes: [Box<String>] = [Box(value: "A"), Box(value: "B")]

3. Ограничения и особенности

A. Статическая типизация

Один массив не может содержать элементы разных типов (кроме случаев с протоколами или суперклассами):

// Не скомпилируется:
// let mixed = [1, "text", 3.14] // Ошибка: Heterogeneous collection literal

// Решение через протокол Any
let anyArray: [Any] = [1, "text", 3.14, true] // Но это антипаттерн!

B. Производительность

• Массивы значимых типов хранят значения непосредственно в непрерывной памяти
• Массивы ссылочных типов хранят указатели на объекты в куче
• Использование [Any] или протоколов с associated types имеет overhead из-за боксинга

C. Безопасность типов

Система типов Swift предотвращает множество ошибок:

var numbers: [Int] = [1, 2, 3]
// numbers.append("text") // Ошибка компиляции: Cannot convert value...

4. Практические рекомендации

1. Всегда предпочитайте конкретные типы [String] вместо [Any]
2. Используйте протоколы для гетерогенных коллекций вместо Any
3. Учитывайте семантику копирования - массивы значимых типов копируются при присваивании
4. Для больших данных используйте ContiguousArray для оптимизации производительности
5. Работайте с типами безопасно через as?, guard let, compactMap

// Безопасная работа с гетерогенным массивом
let items: [Any] = [1, "two", 3.0]

for item in items {
    switch item {
    case let int as Int:
        print("Integer: \(int)")
    case let string as String:
        print("String: \(string)")
    default:
        print("Unknown type")
    }
}

Итог

Массивы в Swift могут хранить любые типы данных, но с обязательным соблюдением единого типа элементов. Это обеспечивает типобезопасность, производительность и предсказуемость кода. Выбор конкретного типа для массива зависит от решаемой задачи, но в большинстве случаев следует отдавать предпочтение значимым типам и конкретным типам над абстрактными Any или AnyObject.