More than 5 years have passed since last update.

Swift その2Advent Calendar 2015

Swift2 全予約語 (82語) の解説

Last updated at 2019-08-15Posted at 2015-12-03

Objective-C にはないもの、break や case などの Objective-C にはなかった機能を持つものなど、予約語を追ってみると面白い知識にたくさん巡り逢えます！
(個人的には indirect が一番好きです！)

文脈による違いなど、調べきれなかった部分もあると思います。もれ、誤り等ございましたら、ご指摘いただけると大変助かります。
また、「こんな機能もある」「こう使うと便利」などもコメントいただけると嬉しいです！

swift tutorial に書いてあるような基礎的なことは簡潔に済ませますのでご了承ください。

よろしくお願いいたします。

class, deinit, enum, extension, func, import, init, inout, internal, let, operator, private, protocol, public, static, struct, subscript, typealias, associatedtype, var, break, case, continue, default, defer, do, else, fallthrough, for, guard, if, in, repeat, return, switch, where, while, as, catch, dynamicType, false, is, nil, rethrows, super, self, Self, throw, throws, true, try, __COLUMN__, #column, __FILE__, #file, __FUNCTION__, #function, __LINE__, #line, _, associativity, convenience, dynamic, didSet, final, get, infix, indirect, lazy, left, mutating, none, nonmutating, optional, override, postfix, precedence, prefix, Protocol, required, right, set, Type, unowned, weak, willSet

宣言 (declarations)

クラス、変数、定数、メソッド、関数などの宣言部分で使用する予約語

class

クラスの宣言や、メソッドやメンバ変数の前に指定することでクラスメソッド、クラス変数の宣言をします。
class のインスタンスは参照型です。
(swift での参照は C 言語のポインタと似たものですが、C 言語のように直接アドレスを指しているのではありません。そのため、 * は不要です。)

class Sample {
    var member = 1
}

let a = Sample()
let b = a
a === b       // -> true (指すものは同じ)
a.member = 2
b.member      // -> 2

deinit

デストラクタの宣言をします。これは class でのみ有効です。(struct には実装できません)
スーパークラスの deinit はサブクラスの deinit 実行後に自動的に呼ばれます。

class SuperClass {
    deinit { print("Super Class's deinit is called") }
}

class SubClass: SuperClass {
    deinit { print("Sub Class's deinit is called") }
}

var subClass: SubClass? = SubClass()
subClass = nil

出力

Sub Class's deinit is called
Super Class's deinit is called

enum

列挙体の宣言をします。

extension

定義済みのクラス、構造体、プロトコル、列挙体に対して振る舞いを追加します。

func

メソッドまたは関数の宣言をします。

import

モジュールを読み込みます。

init

コンストラクタを宣言します。

inout

メソッドまたは関数の引数の前に宣言します。
その引数には参照が渡されるようになります。

class SampleClass {}

func inoutSampleForClass(inout sampleClass: SampleClass?) {
    sampleClass = nil
}

func withoutInoutSampleForClass(var sampleClass: SampleClass?) {
    sampleClass = nil
}

var sampleClass: SampleClass? = SampleClass()

// inout なし
withoutInoutSampleForClass(sampleClass)
sampleClass  // => SampleClass のインスタンス

// inout あり
inoutSampleForClass(&sampleClass)
sampleClass  // => nil

func inoutSample(inout a: Int) {
    a = 100
}

func withoutInoutSample(var a: Int) {
    a = 100
}

var varInt = 1

// inout なし
withoutInoutSample(varInt)
varInt // => 1

// inout あり
inoutSample(&varInt)
varInt // => 100

internal

アクセス修飾子の一種です (クラス、変数、定数、メソッド、関数の公開範囲の指定)
同じモジュール(ターゲット)内からアクセスできます。
アクセス修飾子をつけなかった場合、この指定になります。
関連: public, private

let

定数を宣言します。
関連: var

operator

独自の演算子を定義します。
演算子として採用できる文字については規定があります。詳細は iOS Developer Library の Language Reference > Lexical Structure > Operators をご覧ください。
関連: prefix, postfix, infix

prefix operator ☁ {}
prefix func ☁ (inout a: Int) -> Int {
    a *= a
    return a
}
postfix operator *** {}  // 複数文字列も可能
postfix func *** (inout a: Int) -> Int {
    a *= a
    return a
}
infix operator ☁ {}
func ☁ (left: Int, right: Int) -> Int {
    return left + right
}

