0Pricing
Swift Academy · Урок

Ограничения обобщений и предложения where

Применяйте несколько ограничений, требования одинакового типа и условные расширения.

«Ограничения обобщений и предложения where» — бесплатный урок Swift Academy на CoddyKit. Это урок 1 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения Swift Academy, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс Swift Academy содержит 4 уроков всего.

Повторение основ обобщений

Обобщения позволяют писать гибкий повторно используемый код, работающий с любым типом.

func identity<T>(_ value: T) -> T { return value }
print(identity(42))
print(identity("hello"))

Ограничение одного типа

Ограничьте параметр обобщения требованием соответствия протоколу с помощью T: Protocol.

func largest<T: Comparable>(_ a: T, _ b: T) -> T {
  return a > b ? a : b
}
print(largest(3, 7))

Несколько ограничений с помощью &

Потребуйте, чтобы тип соответствовал нескольким протоколам, объединив их с помощью &.

func process<T: Equatable & Hashable>(_ items: [T]) -> Set<T> {
  return Set(items)
}
print(process([1,2,2,3]))

Предложения where в функциях

Предложение where после списка параметров позволяет добавить более точные ограничения.

func allEqual<T: Equatable>(_ array: [T]) -> Bool where T: CustomStringConvertible {
  guard let first = array.first else { return true }
  return array.allSatisfy { $0 == first }
}

where в расширениях

Расширяйте тип только тогда, когда его параметр обобщения соответствует требованию.

extension Array where Element: Numeric {
  var sum: Element { reduce(0, +) }
}
print([1,2,3].sum)

Требования к совпадению типов

Ограничьте два связанных типа, потребовав, чтобы они были одним и тем же типом, с помощью T == U.

func zip2<A: Sequence, B: Sequence>(_ a: A, _ b: B) -> [(A.Element, B.Element)]
  where A.Element == B.Element {
  return Swift.zip(a, b).map { ($0.0, $0.1) }
}

Условное соответствие протоколу

Сделайте обобщённый тип условно соответствующим протоколу, когда его параметры удовлетворяют ограничениям.

extension Array: Equatable where Element: Equatable {
  // stdlib already does this, shown for illustration
}
print([1,2] == [1,2])

Обобщённые классы с ограничениями

Обобщения классов также могут содержать ограничения, обеспечивая безопасность типов при создании экземпляра.

class Box<T: Codable> {
  var value: T
  init(_ v: T) { self.value = v }
}
let box = Box(42)

Протокол с ограничениями для связанных типов

Используйте where в определениях протоколов, чтобы ограничивать связанные типы.

protocol Container {
  associatedtype Item: Equatable
  var items: [Item] { get }
  func contains(_ item: Item) -> Bool
}

Несколько предложений where

Объединяйте несколько условий where, разделяя их запятыми, для задания сложных требований.

func merge<C: Collection>(_ a: C, _ b: C) -> [C.Element]
  where C.Element: Comparable, C.Element: Hashable {
  return Array(Set(a + b)).sorted()
}

Специализация обобщённых типов

Swift специализирует обобщённые функции во время компиляции для конкретных типов, что позволяет оптимизировать производительность.

// @_specialize instructs the compiler to emit a specialized version
@_specialize(where T == Int)
func add<T: Numeric>(_ a: T, _ b: T) -> T { a + b }

Быстрая проверка

Как потребовать от обобщённого типа соответствия одновременно протоколам сравнимости и хеширования?

Повторение урока

Ограничения обобщений с помощью T: Protocol, несколько ограничений через &, предложения where для точных требований, требования к совпадению типов и условное соответствие протоколу дают точный контроль над обобщённым кодом.

Часто задаваемые вопросы

Урок «Ограничения обобщений и предложения where» бесплатный?

Да — полный текст урока «Ограничения обобщений и предложения where» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс Swift Academy, подпишись на CoddyKit PRO. Курс Swift Academy содержит 4 уроков всего.

Чему я научусь в уроке «Ограничения обобщений и предложения where»?

Применяйте несколько ограничений, требования одинакового типа и условные расширения. Ты практикуешь Swift Academy с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.

Нужен ли мне опыт, чтобы начать Swift Academy?

Предыдущий опыт не требуется. Swift Academy на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 1 из 4.

Сколько времени занимает урок «Ограничения обобщений и предложения where»?

Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.

Можно ли писать и запускать код в этом уроке Swift Academy?

Да. Каждый урок Swift Academy включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.

Все уроки этого курса

  1. Ограничения обобщений и предложения where
  2. Непрозрачные типы с ключевым словом some
  3. Экзистенциальные типы с any и стирание типа
  4. Основные связанные типы и типизированные ошибки
← Назад к Swift Academy