O Que É Bounded Quantification?
Bounded quantification é um recurso de generics que limita um parâmetro de tipo a tipos que satisfazem um limite declarado, como ser um subtipo de uma classe ou implementar uma interface. Dentro do código genérico, valores desse parâmetro podem usar com segurança os membros que o limite promete. Combina a flexibilidade dos generics com capacidades compartilhadas garantidas.
Por que isso importa
Limites permitem que o código genérico chame métodos em seu parâmetro de tipo enquanto ainda aceita muitos tipos concretos. É assim que restrições como "qualquer tipo que seja comparável" são expressas com segurança.
Guias relacionados
What Is Variance in Type Systems?Variance describes how subtyping between type arguments carries over to subtyping between the generic types b…
What Is Covariance?Covariance preserves subtyping direction, so a generic over a subtype is a subtype of the same generic over a…
What Is Monomorphization?Monomorphization compiles generic code into a separate specialized copy for each concrete type it is used wit…