存在型

exist.swift

protocol Animal {
    func bark()
}

struct Dog: Animal {
    func bark() {
        print("わんわん")
    }
}

let animal: Animal = Dog() // 暗黙の存在型へのpack(erase)
animal.bark() // 暗黙のunpack(opening existential) + メソッド呼び出し


func test1(animal: Animal) { }

func test2<A: Animal>(animal: A) { }


test1(animal: animal) // OK: 存在型をそのまま受ける
test2(animal: animal) // NG: ここでopening existentialが暗黙的にされない(これがわかりにくい？)

let a = animal openas A // 将来opening existentialが入るとする

test2(animal: a) // そしたらこれはOK