Наследование родового класса в Swift

Ответ 1

Неверное определение класса TrackingCache. Он повторяет общий параметр:

class TrackingCache<AftershipTracking>: BaseCache<AftershipTracking> { }

Его следует оставить без внимания:

class TrackingCache: BaseCache<AftershipTracking> { }

Это вызывает начальную быструю ошибку Classes derived from generic classes must also be generic. Вы можете обойти эту проблему, указав параметр типа, который должен быть или наследовать от AftershipTracking:

class TrackingCache<T: AftershipTracking>: BaseCache<AftershipTracking> { }

Полный пример:

class BaseCache<T: Equatable>: NSObject {
  var items: [T] = []

  func appendItems( items: [T]) {
    self.items += items
    didAppendItems()
  }

  func didAppendItems() {} // for overriding
}

class AftershipTracking: NSObject {
  var identifier: Int
  init( identifier: Int) {
    self.identifier = identifier
    super.init()
  }
}

extension AftershipTracking: Equatable { }

func ==( lhs: AftershipTracking, rhs: AftershipTracking) -> Bool {
  return lhs.identifier == rhs.identifier
}

class TrackingCache<T: AftershipTracking>: BaseCache<AftershipTracking> {
  override func didAppendItems() {
    // do something
  }
}

let a = TrackingCache<AftershipTracking>()
let b = TrackingCache<AftershipTracking>()

a.appendItems( [AftershipTracking( identifier: 1)])
b.appendItems( [AftershipTracking( identifier: 1)])

let result = a.items == b.items // true

Ответ 2

это должно работать: < swift 4 >

class TrackingCache<T: AftershipTracking>: BaseCache<T>

Другой пример:

protocol P {

}

class C: P {

}

class CS: C {

}

class L<T:P> {
    let c: T

    init(_ c: T) {
        self.c = c
    }
}

class LS<T:CS>:L<T> {

}

let i = LS(CS())

i.c

c теперь CS.