Могу ли я создать подкласс класса с дженериками без определения дженерика?

Question

До сих пор я мог создавать подкласс A, определяя только общий тип как String или любой другой тип:

protocol Protocol {}

extension String : Protocol {}

class A<T:Protocol> {}

class B : A<String> {}

Нужно ли указывать универсальный тип или я просто наследую его без указания?

Answer 1

Если вы хотите, чтобы ваш класс B также был универсальным, вы должны ограничить B для протокола, который наследуется от Protocol, а затем использовать этот универсальный параметр для ограничения A

class B<T: Protocol>: A<T> {}

protocol P: Protocol {}
class B<T:P>: A<T> {}