月: 2019年11月

sample1-1

let int1:Int=10
let int2:Int=20
let plus:Int=int1+int2
print(plus)

30

sample1-1は、Int型の変数int1,int2に値をセットして+演算子(算術加算演算子)で加算して結果を表示する、という何の変哲もないコードです。まさに何の変哲もないのですが、

つまり+演算子に関して我々が全く何の実装もせずに、当たり前に加算が行われている、ということですね。

このようにInt型ではプログラマは+演算子に関して何も実装せずとも、普通に加算が行われるわけですが、これが自分で作った型の場合はどうか。

---

sample1-2

struct Container {
    var width:Int=0
    var height:Int=0
}

let con1=Container(width:10,height:20)
let con2=Container(width:20,height:30)

print(con1+con2)

 

main.swift:17:11: error: binary operator '+' cannot be applied to two 'Container' operands
print(con1+con2)
      

…

エクステンション(Extensions)は、既存のクラス・構造体・列挙型・プロトコルに対して機能を追加できます。

Swiftのエクステンションで以下のようなことができます。

• コンピューテドプロパティ(インスタンスプロパティとタイププロパティ)を追加
• インスタンスメソッドとタイプメソッドを定義
• イニシャライザを追加
• サブスクリプとを定義
• 既存の型の定義内に新しい型の定義・新しい型の使用
• 既存の型をあるプロトコルに準拠させる

既存の型にストアドプロパティを追加することはできません。

既存の型にプロパティオブザーバを追加することはできません。

NOTE

エクステンションは新しい機能を型に追加しますが、既存の機能をオーバーライドすることはできません。

1.すでにある型にプロパティ・メソッドなどを追加する。

1-1.メソッドを追加する

extension 要素を追加したい型名{
    追加したい要素
}

sample1-2

extension String{
    func exStr(){
        print("この文字列は\(self.count)文字です")
    }
}

let str1="ghjjkkdddd"
str1.exStr()

この文字列は10文字です

sample1-2では、既にSwiftの標準ライブラリの用意されているString型にexStr()メソッドを追加しています。

1-2.コンピューテドプロパティを追加する。

 

2.プロトコルエクステンション

既存のプロトコルに対して、プロパティやメソッドの実装を追加する。(sample2-1)

sample2-1

protocol Books{
    var color:String{get}
    

…

汎用的な関数・メソッドを作りたい

汎用的とは？汎用的とは国語的には「広くいろいろな方面に用いること」のような意味ですが、この場合の汎用的は、「複数の種類の型の引数を受け取れる関数・メソッド」くらいの意味でしょうか。

sample1-1

func plus(_ x:Int,_ y:Int)->Int{
    return x+y
}

print(plus(1,1))
print(plus(1,12))

2
13

sample1-1はInt型の二つの引数x,yを受け取り、その和を返す関数plus()を定義しています。上記のようにx,yにInt型の引数が渡された場合その和を得ることができます。

---

sample1-2

func plus(_ x:Int,_ y:Int)->Int{
    return x+y
}

print(plus(1,1.2))

main.swift:7:14: error: cannot convert value of type 'Double' to expected argument type 'Int'
print(plus(1,1.2))
             ^~~
             Int( 

…

プロトコルにプロパティを定義する

protocol プロトコル名{
    var プロパティ名 : 型名{get} //ゲッターのみ必要
}

protocol プロトコル名{
    var プロパティ名 : 型名{get set}  //ゲッターとセッターが必要
}

プロトコルにプロパティを定義する場合上記のようにプロパティ名・型名・ゲッターとセッターの有無を定義します。

プロパティは常にvarキーワードで宣言します。

---

(プロパティの実装を要求する)プロトコルに準拠する

プロトコルは、準拠する型(sample1では構造体)に対して実装を要求します。

準拠する型が、プロトコルが要求するプロパティを実装する方法、つまりプロトコルに準拠する方法が以下です。

sample1

protocol ProtocolA{
    var prop:Int{get}
}

struct StructA:ProtocolA{
    var prop:Int  //←変数のストアドプロパティ
}

struct StructB:ProtocolA{
    let prop:Int  //←定数のストアドプロパティ

…