Swift初期化子がスーパークラスのコンビニエンス初期化子を呼び出せないのはなぜですか？

次の2つのクラスを考えます。

class A {
    var x: Int

    init(x: Int) {
        self.x = x
    }

    convenience init() {
        self.init(x: 0)
    }
}

class B: A {
    init() {
        super.init() // Error: Must call a designated initializer of the superclass 'A'
    }
}

これが許可されない理由がわかりません。最終的には、各クラスの指定イニシャライザは、なぜ私は自分自身を繰り返す必要がない、彼らが必要とする任意の値で呼び出されたBS」initのデフォルト値を指定することでx利便とき、再びinitではAうまくやるだろうか？

これは、「Swiftプログラミングガイド」で指定されている「初期化チェーン」ルールのルール1です。

ルール1：指定イニシャライザは、直接のスーパークラスから指定イニシャライザを呼び出す必要があります。

https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/Initialization.html

強調鉱山。指定イニシャライザは、便利なイニシャライザを呼び出すことはできません。

イニシャライザの「方向」が許可されていることを示すためのルールに沿った図があります。

検討する

class A
{
    var a: Int
    var b: Int

    init (a: Int, b: Int) {
        print("Entering A.init(a,b)")
        self.a = a; self.b = b
    }

    convenience init(a: Int) {
        print("Entering A.init(a)")
        self.init(a: a, b: 0)
    }

    convenience init() {
        print("Entering A.init()")
        self.init(a:0)
    }
}


class B : A
{
    var c: Int

    override init(a: Int, b: Int)
    {
        print("Entering B.init(a,b)")
        self.c = 0; super.init(a: a, b: b)
    }
}

var b = B()

クラスAのすべての指定された初期化子がオーバーライドされるため、クラスBはAのすべての便利な初期化子を継承します。これを実行すると、

Entering A.init()
Entering A.init(a:)
Entering B.init(a:,b:)
Entering A.init(a:,b:)

ここで、指定されたイニシャライザB.init（a：b :)が基本クラスの便利なイニシャライザA.init（a :)の呼び出しを許可される場合、これはB.init（a：、b：の再帰呼び出しになります。 ）。

無限の再帰が発生する可能性があるためです。検討してください：

class SuperClass {
    init() {
    }

    convenience init(value: Int) {
        // calls init() of the current class
        // so init() for SubClass if the instance
        // is a SubClass
        self.init()
    }
}

class SubClass : SuperClass {
    override init() {
        super.init(value: 10)
    }
}

そして見てください：

let a = SubClass()

これを呼び出すSubClass.init()呼び出しますどのSuperClass.init(value:)呼んであろうSubClass.init()。

指定された/便利な初期化ルールは、クラスの初期化が常に正しいように設計されています。

これの回避策を見つけました。とてもきれいではありませんが、スーパークラスの値がわからない、またはデフォルト値を設定したいという問題を解決します。

必要なinitのinitは、サブクラスので、便利なを使用してスーパークラスのインスタンスを作成することだけです。次に、init作成したインスタンスを使用してスーパーの指定を呼び出します。

class A {
    var x: Int

    init(x: Int) {
        self.x = x
    }

    convenience init() {
        self.init(x: 0)
    }
}

class B: A {
    init() {
        // calls A's convenience init, gets instance of A with default x value
        let intermediate = A() 

        super.init(x: intermediate.x) 
    }
}

初期化コードを便利なものinit()から新しいヘルパー関数foo()に抽出することを検討foo(...)してください。サブクラスで初期化を行うにはを呼び出します。

イニシャライザとその継承の詳細な説明については、18：30にWWDCビデオ「403中間スウィフト」をご覧ください。私が理解しているように、次のことを考慮してください。

class Dragon {
    var legs: Int
    var isFlying: Bool

    init(legs: Int, isFlying: Bool) {
        self.legs = legs
        self.isFlying = isFlying
    }

    convenience initWyvern() { 
        self.init(legs: 2, isFlying: true)
    }
}

しかし、今度はWyrmサブクラスについて考えてみましょう。Wyrmは、脚も翼もないドラゴンです。したがって、ワイバーンの初期化子（2脚、2翼）は間違っています。このエラーは、便利なWyvern-Initializerを単に呼び出せず、指定された完全なInitializerのみを呼び出すことができる場合に回避できます。

class Wyrm: Dragon {
    init() {
        super.init(legs: 0, isFlying: false)
    }
}

なぜ2つのイニシャライザ（デフォルト値を持つもの）がないのですか？

class A {
  var x: Int

  init(x: Int) {
    self.x = x
  }

  init() {
    self.x = 0
  }
}

class B: A {
  override init() {
    super.init()

    // Do something else
  }
}

let s = B()
s.x // 0