Swift クラスのプロトコルへの準拠と継承の関係について

Question

protocol ProA{
    var propA:Int{get}
}

class ClsA:ProA{
    var propA:Int=800
}

class ClsB:ClsA{
    
}

func funcA(_ arg:ProA){
    print(arg.propA)
}

var insA=ClsA()
funcA(insA)
var insB=ClsB()
funcA(insB)

スーパークラスClsAがあるプロトコルProAに準拠しており、
ClsAのサブクラスClsBを作った時、ClsBは自動的に(下記のような
ProAへの準拠の明記をせずに)ProAへ準拠したクラスになるのでしょうか?

class ClsB:ClsA,ProA{
    
}

試しに以下のようにして動かしてみると、

protocol ProA{
    var propA:Int{get}
}

class ClsA:ProA{
    var propA:Int=1000
}

class ClsB:ClsA,ProA{
    
}

func funcA(_ arg:ProA){
    print(arg.propA)
}

var insA=ClsA()
funcA(insA)
var insB=ClsB()
funcA(insB)

error: MyPlayground.playground:20:17: error: redundant conformance of 'ClsB' to protocol 'ProA'
class ClsB:ClsA,ProA{
                ^

MyPlayground.playground:20:7: note: 'ClsB' inherits conformance to protocol 'ProA' from superclass here
class ClsB:ClsA,ProA{

のようなエラーが出ました。やはり継承した時点でプロトコルへの準拠も継承しているようなのですが、
そういう理解で問題ないでしょうか?
あとドキュメントでこのことは明示的に説明されていますでしょうか?
ある場合場所を教えていただけると幸いです。

Answer 1

やはり継承した時点でプロトコルへの準拠も継承しているようなのですが、
そういう理解で問題ないでしょうか?

認識はそれで問題ないです。

あとドキュメントでこのことは明示的に説明されていますでしょうか?
ある場合場所を教えていただけると幸いです。

もしかしたらあるかもしれませんが、存じておりません、、

protooclとclassの継承に関しては

• protooclは実体がないもの
• classは実体があるもの

という差なので、親で継承していれば、子であろうと孫であろうと継承される認識でいるとすんなりはいるかと思います。

Comments

[moriman]

回答をいただきましてありがとうございます。
実体がない、というのは他の言語の抽象クラスのような感じで「インスタンス化できない」ということでしょうか？

[h_crane]

Javaでのinterfaceと言ったほうがしっくりきますでしょうか、、？

インスタンス化できないから抽象クラスというのはちょっと違うような気もしますが、、
たしかにインスタンス化はできないので、その考えで良いかもしれません。

[moriman]

わかりました。ありがとうございました。