Что такое типы данных и какие из них существуют?

Типы данных определяют набор возможных значений и операции, которые можно над ними выполнять. В Swift они делятся на Value Types и Reference Types.

Value Types (типы-значения):

• Значения копируются при присваивании или передаче в функцию.
• Каждая переменная или константа хранит собственную независимую копию данных.
• Изменения одной копии не влияют на другие.

Примеры Value Types:

• Структуры (struct)
• Перечисления (enum)
• Кортежи (tuple)
• Базовые типы: Int, Double, Bool, String, массивы (Array), словари (Dictionary), множества (Set).

// Пример Value Type: struct
struct Point {
    var x: Int
    var y: Int
}

var p1 = Point(x: 1, y: 2)
var p2 = p1 // p2 получает копию p1
p2.x = 10 // Изменение p2 не влияет на p1

print("p1: \(p1)") // p1: Point(x: 1, y: 2)
print("p2: \(p2)") // p2: Point(x: 10, y: 2)

Reference Types (ссылочные типы):

• Значения не копируются. При присваивании или передаче
• в функцию передается ссылка на один и тот же экземпляр данных в памяти.
• Несколько переменных или констант могут ссылаться на один и тот же экземпляр.
• Изменения через одну ссылку видны через все другие ссылки.

Примеры Reference Types:

• Классы (class)
• Функции (func)
• Замыкания (closure)

// Пример Reference Type: class
class Circle {
    var radius: Double

    init(radius: Double) {
        self.radius = radius
    }
}

var c1 = Circle(radius: 5.0)
var c2 = c1 // c2 ссылается на тот же экземпляр, что и c1
c2.radius = 10.0 // Изменение c2 влияет на c1

print("c1 radius: \(c1.radius)") // c1 radius: 10.0
print("c2 radius: \(c2.radius)") // c2 radius: 10.0

Таблица с основными типами:

Категория	Тип(ы)	Value/Reference Type	Описание
Целочисленные	Int, UInt, Int8, UInt8 и т.д.	Value	Целые числа разного размера, со знаком и без
Плавающая точка	Float, Double	Value	Числа с дробной частью
Булевы	Bool	Value	Логические значения (true или false)
Строки	String	Value	Последовательность символов
Коллекции	Array, Dictionary, Set	Value	Упорядоченные/неупорядоченные коллекции однотипных элементов
Структуры	struct	Value	Составные пользовательские типы, хранящие связанные значения
Перечисления	enum	Value	Определяют общий тип для группы связанных значений
Кортежи	(value1, value2, ...)	Value	Группируют несколько значений в один составной тип
Классы	class	Reference	Составные пользовательские типы, поддерживающие наследование и ссылочное поведение
Функции	() -> Void, (Int) -> String и т.д.	Reference	Блоки исполняемого кода
Замыкания	{ (parameters) -> return type in code }	Reference	Самодостаточные блоки кода, которые могут быть переданы и использованы
Опционалы	Type? (синтаксический сахар для Optional<Type>)	Value	Представляет либо значение типа Type, либо его отсутствие (nil)

Выбор между Value и Reference Type зависит от задачи: Value Types предпочтительнее для мелких данных и обеспечения потокобезопасности, Reference Types - для сложных объектов, требующих общего состояния и наследования.