Swift başlatıcıları neden süper sınıflarında kolaylık başlatıcıları çağıramıyor?

İki sınıfı düşünün:

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'
    }
}

Buna neden izin verilmediğini anlamıyorum. Sonuçta, her sınıfın belirlenen başlatıcı halde neden kendimi tekrarlamak gerekiyor, ihtiyaç duydukları herhangi değerlerle denir Bs' initiçin varsayılan değerini belirleyerek xkolaylık zaman, yine initde Asadece yeterli olacaktır?

Bu, Swift Programlama Kılavuzunda belirtildiği gibi "Başlatıcı Zincirleme" kurallarının 1. Kuralı olup, aşağıdaki gibidir:

Kural 1: Atanan başlatıcılar , hemen üst sınıflarından belirlenmiş bir başlatıcıyı çağırmalıdır .

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

Vurgu benim. Atanan başlatıcılar kolaylık başlatıcıları çağıramaz.

Hangi başlatıcı "yönlerine" izin verildiğini gösteren kurallarla birlikte giden bir şema vardır:

Düşünmek

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 sınıfının tüm belirlenmiş başlatıcıları geçersiz kılındığından, B sınıfı, A'nın tüm kolaylık başlatıcılarını devralacaktır.

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

Şimdi, belirtilen başlatıcı B.init (a: b :) 'nin temel sınıf uygunluk başlatıcısı A.init (a :)' yı çağırmasına izin verilirse, bu B.init (a:, b: ).

Çünkü sonsuz bir özyineleme ile sonuçlanabilirsin. Düşünmek:

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)
    }
}

ve şuna bakın:

let a = SubClass()

Hangisi arayacak, SubClass.init()hangisi SuperClass.init(value:)arayacak SubClass.init().

Atanan / uygunluk başlatma kuralları, bir sınıf başlatma her zaman doğru olacak şekilde tasarlanmıştır.

Bunun için bir çalışma buldum. Çok hoş değil, ancak bir süper sınıfın değerlerini bilmeme veya varsayılan değerleri belirlemeyi isteme sorununu çözüyor.

Tek yapmanız gereken tek şey, üst sınıf bir örneğini oluşturmak kolaylık kullanıyorsa initsağ, initalt sınıfına ait. Daha sonra initoluşturduğunuz örneği kullanarak süperin atanmışını çağırırsınız .

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) 
    }
}

Kullanışlılığınızdan init()yeni bir yardımcı fonksiyona başlatma kodunu çıkarmayı düşünün , alt sınıfınızda başlatma yapmak için foo()arayın foo(...).

Başlatıcıların ve miraslarının ayrıntılı bir açıklaması için 18: 30'daki WWDC videosu "403 orta seviye Swift" e bakın. Anladığım kadarıyla şunları düşünün:

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)
    }
}

Ama şimdi bir Wyrm alt sınıfı düşünün: Bir Ejder, bacakları ve kanatları olmayan bir Ejderhadır. Yani bir Wyvern için Başlatıcı (2 bacak, 2 kanat) bunun için yanlış! Kolaylık Wyvern-Başlatıcı sadece tam olarak belirlenmiş Başlatıcı çağrılamıyorsa, bu hata önlenebilir:

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

Neden biri varsayılan değere sahip iki başlatıcınız yok?

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