サブクラスでsuper.init()とoverrideメソッドの記載方法

Question

a swift tourを読みながらサブクラスの作り方について勉強をしていました。
下記の様なサブクラスを作ることにあまり意味はないのですが、倣って作成してみたのですが、諸々エラーが発生し動作してくれません。

tourには具体的な説明がなくいきなりsuper.init()が使用されているのですが、superクラスのプロパティをサブクラスから初期化される場合にサブクラス側のイニシャライザーでこの様に書くものと解釈しています。
overrideはスーパークラスから関数を書き換える場合にこの様に書くものと解釈しています。

どこに問題点があるのか、アドバイスをいただけるとありがたいです。
よろしくお願い申し上げます。

class vehicle {
    var wheel:Int
    var name:String
    init(name: String, wheel: Int) {
         self.name = name
         self.wheel = wheel
     }
    func announce()-> String{
     return "this is (name) with (wheel) wheel(s)"
    }
}

var car = vehicle(name: "car", wheel: 4)
print(car.announce())

var creature: vehicle {
    var legs: Int 
    init(legs: Int, name: String){//Initializers may only be declared within a type
        self.legs = legs
        super.init(name:name)//'super' cannot be used outside of class members
    }
    override func announce()-> String{ //'override' can only be specified on class members
     return "this is (name) with (legs) legs"
    }
}

var human = creature(name: "human", legs: 2)
print(human.announce())

a swift tourのコード

class NamedShape {
    var numberOfSides: Int = 0
    var name: String

    init(name: String) {
        self.name = name
    }

    func simpleDescription() -> String {
        return "A shape with (numberOfSides) sides."
    }
}

class EquilateralTriangle: NamedShape {
    var sideLength: Double = 0.0

    init(sideLength: Double, name: String) {
        self.sideLength = sideLength
        super.init(name: name)
        numberOfSides = 3
    }

    var perimeter: Double {
        get {
            return 3.0 * sideLength
        }
        set {
            sideLength = newValue / 3.0
        }
    }

    override func simpleDescription() -> String {
        return "An equilateral triangle with sides of length (sideLength)."
    }
}

Answer 1

コンパイルが通らない理由はエラーメッセージの通りで、「type(= class, struct, enum)でないものに対してイニシャライザを宣言している」ことがその理由です。

// イニシャライザはクラスや構造体（つまり、type として宣言できるもの）にしか宣言できない
//var creature: vehicle {
class creature: vehicle {
    var legs: Int
    init(legs: Int, name: String){
        //Initializers may only be declared within a type
        //　変数（var）に対してイニシャライザを宣言したので上記のエラーが出ていた
        self.legs = legs
        //super.init(name:name)//'super' cannot be used outside of class members
        //　上記と同様。ちなみにsuper.init() と引数の数があっていないので合わせる必要がある
        super.init(name: name, wheel: 0)
    }
    override func announce()-> String{ //'override' can only be specified on class members
        return "this is (name) with (legs) legs"
    }
}

//var human = creature(name: "human", legs: 2)
// イニシャライザの引数の順番が間違っている
var human = creature(legs: 2, name: "human")
print(human.announce())

Comments

[pegy]

的確なご指摘をいただきありがとうございます。
var creature: vehicle
については大変失礼いたしました。根本的すぎて、見落としてしまいました。。

さて、一点だけ少し疑問が残るのですが、
//super.init(name:name)//'super' cannot be used outside of class members
//　上記と同様。ちなみにsuper.init() と引数の数があっていないので合わせる必要がある
super.init(name: name, wheel: 0)

のご指摘についてです、super.init()はスーパークラスのプロパティを継承して初期化する場合に利用されるという認識なのですが（本文記載の通り、断りなく利用されているので不完全な認識で申し訳ございません）その上で、
”引数の数があっていないので合わせる必要がある
というのはどの引数の数に合っておらず、どれに合わせるということなのでしょうか？
文脈的にスーパークラスvehicleのプロパティで初期化していないものの数に合っていないので、これに合わせる必要があるということかと思うのですが、合っていますでしょうか？
であるとすれば、a swift tourの例ではスーパークラスがわでvar numberOfSides: Int = 0の様に初期化しているので、サブクラスでは初期化不要？なのかと解釈されますが。

super.init()とは、superクラスで初期化していないものを全て初期化するためにサブクラス側で初期化されるもの
と言い換えて捉えても差し支えないのでしょうか？
重ねて申し訳ございませんが、よろしくお願い申し上げます。

[TsukubaDepot]

creature が vehicle を継承しているのであれば、基底クラス（継承元）のイニシャライザは
class vehicle {
init(name: String, wheel: Int) {}
}

になります。ここで指定している通り、引数は2つ必要で、また規定値は定義されていないので、2つの引数はいずれも値の指定が必要です。

一方、継承先では
class EquilateralTriangle: NamedShape {
init(sideLength: Double, name: String) {
super.init(name: name)

と、基底クラス（スーパークラス）の呼び出し、つまり super.init の引数が1つしか指定されていません。

基底クラスでイニシャライザを複数宣言し、そのうちのいずれかと合うのであればこれで問題ありませんが、基底クラスにはイニシャライザは一つしかありませんので、このままでは適切なイニシャライザを見るけることができず、コンパイルエラーとなってしまいます。

これはイニシャライザに限らず、通常のメソッドでも同じです。オーバーロード（書き換えである「オーバーライド」とは違います）とほぼ同じ考え方です（ほぼ、というのはイニシャライザの動作が構造体とクラスでは異なるためです）。

[TsukubaDepot]

> であるとすれば、a swift tourの例ではスーパークラスがわでvar numberOfSides: Int = 0の様に初期化しているので、サブクラスでは初期化不要？なのかと解釈されますが。

一方、作成されているコードでは

var wheel:Int
var name:String

の2つの値がありますが、これらはイニシャライザが作動する前には初期化されていません。
したがって、イニシャライザ内でなんらかの値を代入するか、イニシャライザがとった引数で初期化する必要があります。

いずれにしても、それがイニシャライザであれメソッドであれ、引数の順番と型は合わせるのが大原則です。

[pegy]

ご回答をいただきありがとうございます。
①スーパークラスのいずれかのイニシャライザとサブクラスのそれを合致させる（規定値が定義されていない場合）
②インスタンス化する場合、引数の順番と型を合わせる
この２点について、承知をいたしました。
勉強になりました、よろしくお願い申し上げます。