Что можно объявить в extension?

Возможности Swift Extensions

В Swift расширения (extensions) — это мощный механизм, позволяющий добавлять новую функциональность к существующим типам, даже если у вас нет доступа к их исходному коду. С их помощью можно существенно улучшить читаемость, организацию и переиспользование кода. Ниже приведён подробный разбор того, что именно можно объявить внутри расширения.

Основные элементы, объявляемые в extension

1. Вычисляемые свойства (Computed Properties)

Можно добавлять вычисляемые свойства экземпляра и типа. Хранимые свойства и наблюдатели свойств (property observers) добавить нельзя — это одно из ключевых ограничений.

extension Double {
    var km: Double { return self * 1_000.0 }
    var cm: Double { return self / 100.0 }
    
    static var maxValue: Double {
        return Double.greatestFiniteMagnitude
    }
}

let distance = 5.km // 5000.0

2. Методы (Methods)

Можно добавлять как методы экземпляра, так и методы типа (статические).

extension String {
    // Метод экземпляра
    func reversedWords() -> String {
        return self.split(separator: " ").reversed().joined(separator: " ")
    }
    
    // Метод типа
    static func generateRandom(length: Int) -> String {
        let letters = "abcdefghijklmnopqrstuvwxyz"
        return String((0..<length).map { _ in letters.randomElement()! })
    }
}

"Hello World".reversedWords() // "World Hello"
String.generateRandom(length: 5) // "xjqpl"

3. Инициализаторы (Initializers)

Можно добавлять новые удобные инициализаторы (convenience initializers) для классов. Назначенные инициализаторы (designated initializers) или деинициализаторы (deinitializers) добавлять можно только в основном объявлении класса.

extension CGRect {
    init(center: CGPoint, size: CGSize) {
        let origin = CGPoint(x: center.x - size.width / 2, y: center.y - size.height / 2)
        self.init(origin: origin, size: size)
    }
}

let rect = CGRect(center: CGPoint(x: 50, y: 50), size: CGSize(width: 20, height: 10))

4. Сабскрипты (Subscripts)

Можно добавлять новые сабскрипты для индексации экземпляров типа.

extension String {
    subscript(index: Int) -> Character? {
        guard index >= 0 && index < count else { return nil }
        let strIndex = self.index(startIndex, offsetBy: index)
        return self[strIndex]
    }
}

let word = "Swift"
word[1] // "w"

5. Вложенные типы (Nested Types)

Можно определять новые вложенные классы, структуры, перечисления и связанные с ними типы.

extension Int {
    enum Kind {
        case negative, zero, positive
    }
    
    var kind: Kind {
        switch self {
        case 0: return .zero
        case let x where x > 0: return .positive
        default: return .negative
        }
    }
}

5.kind // .positive

6. Реализация протоколов (Protocol Conformance)

Расширения — это основной инструмент для обеспечения соответствия типа протоколу. Можно реализовать требования протокола (методы, свойства, сабскрипты) для существующего типа.

protocol Describable {
    var description: String { get }
}

extension Int: Describable {
    var description: String {
        return "Это число: \(self)"
    }
}

5.description // "Это число: 5"

Что НЕЛЬЗЯ объявить в extension

• Хранимые свойства экземпляра (Stored Properties). Память для экземпляра типа уже фиксирована. Однако можно добавить хранимые свойства типа (static stored properties), так как они существуют в глобальной памяти.
• Назначенные инициализаторы (Designated Initializers) и деинициализаторы (Deinitializers) для классов.
• Наблюдатели свойств (Property Observers) для существующих свойств (можно добавить для вычисляемых свойств, объявленных в самом расширении).
• Основное объявление типа — расширение лишь дополняет его.

Практические паттерны использования

• Организация кода (Code Organization): Используйте расширения для логической группировки функциональности, например, разделяя методы для работы с сетью, UI или сериализации внутри одного класса.
• Protocol-Oriented Programming: Расширения протоколов с реализацией методов по умолчанию (extension Protocol { ... }) — краеугольный камень этого подхода.
• Добавление совместимости (Retroactive Modeling): Наделение типов из стандартной библиотеки (например, String, Array) новой функциональностью, необходимой в вашем проекте.

Итог: Swift extensions — это гибкий и безопасный инструмент для расширения поведения типов без необходимости наследования или модификации исходного кода. Понимание их возможностей и ограничений критически важно для написания чистого, модульного и выразительного кода на Swift.