意外とありな気がしてきた( 'ω') 全文: https://gist.github.com/ezura/dbb249c5663e97985f49483e6bbac2e5 #swift #CodePiece

CodePiece.swift

protocol P {
    associatedtype PermissionMode: Permission = Default
    func f() -> String // これを差し替える
}
extension P { /* 略 */ }
extension P where Self.PermissionMode == Strict { /* 略 */ }

struct A: P {}
struct B: P {
    typealias PermissionMode = Strict
}

A().callF() // "default callF() - default f() - default v"
B().callF() // "default callF() - Self.PermissionMode == Strict f() - default v"