DEV Community
·
限制性通配符
内容提要
限制性通配符用于限制类型参数，确保方法仅接受特定超类的子类对象。类A被类B和C扩展，而类D不扩展A。通过限制性通配符，可以创建只接受Gen<A>或其子类的对象的方法。
关键要点
-
限制性通配符用于限制类型参数，确保方法仅接受特定超类的子类对象。
-
类A被类B和C扩展，而类D不扩展A。
-
通过限制性通配符，可以创建只接受Gen<A>或其子类的对象的方法。
-
Gen类使用一个类型参数T，指定存储在ob中的对象类型，但T是无限制的，可以是任何类型的类。
-
方法test()使用限制性通配符来接受仅Gen<A>或其子类的对象。
-
在main()方法中，创建了类型A、B、C和D的对象，并生成了相应的Gen对象。
-
test()方法被调用四次，前三次有效，最后一次无效，因为w4是类型D，不是A的子类。
-
使用<? extends superclasse>来建立限制性通配符的上限，extends是包含的。
-
使用<? super subclasse>来定义下限，仅允许作为子类的超类作为参数，super也是包含的。
延伸解读
限制性通配符的应用场景
限制性通配符在泛型编程中非常重要，尤其是在需要确保方法只接受特定类型的对象时。通过使用<? extends A>，开发者可以确保传入的对象是类A或其子类，这样可以避免类型不匹配的问题，提高代码的安全性和可维护性。
理解上限与下限
在使用限制性通配符时，理解上限和下限的概念至关重要。上限使用<? extends superclasse>，允许传入超类及其子类，而下限使用<? super subclasse>，仅允许传入子类的超类。这种灵活性使得泛型方法能够更好地适应不同的类型需求。
注意类型不匹配的风险
在调用使用限制性通配符的方法时，务必注意类型匹配的问题。示例中，w4的类型D未继承自A，因此调用test(w4)会导致错误。这提醒开发者在设计方法时，需仔细考虑类型的继承关系，以避免运行时错误。
延伸问答
什么是限制性通配符？
限制性通配符用于限制类型参数，确保方法仅接受特定超类的子类对象。
如何使用限制性通配符创建方法？
可以通过定义方法参数为Gen<? extends A>来创建只接受Gen<A>或其子类的对象的方法。
在示例中，哪些对象可以传递给test()方法？
可以传递对象w、w2和w3，因为它们是A或其子类的实例，而w4不能传递，因为它是类D的实例。
限制性通配符的上限和下限如何定义？
上限使用<? extends superclasse>定义，下限使用<? super subclasse>定义，均为包含关系。
类D为什么不能作为test()方法的参数？
因为类D不扩展类A，所以它不是A的子类，无法满足限制性通配符的要求。
Gen类的类型参数T有什么特点？
Gen类的类型参数T是无限制的，可以是任何类型的类。
