通常のメソッドからプロトコルのデフォルト実装を呼び出す

そのようなことを成し遂げることは可能かと思います。
私はこのような遊び場を持っています：

protocol Foo {
    func testPrint()
}

extension Foo {
    func testPrint() {
        print("Protocol extension call")
    }
}

struct Bar: Foo {
    func testPrint() {
        // Calling self or super go call default implementation
        self.testPrint()
        print("Call from struct")
    }
}


let sth = Bar()
sth.testPrint()

でデフォルトの実装を提供できますが、デフォルトの実装にあるすべてのものに加えて追加のものが必要extensionな場合Barはどうなりますか？すべてのプロパティなどを実装するという要件を満たすためにesでメソッド
を呼び出すのとどういうわけか似ていますが、で同じことを達成する可能性はありません。super.classstructs

あなたがまだこれに対する答えを探しているかどうかはわかりませんが、それを行う方法は、プロトコル定義から関数を削除し、オブジェクトをにキャストしてからFoo、そのメソッドを呼び出すことです。

protocol Foo { 
    // func testPrint() <- comment this out or remove it
}

extension Foo {
    func testPrint() {
        print("Protocol extension call")
    }
}

struct Bar: Foo {
    func testPrint() {
        print("Call from struct")
        (self as Foo).testPrint() // <- cast to Foo and you'll get the  default
                                  //    function defined in the extension
    }
}

Bar().testPrint()

// Output:    "Call from struct"
//            "Protocol extension call"

何らかの理由で、関数がプロトコルの一部として宣言されていない場合にのみ機能しますが、プロトコルの拡張で定義されています。図に行きます。しかし、それは機能します。

さて、プロトコルに準拠するネストされた型を作成し、それをインスタンス化し、その型のメソッドを呼び出すことができます（プロトコル拡張内の実装はとにかくそれを参照できないため、型のデータにアクセスできないことは問題ではありません）。しかし、それは私がエレガントと呼ぶ解決策ではありません。

struct Bar: Foo {
    func testPrint() {
        // Calling default implementation
        struct Dummy : Foo {}
        let dummy = Dummy()
        dummy.testPrint()
        print("Call from struct")
    }
}

投稿ありがとうございます！関数定義をプロトコルに入れると、オブジェクトがプロトコルとしてキャストされると、オブジェクトの関数のバージョンのみが表示され、それ自体の内部で呼び出すため、Appleの新しいアドレスを取得します...

私はこのようなバージョンを試しました：

import UIKit
protocol MyProc
{
}

protocol MyFuncProc
{
    func myFunc()
}

extension MyProc
{
    func myFunc()
    {
        print("Extension Version")
    }
}

struct MyStruct: MyProc, MyFuncProc
{
    func myFunc()
    {
        print("Structure Version")
        (self as MyProc).myFunc()
    }
}

(MyStruct() as MyFuncProc).myFunc()

これにより、次の出力が得られます。

Structure Version
Extension Version

あなたのプロトコルが持っている場合associatedTypeやSelf要件、そしてキャストは動作しません。これを回避するには、通常のデフォルト実装と準拠タイプの両方が呼び出すことができる「シャドウ」デフォルト実装を作成します。

protocol Foo { 
    associatedType Bar
}

extension Foo {
    func testPrint() {
        defaultTestPrint()
    }
}

fileprivate extension Foo { // keep this as private as possible
    func defaultTestPrint() {
        // default implementation
    }
}

struct Bar: Foo {
    func testPrint() {
        // specialized implementation
        defaultTestPrint()
    }
}

これを修正するそのような方法についてどう思いますか？

protocol Foo {
    func testPrint()
}

extension Foo {
    func testPrint() {
        defaultTestPrint()
    }

    func defaultTestPrint() {
        print("Protocol extension call")
    }
}

struct Bar: Foo {
    func testPrint() {
        // Calling self or super go call default implementation
        defaultTestPrint()
        print("Call from struct")
    }
}


let sth = Bar()
sth.testPrint()

私はこれに対する解決策を考え出しました。

問題

拡張機能にデフォルトの実装がある場合、プロトコルを別のクラス/構造体に実装すると、メソッドを実装するとこのデフォルトの実装が失われます。これは仕様によるもので、これがプロトコルの仕組みです

解決

• プロトコルのデフォルト実装を作成し、それをプロトコルのプロパティにします。
• 次に、このプロトコルをクラスに実装するときに、デフォルトの実装にゲッターを提供します
• 必要に応じて、デフォルトの実装を呼び出します。

例

protocol Foo {
    var defaultImplementation: DefaultImpl? { get }
    func testPrint()
}

extension Foo {
    // Add default implementation
    var defaultImplementation: DefaultImpl? {
        get {
            return nil
        }
    }
}

struct DefaultImpl: Foo {
    func testPrint() {
        print("Foo")
    }
}


extension Foo {
    
    func testPrint() {
        defaultImplementation?.testPrint()
    }
}

struct Bar: Foo {
    
    var defaultImplementation: DefaultImpl? {
        get { return DefaultImpl() }
    }
    func testPrint() {
        if someCondition {
            defaultImplementation?.testPrint() // Prints "Foo"
        }
    }
}

struct Baz: Foo {
    func testPrint() {
        print("Baz")
    }
}


let bar = Bar()
bar.testPrint() // prints "Foo"

let baz = Baz()
baz.testPrint() // prints "Baz"

欠点

このプロトコルを実装する構造体/クラスで必要な実装エラーが失われます。