Que limitações existem nos mecanismos de programação genérica?

Na programação genérica (Generics) no iOS (Swift), existem as seguintes restrições:

• Restrições de tipos: não é possível usar tipos que não cumpram as restrições (constraints) estabelecidas. Por exemplo, se for indicada a restrição T: Equatable, o tipo deve implementar o protocolo Equatable.

• Falta de informação de tipo em tempo de execução: devido à eliminação de tipos (type erasure), em alguns casos não é possível obter um tipo genérico específico em tempo de execução.

• Não é possível criar instâncias de tipos genéricos sem um inicializador: se na declaração genérica não houver exigência de um inicializador, não é possível criar objetos do tipo T().

• Restrições ao uso de tipos genéricos com Objective-C: algumas construções genéricas não são compatíveis com o runtime do Objective-C.

• Não é possível usar tipos genéricos em certos locais: por exemplo, como tipo de propriedade em classes @objc ou em algumas anotações.

Essas restrições ajudam a manter a segurança de tipos e o desempenho, mas requerem um design cuidadoso de funções e tipos genéricos.