Swiftツアー(A Swift Tour)
最終更新日: 2021/7/7 原文: https://docs.swift.org/swift-book/GuidedTour/GuidedTour.html
伝統的に、新しい言語の最初のプログラミングは "Hello world!" を画面に表示することを勧めます。これを Swift ではたった 1 行で達成できます。
1
print("Hello, world!")
2
// Hello, world!
Copied!
もし C 言語や Objective-C の経験があるならばこの構文に馴染みがあるかもしれませんが、Swift ではこの 1 行のコードでプログラミングは完成しています。input/output や文字列を扱うために他のライブラリを import する必要もありません。グローバル領域に書かれたコードはプログラムのエントリポイントとして使用されます。main() 関数は必要ありません。全てのステートメントの末尾にセミコロンをつける必要もありません。
このツアーでは、様々なプログラム上のタスクを遂行する方法を示すことで、Swift でコードを書き始めるために必要十分な情報を提供します。もし理解できなくても心配しないでください。このツアーで紹介することは全て、この本で後々詳細に説明しています。
NOTE より理解を深めるために、Xcode でこのチャプターを開いて遊んでみましょう。Playgrounds を使用すると、コードを編集して結果をすぐに確認することができます。

シンプルな値(Simple Values)

定数を作成するのに let、変数を作成するのに var を使います。定数の値はコンパイル時に知る必要はありませんが、正確に一度だけ値を設定しなければなりません。つまり、値の指定をたった一度だけ行い、他のあらゆる場所からその定数を利用できます。
1
var myVariable = 42
2
myVariable = 50
3
let myConstant = 42
Copied!
定数や変数は設定したい値と同じ型でなければなりません。しかし、明示的に型を記載する必要はありません。定数や変数を作成する時に値を与えることで、コンパイラが型を推論します。例えば、コンパイラは myVariable の値が整数ということから、型を整数と推論します。
もし、最初に設定する値が十分な情報を提供しなかった場合(もしくは最初に設定する値ではなかった場合)、変数の後にコロン(:)を付けて型を書くことで特定することができます。
1
let implicitInteger = 70
2
let implicitDouble = 70.0
3
let explicitDouble: Double = 70
Copied!
Experiment 値が 4Float を明示的に指定した定数を作成してみましょう。
値は暗黙的に他の型に変換されることはありません。他の型に変換したい場合は、変換したい型のインスタンスを明示的に作成してください。
1
let label = "The width is "
2
let width = 94
3
let widthLabel = label + String(width)
Copied!
Experiment 最後の行から String への変換を消してみてください。どんなエラーが起きるでしょうか?
もっと簡単な方法で文字列の中に値を含めることができます。値を括弧で囲み、括弧の前にバックスラッシュをつけます。
1
let apples = 3
2
let oranges = 5
3
let appleSummary = "I have \(apples) apples."
4
let fruitSummary = "I have \(apples + oranges) pieces of fruit."
Copied!
Experiment 文字列に浮動小数点の計算を含めたり、誰かの名前を greeting に含めるために、\() を使用してみましょう。
複数行の文字列に対しては、3 つのダブルクォーテーション(""")を使いましょう。末尾のクォーテーションに到達するまで、各行の最初のインデントは除外されます。
1
let quotation = """
2
I said "I have \(apples) apples."
3
And then I said "I have \(apples + oranges) pieces of fruit."
4
"""
Copied!
配列や辞書には角括弧([])を使い、それらの要素には角括弧内にインデックスやキーを書きます。最後の要素の後ろにもカンマ(,)を付けることができます。
1
var shoppingList = ["catfish", "water", "tulips"]
2
shoppingList[1] = "bottle of water"
3
4
var occupations = [
5
"Malcolm": "Captain",
6
"Kaylee": "Mechanic",
7
]
8
occupations["Jayne"] = "Public Relations"
Copied!
配列は要素を追加すると自動でサイズを増やします。
1
shoppingList.append("blue paint")
2
print(shoppingList)
Copied!
空の配列や辞書を作成するためには、初期化の構文を使います。
1
let emptyArray = [String]()
2
let emptyDictionary = [String: Float]()
Copied!
型が推論できる場合は、空の配列は []、辞書は [:] で書くことができます。(例えば、変数に新しい値を設定する場合や関数に引数を渡す場合など)
1
shoppingList = []
2
occupations = [:]
Copied!

制御フロー(Control Flow)

条件を作成するには、 ifswitch を使います。ループを作成するには for-in while repeat-while を使います。条件やオプショナルに丸括弧(())を付けるかどうかは任意です。本文の周りの中括弧({})は必須です。
1
let individualScores = [75, 43, 103, 87, 12]
2
var teamScore = 0
3
for score in individualScores {
4
if score > 50 {
5
teamScore += 3
6
} else {
7
teamScore += 1
8
}
9
}
10
print(teamScore)
11
// 11
Copied!
if 文の中で、条件はブール式でなければなりません。つまり、if score { ... } などのコードはエラーで、暗黙的に 0 にはなりません。
iflet を一緒に使用して、存在しないかもしれない値を扱うことができます。これらの値はオプショナルで表現されます。オプショナルは値が含まれているか、値が存在しないことを示す nil を含んでいます。値をオプショナルにするには、値の型の後ろにクエスチョンマーク(?)を書きましょう。
1
var optionalString: String? = "Hello"
2
print(optionalString == nil)
3
// false
4
5
var optionalName: String? = "John Appleseed"
6
var greeting = "Hello!"
7
if let name = optionalName {
8
greeting = "Hello, \(name)"
9
}
Copied!
Experiment optionalNamenil に変えてみましょう。どんな greeting が出力されるでしょうか? optionalNamenil の場合に別の greeting が出力されるように else を追加してみましょう。
もしオプショナルの値が nil の場合、条件は false になり、中括弧内のコードはスキップされます。nil でなければ、オプショナルの値はアンラップされて let の後の定数に代入され、中括弧内のブロック内でその値を利用できます。
オプショナルの値を扱うもう 1 つの方法として、?? 演算子を使用してデフォルトの値を提供します。もしオプショナルの値が nil の場合、代わりにデフォルトの値が使われます。
1
let nickname: String? = nil
2
let fullName: String = "John Appleseed"
3
let informalGreeting = "Hi \(nickname ?? fullName)"
Copied!
switch は、あらゆる種類のデータと比較のための演算子を扱うことができます。(整数や等価チェックだけに限定されません)
1
let vegetable = "red pepper"
2
switch vegetable {
3
case "celery":
4
print("Add some raisins and make ants on a log.")
5
case "cucumber", "watercress":
6
print("That would make a good tea sandwich.")
7
case let x where x.hasSuffix("pepper"):
8
print("Is it a spicy \(x)?")
9
default:
10
print("Everything tastes good in soup.")
11
}
12
// Is it a spicy red pepper?
Copied!
Experiment defaultcase を削除してみましょう。どんなエラーが起きるでしょうか?
パターンに合った値を定数に設定するために let がどう使われるかに注目してください。
パターンに合った switch case 内のコードが実行された後、プログラムは switch 文から抜け出します。次の case は実行されないので、各 case の最後に明示的に break を書く必要はありません。
for-in を使用することで辞書のそれぞれの要素のキーバリューペアを受け取って、辞書内のアイテムに反復処理をすることができます。辞書は順序のないコレクションなので、受け取るキーバリューペアの順序は決まっていません。
1
let interestingNumbers = [
2
"Prime": [2, 3, 5, 7, 11, 13],
3
"Fibonacci": [1, 1, 2, 3, 5, 8],
4
"Square": [1, 4, 9, 16, 25],
5
]
6
var largest = 0
7
for (_, numbers) in interestingNumbers {
8
for number in numbers {
9
if number > largest {
10
largest = number
11
}
12
}
13
}
14
print(largest)
15
// 25
Copied!
Experiment _ を変数の名前に置き換えてみて、どの種類の値が最大だったかを追ってみましょう。
while を使用することで条件が変わるまで、ブロック内のコードを反復して実行できます。ループの条件を最後に置くことで、ループ内のブロックが少なくとも 1 回実行されるようにすることができます。
1
var n = 2
2
while n < 100 {
3
n *= 2
4
}
5
print(n)
6
// 128
7
8
var m = 2
9
repeat {
10
m *= 2
11
} while m < 100
12
print(m)
13
// 128
Copied!
..< を使用すると、インデックスの範囲を生成でき、ループのインデックスを追うことができます。
1
var total = 0
2
for i in 0..<4 {
3
total += i
4
}
5
print(total)
6
// 6
Copied!
..< では後ろの値は除外され、... は両方の値を含みます。

関数とクロージャ(Functions and Closures)

関数の定義には func を使います。括弧(())の中に引数のリスト、その前に関数の名前を付けることで関数を呼び出します。また、-> の後ろに戻り値の型を指定して、パラメータ名や型と区別します。
1
func greet(person: String, day: String) -> String {
2
return "Hello \(person), today is \(day)."
3
}
4
greet(person: "Bob", day: "Tuesday")
Copied!
Experiment day パラメータを削除して、greet に今日の lunch special を指定するためのパラメータを追加してみましょう。
デフォルトで、関数はパラメータ名をそのままラベルとして使用します。独自の引数ラベルを設定したい場合は、パラメータ名の前に引数ラベルを記載してください。引数にラベルが不要な場合は、_ を書きましょう。
1
func calculateStatistics(scores: [Int]) -> (min: Int, max: Int, sum: Int) {
2
var min = scores[0]
3
var max = scores[0]
4
var sum = 0
5
6
for score in scores {
7
if score > max {
8
max = score
9
} else if score < min {
10
min = score
11
}
12
sum += score
13
}
14
15
return (min, max, sum)
16
}
17
let statistics = calculateStatistics(scores: [5, 3, 100, 3, 9])
18
print(statistics.sum)
19
// 120
20
print(statistics.2)
21
// 120
Copied!
関数はネストして使用することができます。ネストした関数は、外側で定義された変数にアクセスすることができます。ネストした関数を使用することで、長くて複雑な関数を整理することができます。
1
func returnFifteen() -> Int {
2
var y = 10
3
func add() {
4
y += 5
5
}
6
add()
7
return y
8
}
9
returnFifteen()
Copied!
関数は第一級オブジェクトです。つまり、関数は値として他の関数を戻り値にすることができます。
1
func makeIncrementer() -> ((Int) -> Int) {
2
func addOne(number: Int) -> Int {
3
return 1 + number
4
}
5
return addOne
6
}
7
var increment = makeIncrementer()
8
increment(7)
Copied!
引数に他の関数を受け取ることもできます。
1
func hasAnyMatches(list: [Int], condition: (Int) -> Bool) -> Bool {
2
for item in list {
3
if condition(item) {
4
return true
5
}
6
}
7
return false
8
}
9
func lessThanTen(number: Int) -> Bool {
10
return number < 10
11
}
12
var numbers = [20, 19, 7, 12]
13
hasAnyMatches(list: numbers, condition: lessThanTen)
Copied!
関数は実はクロージャの特殊なケースです。クロージャは、後で呼ばれる可能性があるコードブロックのことを指します。クロージャ内のコードは、そのクロージャが作成されたスコープで利用可能な変数や関数へアクセスすることができます。これは、実際に実行されるのが別のスコープ(タイミング)の場合でも当てはまります。上記のネストした関数の例でも同じことが見られます。中括弧({})で囲むことで、名前なしのクロージャを作成することもできます。in を使用することで、コードの本文から引数と戻り値を分離することができます。
1
numbers.map({ (number: Int) -> Int in
2
let result = 3 * number
3
return result
4
})
Copied!
Experiment 上記のクロージャを、全ての奇数で 0 を返すように書き換えてみましょう。
より簡潔にクロージャを書く複数の方法があります。クロージャの型が既にわかっている場合(デリゲートのコールバックなど)、パラメータと戻り値の型を省略できます。単一の文のみのクロージャの場合、暗黙的に、その文の値が戻り値になります。
1
let mappedNumbers = numbers.map({ number in 3 * number })
2
print(mappedNumbers)
3
// [60, 57, 21, 36]
Copied!
名前ではなく番号でパラメータを参照できます。このアプローチは、非常に短いクロージャで特に役立ちます。関数の最後の引数として渡されたクロージャは、括弧の直後に表示できます。 クロージャが関数の唯一の引数の場合は、括弧を完全に省略できます。
1
let sortedNumbers = numbers.sorted { $0 > $1 }
2
print(sortedNumbers)
3
// [20, 19, 12, 7]
Copied!

オブジェクトとクラス(Objects and Classes)

class をクラス名の前に付けることでクラスを作成することができます。クラス内のプロパティの宣言は、クラス内にあるということを除いて、定数や変数の宣言方法と同じです。同様に、メソッドや関数の宣言も同じように書くことができます。
1
class Shape {
2
var numberOfSides = 0
3
func simpleDescription() -> String {
4
return "A shape with \(numberOfSides) sides."
5
}
6
}
Copied!
Experiment let を使用して定数プロパティを追加してください。また、引数を受け取る別のメソッドも追加してみましょう。
クラスのインスタンスは、クラス名の後に丸括弧(())を付けて生成します。そのインスタンスのプロパティやメソッドにアクセスするには、ドット(.)構文を使います。
1
var shape = Shape()
2
shape.numberOfSides = 7
3
var shapeDescription = shape.simpleDescription()
Copied!
このバージョンの Shape クラスは重要なことが抜けています。それは、インスタンスを生成するときにクラスを構築するためのイニシャライザです。生成するために init を使います。
1
class NamedShape {
2
var numberOfSides: Int = 0
3
var name: String
4
5
init(name: String) {
6
self.name = name
7
}
8
9
func simpleDescription() -> String {
10
return "A shape with \(numberOfSides) sides."
11
}
12
}
Copied!
イニシャライザ内で self を使用して name プロパティと name 引数を区別していることに注目してください。インスタンスの作成時、イニシャライザの引数は関数の呼び出しと同じように渡されます。全てのプロパティは宣言時に値を設定するか(numberOfSides 参照)、イニシャライザ内で値を設定する必要があります。(name 参照)
インスタンスが開放される前に何かクリーンアップ作業が必要な場合、デイニシャライザを作成するために deinit を使います。
サブクラスは、そのクラス名の後に、スーパークラスの名前をコロン(:)で区切って指定します。標準で定義されているルートクラスのサブクラスにする必要は必ずしもありません。追加も省略もできます。
スーパークラスのメソッドをサブクラスでオーバーライドする場合は override を付けます。意図せずにオーバーライドしてしまった場合は、コンパイラがエラーにします。override を付けていても、override が正しく行われていない場合も、コンパイラはエラーにします。
1
class Square: NamedShape {
2
var sideLength: Double
3
4
init(sideLength: Double, name: String) {
5
self.sideLength = sideLength
6
super.init(name: name)
7
numberOfSides = 4
8
}
9
10
func area() -> Double {
11
return sideLength * sideLength
12
}
13
14
override func simpleDescription() -> String {
15
return "A square with sides of length \(sideLength)."
16
}
17
}
18
let test = Square(sideLength: 5.2, name: "my test square")
19
test.area()
20
test.simpleDescription()
Copied!
Experiment radius と name をイニシャライザの引数に受けとる Circle という名前の NameShape の別のサブクラスを作ってみましょう。そして、 Circle クラスに area()simpleDescription() メソッドを実装してみましょう。
単純に値を保持するプロパティ以外に、プロパティが get と set を持つこともできます。
1
class EquilateralTriangle: NamedShape {
2
var sideLength: Double = 0.0
3
4
init(sideLength: Double, name: String) {
5
self.sideLength = sideLength
6
super.init(name: name)
7
numberOfSides = 3
8
}
9
10
var perimeter: Double {
11
get {
12
return 3.0 * sideLength
13
}
14
set {
15
sideLength = newValue / 3.0
16
}
17
}
18
19
override func simpleDescription() -> String {
20
return "An equilateral triangle with sides of length \(sideLength)."
21
}
22
}
23
var triangle = EquilateralTriangle(sideLength: 3.1, name: "a triangle")
24
print(triangle.perimeter)
25
// 9.3
26
triangle.perimeter = 9.9
27
print(triangle.sideLength)
28
// 3.3000000000000003
Copied!
perimeter の sett の中で、新しい値は暗黙的に newValue という名前になります。set の後に丸括弧(())で囲んで明示的に指定することもできます。
EquilateralTriangle クラスのイニシャライザは 3 つの異なるステップがあります。
  1. 1.
    サブクラスで宣言されたプロパティに値を設定します
  2. 2.
    スーパークラスのイニシャライザを呼びます
  3. 3.
    スーパークラスで定義されたプロパティの値を変更。この時点で get や set やメソッドを使用して他のセットアップ処理を実行できます
プロパティを計算する必要はないけれども、新しい値を設定する前後で何かコードを実行したい場合、willSetdidSet を使います。このコードは、イニシャライザ以外で値が変更された時に毎回実行されます。例えば、下のクラスは三角形の辺の長さが常に四角形の辺の長さと同じになります。
1
class TriangleAndSquare {
2
var triangle: EquilateralTriangle {
3
willSet {
4
square.sideLength = newValue.sideLength
5
}
6
}
7
var square: Square {
8
willSet {
9
triangle.sideLength = newValue.sideLength
10
}
11
}
12
init(size: Double, name: String) {
13
square = Square(sideLength: size, name: name)
14
triangle = EquilateralTriangle(sideLength: size, name: name)
15
}
16
}
17
var triangleAndSquare = TriangleAndSquare(size: 10, name: "another test shape")
18
print(triangleAndSquare.square.sideLength)
19
// 10.0
20
print(triangleAndSquare.triangle.sideLength)
21
// 10.0
22
triangleAndSquare.square = Square(sideLength: 50, name: "larger square")
23
print(triangleAndSquare.triangle.sideLength)
24
// 50.0
Copied!
オプショナルな値を扱う場合、? をメソッド、プロパティ、subscript のような操作の前に書きます。もし ? の前の値が nil の場合、? の後の処理は全て無視され、その式全体の値は nil になります。それ以外、オプショナルの値はアンラップされて、? の後は全てアンラップされた値として実行されます。どちらの場合も、式全体はオプショナルな値です。
1
let optionalSquare: Square? = Square(sideLength: 2.5, name: "optional square")
2
let sideLength = optionalSquare?.sideLength
Copied!

列挙型と構造体(Enumerations and Structures)

列挙型を作成するには enum を使います。クラスやその他の名前の付いた型と同様に、列挙型もメソッドを持つことができます。
1
enum Rank: Int {
2
case ace = 1
3
case two, three, four, five, six, seven, eight, nine, ten
4
case jack, queen, king
5
6
func simpleDescription() -> String {
7
switch self {
8
case .ace:
9
return "ace"
10
case .jack:
11
return "jack"
12
case .queen:
13
return "queen"
14
case .king:
15
return "king"
16
default:
17
return String(self.rawValue)
18
}
19
}
20
}
21
let ace = Rank.ace
22
let aceRawValue = ace.rawValue
Copied!
Experiment 2つの Rank の Raw Value を比較して Rank を比較するメソッドを追加してみましょう。
デフォルトで、Swift は 0 から 1 つずつ増加する値を Raw Value に代入しますが、明示的に値を指定してこの挙動を変更することもできます。上記の例では、Ace は明示的に 1 を Raw Value に指定しており、残りは、1 から順番に Raw Value が指定されます。文字列や浮動小数点も使用することができます。列挙型の個々のケースの Raw Value には、rawValue プロパティからアクセスすることができます。
Raw Value から列挙型のインスタンスを生成するためには init?(rawValue:) イニシャライザを使います。Raw Value に合致したケースを返すか、合致するものがない場合は nil を返します。
1
if let convertedRank = Rank(rawValue: 3) {
2
let threeDescription = convertedRank.simpleDescription()
3
}
Copied!
列挙型のケースの値は実在の値で、Raw Value を書くための別の方法ではありません。事実、意味のある Raw Value が存在しない場合は、Raw Value を提供する必要はありません。
1
enum Suit {
2
case spades, hearts, diamonds, clubs
3
4
func simpleDescription() -> String {
5
switch self {
6
case .spades:
7
return "spades"
8
case .hearts:
9
return "hearts"
10
case .diamonds:
11
return "diamonds"
12
case .clubs:
13
return "clubs"
14
}
15
}
16
}
17
let hearts = Suit.hearts
18
let heartsDescription = hearts.simpleDescription()
Copied!
Experiment color() メソッドを Suit に追加してみましょう。spadesclubs は "black" を返し、heartsdiaminds は "red" を返します。
hearts ケースを参照するために 2 つの方法があることに注目してください。hearts 定数に値を設定する時、列挙ケースの Suits.hearts は型を明示的に特定していないため、完全な名前で参照されています。一方、switch 文の中では、self が既に Suit だとわかっているため、列挙ケースは .hearts と省略方法で参照されています。型が既にわかっている場合はいつでも省略方法を使用することができます。
もし列挙型が Raw Value を持つ場合、これらの値は宣言の一部として決定されます。これはつまり、特定の列挙ケースの全てのインスタンスは、必ず同じ Raw Value を持つということです。列挙ケースが関連値を持つもう 1 つの方法があります。これらはインスタンス生成時に値が決定され、列挙ケースのインスタンスごとに異なる値を持つ可能性があります。例えば、サーバから日の出時刻と日の入り時刻をリクエストする場合を考えてみてください。サーバはリクエスト情報に応じたレスポンスを返すか、リクエストが間違っている場合は間違っている内容を返します。
1
enum ServerResponse {
2
case result(String, String)
3
case failure(String)
4
}
5
6
let success = ServerResponse.result("6:00 am", "8:09 pm")
7
let failure = ServerResponse.failure("Out of cheese.")
8
9
switch success {
10
case let .result(sunrise, sunset):
11
print("Sunrise is at \(sunrise) and sunset is at \(sunset).")
12
case let .failure(message):
13
print("Failure... \(message)")
14
}
15
// Sunrise is at 6:00 am and sunset is at 8:09 pm.
Copied!
Experiment ServerResponse に3つ目のケースを追加して、switch 文を変更してください。
日の出時刻と日の入り時刻が、switch に合致したケースの一部として、ServerResponse から抽出されていることに注目してください。
構造体を作成するには struct を使います。構造体はメソッドやイニシャライザなど多くのクラスと同じ挙動をサポートしています。最も重要な違いは、構造体はコードの中で渡される時に必ずコピーされる、ということです。クラスは参照を渡します。
1
struct Card {
2
var rank: Rank
3
var suit: Suit
4
func simpleDescription() -> String {
5
return "The \(rank.simpleDescription()) of \(suit.simpleDescription())"
6
}
7
}
8
let threeOfSpades = Card(rank: .three, suit: .spades)
9
let threeOfSpadesDescription = threeOfSpades.simpleDescription()
Copied!
Experiment rank と suit を持った全種類の card を含む array を返すメソッドを書いてみよう。

プロトコルと拡張(Protocols and Extensions)

プロトコルを宣言するために protocol を使います。
1
protocol ExampleProtocol {
2
var simpleDescription: String { get }
3
mutating func adjust()
4
}
Copied!
クラス、列挙型、構造体は全てプロトコルに準拠することができます。
1
class SimpleClass: ExampleProtocol {
2
var simpleDescription: String = "A very simple class."
3
var anotherProperty: Int = 69105
4
func adjust() {
5
simpleDescription += " Now 100% adjusted."
6
}
7
}
8
var a = SimpleClass()
9
a.adjust()
10
let aDescription = a.simpleDescription
11
12
struct SimpleStructure: ExampleProtocol {
13
var simpleDescription: String = "A simple structure"
14
mutating func adjust() {
15
simpleDescription += " (adjusted)"
16
}
17
}
18
var b = SimpleStructure()
19
b.adjust()
20
let bDescription = b.simpleDescription
Copied!
Experiment ExampleProtocolrank にもう1つの要件を追加してみましょう。SimpleClassSimpleStructure にどういう変更が必要になるでしょうか?
構造体 SimpleStructure を変更するメソッドに mutating キーワードが付いていることに注目してください。クラスのメソッドはクラスを変更することが許されているため、mutating を付ける必要はありません。
既存の型に新しい機能(メソッドや計算プロパティ)を追加する場合に、extension を使います。他のファイルやモジュールで宣言された型やライブラリやフレームワークから import した型にプロトコルを準拠させる場合にも extension を使います。
1
extension Int: ExampleProtocol {
2
var simpleDescription: String {
3
return "The number \(self)"
4
}
5
mutating func adjust() {
6
self += 42
7
}
8
}
9
print(7.simpleDescription)
10
// The number 7
Copied!
Experiment absoluteValue プロパティを Double に追加する extension を書いてみましょう。
プロトコルの名前は、他の名前が付いた型と同じように使用することができます。例えば、同じ 1 つのプロトコルに準拠した異なる型のオブジェクトのコレクションを作成することができます。プロトコル型の値をそのまま扱っている場合、プロトコルの外側で定義されたメソッドを使用することはできません。
1
let protocolValue: ExampleProtocol = a
2
print(protocolValue.simpleDescription)
3
// A very simple class. Now 100% adjusted. が出力されます。
4
// print(protocolValue.anotherProperty) // エラーを確認したい場合はコメントアウトを外しましょう
Copied!
変数 protocolValue が実行時に SimpleClass になることはわかるものの、コンパイラはこれを、ExampleProtocol として扱います。つまり、プロトコルで定義されたメソッドやプロパティ以外へアクセスすることはできません。

エラーハンドリング(Error Handling)

Error プロトコルに準拠することでどんな型もエラーを表現することができます。
1
enum PrinterError: Error {
2
case outOfPaper
3
case noToner
4
case onFire
5
}
Copied!
関数に throws を付け、エラーをスローする箇所に throw を使用することでエラーをスローすることができます。関数内でエラーをスローすると、関数がすぐにリターンして、その関数を呼んだ関数でエラーを処理します。
1
func send(job: Int, toPrinter printerName: String) throws -> String {
2
if printerName == "Never Has Toner" {
3
throw PrinterError.noToner
4
}
5
return "Job sent"
6
}
Copied!
エラーを処理する方法は様々あります。1 つは do-catch を使用することです。do ブロックの中では、エラーをスローする可能性がある箇所の前に try を付けます。catch ブロックの中では、明示的に異なる名前を設定しない限り、error という名前で自動的にエラー情報が与えられます。
1
do {
2
let printerResponse = try send(job: 1040, toPrinter: "Bi Sheng")
3
print(printerResponse)
4
} catch {
5
print(error)
6
}
7
// Job sent
Copied!
Experiment printer の名前を"Never Has Toner"に変えてみましょう。send(job:toPrinter:) はエラーを throw します。
特定のエラーを処理するために、複数の catch ブロックを書くこともできます。switch 文の case のように catch の後ろにパターンを書きます。
1
do {
2
let printerResponse = try send(job: 1440, toPrinter: "Gutenberg")
3
print(printerResponse)
4
} catch PrinterError.onFire {
5
print("I'll just put this over here, with the rest of the fire.")
6
} catch let printerError as PrinterError {
7
print("Printer error: \(printerError).")
8
} catch {
9
print(error)
10
}
11
// Job sent
Copied!
Experiment do ブロックの中でエラーを throw するコードを追加してみましょう。最初の catch ブロックでエラーを処理するためにはどの種類のエラーを throw する必要がありますでしょうか? 2つ目、3つ目の場合はどうでしょうか?
エラーを処理するもう 1 つの方法は、try? を付けて結果をオプショナルに変換することです。もしその関数がエラーをスローする場合、特定のエラーは破棄されて、結果が nil になります。そうでなければ、結果は、関数が返す値を内包したオプショナルになります。
1
let printerSuccess = try? send(job: 1884, toPrinter: "Mergenthaler")
2
let printerFailure = try? send(job: 1885, toPrinter: "Never Has Toner")
Copied!
関数内の全ての処理が実行されて、関数が結果を返す直前にコードを実行したい場合、defer を使います。このブロックは関数がエラーをスローしても実行されます。違うタイミングで実行される必要はありますが、defer を使用してセットアップ用のコードの次にクリーンアップ用のコードを書くことができます。
1
var fridgeIsOpen = false
2
let fridgeContent = ["milk", "eggs", "leftovers"]
3
4
func fridgeContains(_ food: String) -> Bool {
5
fridgeIsOpen = true
6
defer {
7
fridgeIsOpen = false
8
}
9
10
let result = fridgeContent.contains(food)
11
return result
12
}
13
fridgeContains("banana")
14
print(fridgeIsOpen)
15
// false
Copied!

ジェネリクス(Generics)

ジェネリックな関数や型を作成するには、山括弧(<>)の中に名前を書きます。
1
func makeArray<Item>(repeating item: Item, numberOfTimes: Int) -> [Item] {
2
var result = [Item]()
3
for _ in 0..<numberOfTimes {
4
result.append(item)
5
}
6
return result
7
}
8
makeArray(repeating: "knock", numberOfTimes: 4)
Copied!
クラス、列挙型、構造体と同じように、ジェネリックな関数やメソッドも作成することができます。
1
// Swift 標準ライブラリのオプショナル型の再実装
2
enum OptionalValue<Wrapped> {
3
case none
4
case some(Wrapped)
5
}
6
var possibleInteger: OptionalValue<Int> = .none
7
possibleInteger = .some(100)
Copied!
要件の一覧を指定するために、本文の直前に where を使います。例えば、プロトコルを実装するために型が必要な場合や、2 つの型が一致している必要がある場合、クラスが特定のスーパークラスを継承している必要がある場合など。
1
func anyCommonElements<T: Sequence, U: Sequence>(_ lhs: T, _ rhs: U) -> Bool
2
where T.Element: Equatable, T.Element == U.Element
3
{
4
for lhsItem in lhs {
5
for rhsItem in rhs {
6
if lhsItem == rhsItem {
7
return true
8
}
9
}
10
}
11
return false
12
}
13
anyCommonElements([1, 2, 3], [3])
Copied!
Experiment anyCommonElements(_:_:) を2つのシーケンスの共通の要素が含まれる配列を返すように修正してみましょう。
<T: Equatable><T> ... where T: Equatable と同じです。