var hoge = 2
☁hoge    // => 4
hoge***  // => 16
1 ☁ 2    // => 3

private

アクセス修飾子の一種です (クラス、変数、定数、メソッド、関数の公開範囲の指定)
同じソースファイル内でのみアクセスできます。
関連: public, internal

protocol

プロトコルを宣言します。

public

アクセス修飾子の一種です (クラス、変数、定数、メソッド、関数の公開範囲の指定)
同じターゲット(モジュール)外からアクセス可能になります。ライブラリなどで API として公開するものに指定します。
関連: private, internal

static

static 変数やstatic メソッドを宣言します。

struct

構造体を宣言します。

subscript

クラスや構造体に [] を実装します。
Objective-C の場合についてはクラスに [], {} を実装するに書いてみました。

実装例

class SubscriptSample {
    var hoge: AnyObject?
    subscript(index: Int) -> String {
        get {
            return "Int もらいました"
        }
        set {
            hoge = newValue
        }
    }
    
    subscript(index: String) -> String {
        get {
            return "String もらいました"
        }
        // setter なくても良いです
    }
    
    subscript(index: AnyObject?) -> String {
        return "何かもらいました"
    }
}

使用例

let subscriptSample = SubscriptSample()
var optionalSample: Int? = 1;
subscriptSample[3]     // => "Int もらいました"
subscriptSample["a"]   // => "String もらいました"
subscriptSample[nil]   // => "何かもらいました"
subscriptSample[optionalSample]  // => "何かもらいました"

typealias

