0Pricing
Swift Academy · レッスン

ジェネリック制約とwhere句

複数の制約、同一型要件、条件付き拡張を適用します。

「ジェネリック制約とwhere句」はCoddyKit上の無料Swift Academyレッスンです。 これはレッスン1/4です。 下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。 これは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 を使用して、2つの関連型が同じ型になるよう制約します。

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 }

クイックチェック

ジェネリック型が Comparable と Hashable の両方に準拠するよう要求するには、どうすればよいですか？

レッスンの振り返り

T: Protocol によるジェネリック制約、& による複数の制約、詳細な要件を指定する where 句、同一型要件、条件付き準拠によって、ジェネリックコードを正確に制御できます。

よくある質問

「ジェネリック制約とwhere句」レッスンは無料ですか？

はい。「ジェネリック制約とwhere句」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、Swift Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 Swift Academyコースには全4レッスンが含まれています。

「ジェネリック制約とwhere句」で何を学びますか？

複数の制約、同一型要件、条件付き拡張を適用します。 ブラウザで直接実行するハンズオンコードでSwift Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。

Swift Academyを始めるのに経験は必要ですか？

事前経験は必要ありません。CoddyKitのSwift Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。 これはレッスン1/4です。

「ジェネリック制約とwhere句」レッスンにはどのくらい時間がかかりますか？

ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。

このSwift Academyレッスンでコードを書いて実行できますか？

はい。すべてのSwift Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。

このコースのすべてのレッスン

  1. ジェネリック制約とwhere句
  2. someキーワードによる不透明型
  3. anyと型消去による存在型
  4. プライマリ関連型と型付きthrows
← Swift Academyに戻る