Caution

お使いのブラウザはJavaScriptが無効になっております。
当サイトでは検索などの処理にJavaScriptを使用しています。
より快適にご利用頂くため、JavaScriptを有効にしたうえで当サイトを閲覧することをお勧めいたします。

Swift辞典

トップページ
Swift辞典
extension + protocol / デフォルト実装

extension + protocol / デフォルト実装

extensionとprotocolを組み合わせることで、既存の型にprotocol準拠を後から追加（retroactive conformance）したり、protocolにデフォルト実装を提供したりできます。

構文

// 既存の型にprotocol準拠を追加
extension 既存の型名: プロトコル名 {
    // 必須メソッドの実装
}

// protocolにデフォルト実装を追加
extension プロトコル名 {
    func メソッド名() { /* デフォルト実装 */ }
}

構文一覧

構文	概要
extension 型: Protocol { }	既存の型にプロトコル準拠を後付けします（retroactive conformance）。
extension Protocol { func f() {} }	プロトコルにデフォルト実装を追加します。準拠する型で実装を省略できます。
extension Protocol where Self: 型 { }	特定の型にのみ適用される条件付き実装を追加します。

サンプルコード

protocol Describable {
    func describe() -> String
}

// デフォルト実装
extension Describable {
    func describe() -> String {
        return "これは \(type(of: self)) です"
    }
}

// IntをDescribableに準拠させる（retroactive conformance）
extension Int: Describable {
    func describe() -> String {
        return "整数値: \(self)"
    }
}

// Stringはデフォルト実装を使う
extension String: Describable { }

print(42.describe())
print("Hello".describe())

// where句で条件付き拡張
protocol Summable {
    static func +(lhs: Self, rhs: Self) -> Self
    static var zero: Self { get }
}

extension Array where Element: Summable {
    func sum() -> Element {
        return reduce(Element.zero, +)
    }
}

extension Int: Summable { static var zero: Int { 0 } }
print([1, 2, 3, 4, 5].sum())

概要

extensionとprotocolの組み合わせはSwiftで最も重要なパターンのひとつです。標準ライブラリ自体もこの仕組みで構築されています（『Comparable』を準拠すると『<=』『>=』が自動で使えるなど）。

外部モジュール（他のライブラリ）の型を外部のprotocolに準拠させるretroactive conformanceは、Swift 5.7以降でコンパイラ警告が出るようになりました。自分が定義した型か、自分が定義したprotocolのどちらかを使う場合は問題ありません。

extensionの基本はextensionの基本を参照してください。

記事の間違いや著作権の侵害等ございましたらお手数ですがこちらまでご連絡頂ければ幸いです。

トップページへ