型の別名を宣言
[protocol 内で associated type (付属型) の宣言 (Swift2.1まで)](#protocol 内で associated type (付属型) の宣言(Swift2.1まで))

型の別名を宣言

使用例

typealias IntAlias = Int
typealias Point = (Int, Int)

protocol 内で associated type (付属型) の宣言(Swift2.1まで)

Swift2.2 からは associatedtype がこの役割となります。この場面での typealias は Swift2.2 から警告、Swift3 から使用不可となります

protocol SampleProtocol {
    typealias AssociatedType		   // 付属型を宣言します
    func sampleFunc(param :AssociatedType) -> AssociatedType
}

struct SampleStruct: SampleProtocol {
    typealias AssociatedType = Int  // 付属型の型を決めます
    func sampleFunc(param: AssociatedType) -> AssociatedType {
        return param + param
    }
}

参考:
The Swift Programming Language (Language Reference -> Declaration -> Type Alias Declaration)
The Swift Programming Language (Language Reference -> Declaration -> Protocol Associated Type Declaration)

associatedtype

(Swift2.2から)
associated type (付属型) の宣言をします。
(Swift2.1までは typealias の役割でした)

protocol SampleProtocol {
    associatedtype AssociatedType		   // 付属型を宣言します
    func sampleFunc(param :AssociatedType) -> AssociatedType
}

struct SampleStruct: SampleProtocol {
    func sampleFunc(param: Int) -> Int {  // 付属型が Int であると決定されます
        return param + param
    }
}

var

変数を宣言します。

Keywords used in statements

break

switch 文やループから抜けます。
for, while の前にラベルをつけることで抜けるブロックを指定できます。
詳細: [document の Control Flow -> Labeled Statements] (https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/ControlFlow.html)

var i = 0
firstLoop: while true {
    print("first loop: \(i)")
    while true {
        print("second loop: \(++i)")
        switch i {
        case 5:
            print("break firstLoop")
            break firstLoop
        default:
            break
        }
    }
}
print("finish: \(i)")

first  loop: 0
second loop: 1
second loop: 2
second loop: 3
second loop: 4
second loop: 5
break firstLoop
finish: 5

Keywords used in expressions and types

as

大きく分けて、2 種類の役割があります。

キャスト

class A {}
let anyObj: AnyObject = A()
let a = anyObj as! A  // AnyObject から A にキャスト

型を明示すること

let v = 1 as Double

###catch
例外が投げられた際にブロック内が実行されます。

###dynamicType
実行時にインスタンスからメタタイプを取得します。

class SomeBaseClass {
    required init() {}
}
class SomeSubClass: SomeBaseClass {
}

let someInstance: SomeBaseClass = SomeSubClass()
let runTimeInstance = someInstance.dynamicType.init()
runTimeInstance is SomeSubClass // -> true

super

親クラスを返します。

self

インスタンスメソッド内などで単独で使用した場合、インスタンス自身を返します
[expression (式) に対して呼び出した場合、式が評価された値が返ります](#expression (式) に対して呼び出した場合、式が評価された値が返ります )
[type (型) に対して呼び出した場合、自身の型が返ります](#type (型) に対して呼び出した場合、自身の型が返ります )

インスタンスメソッド内などで単独で使用した場合、インスタンス自身を返します

class Sample {
    var a: Int?
    func sampleMethod() -> Sample {
        a = 1
        return self			// 自身 (playground 上では Sample と見えますが、プロパティ a が変更されているので上で作成したインスタンスだと確認できます)
    }
}

expression (式) に対して呼び出した場合、式がそのまま返ります

<#expression#>.self

(1 + 1).self の返り値は (1 + 1) という式と同等になりそうです。

式がそのまま返るとは

(1 + 1).self // (1 + 1)

余談

(1 + 1).self // 2 as Int ではない
// 証明
(1 + 1).self + 1.0 // OK
(1 + 1) + 1.0      // OK

let exp = 1 + 1    // 2 as Int
exp + 1.0          // Error (type mismatch)

type (型) に対して呼び出した場合、自身の型が返ります

<#type#>.self

class Sample {
}
Sample.self		 // -> Sample.Type		

Sample.self.init() // -> Sample のインスタンス (= Sample.self は自身の型を返しています)

参考: The Swift Programming Language (Language Reference -> Expressions -> Postfix Self Expression)

###Self
自身の型を返します。

###throw
例外を投げます。

###throws
メソッド、関数の宣言部に書き、例外が投げられる可能性があることを示します。

###true
Bool 型の値で真を表します。

###try
例外が投げられる可能性のある関数・メソッドを実行します。

###__COLUMN__
__COLUMN__ が評価された場所の列番号 (Int)
swift3 から使用不可

#column

#column が評価された場所の列番号 (Int)

###__FILE__
__FILE__ が評価された場所のファイル名 (String)
swift3 から使用不可

#file

#file が評価された場所のファイル名 (String)
swift2.2 から使用可能

###__FUNCTION__
__FUNCTION__ が評価された場所の関数・メソッドの名前 (String)
swift3 から使用不可

#function

#function が評価された場所の関数・メソッドの名前 (String)
swift2.2 から使用可能

###__LINE__
__LINE__ が評価された場所の行番号 (Int)
swift3 から使用不可

#line

#line が評価された場所の行番号 (Int)
swift2.2 から使用可能

特定の文脈でのみ予約語として使用

associativity

左右に値を取る演算子を宣言した際に、優先度、結合方向を指定します。
指定できる値は下記の 3 種類です。

left
right
none: 結合方向を指定しないため、優先度が同じ演算子同士を並べて使用することができなくなります。

演算子を定義する構文

infix operator <#operator name#> {
    precedence <#precedence level#>
    associativity <#left | right | none#>
}

同優先度、結合方向　none

infix operator *** {
    precedence 100
    associativity none
}
infix operator +++ {
    precedence 100
    associativity none
}
func *** (left: Int, right: Int) -> Int {
    return left * right
}
func +++ (left: Int, right: Int) -> Int {
    return left + right
}

1 +++ 1 *** 1
/*
    error: non-associative operator is adjacent to operator of same precedence
    1 +++ 1 *** 1
      ^
*/

関連: left, right, none, operator, precedence

###convenience
init の前に記述することで、convenience initializer を宣言します。
関連: init

###dynamic
Objective-C のランタイムを使用して値にアクセスします。

構文例

dynamic <#var | let #> <# name #>

###didSet
プロパティの値が変更された際の処理を宣言します。

###final
継承を不可にします。

###get
computed property として宣言されたものが呼び出されたときの処理を宣言します。

###infix
左右に被演算子をとる演算子の処理を定義します。

infix operator ☁ {}
func ☁ (left: Int, right: Int) -> Int {
    return left + right
}

1 ☁ 2    // => 3

その他

_

ワイルドカード

switch (1, "a") {
case (1, "b"):
    print("1, b")
case (1, _):
    print("1, _")  // ここがマッチします。 (_ はワイルドカード)
}

引数名の省略

引数が必要なinit

class Sample {
    var a: Int
    init(param: Int) {
        a = param
    }
}
let sample = Sample(param: 1)

引数が不要なinit

class Sample {
    var a: Int
    init(_ param: Int) {
        a = param
    }
}
let sample = Sample(1)

値を捨てる

let a: Int
(a, _) = (0, 1)
a // -> 0

354

341

You get articles that match your needs
You can efficiently read back useful information
You can use dark theme

What you can do with signing up