Part of my job as a Java developer I need to navigate some areas of the code base that I’m not as familiar with. Generics is one of the more arcane areas of Java. I decided to go head first into documenting my journey in learning the application of generics.<\/p>\n
Generics<\/span>\u00a0are a Java feature available since Java 1.5<\/u><\/u><\/p>\n It allows for passing type information to allow for better code reuse.<\/u><\/u><\/p>\n Classic example to start things off easy:<\/u><\/u><\/p>\n ArrayList<T> mandates that the class may use elements of some particular type T. Whether that be String, Integer, Address (for example) etc.<\/u><\/u><\/p>\n The usefulness comes in that if we try to add an object of an incorrect type, the code will not compile.\u00a0Generics<\/span>\u00a0add compile time safety<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n T is the placeholder for the type information. It may be useful to circumvent this convention and make the typeholder name more explicit, for instance TRecord.<\/u><\/p>\n ? indicates some unknown but specific type. Java type inference will work out the ? (known as a capture) by trying to bind this with the type of some known value.<\/u><\/u><\/p>\n It may try to work this out from a parameter passed in for instance.<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n Simple example for a class<\/u><\/u><\/p>\n public class MyClass<T extends Number><\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n Simple example at method level. Note that the\u00a0generic<\/span>\u00a0type should appear BEFORE the return type:<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n Ranges<\/u><\/u><\/u><\/p>\n super \/ extends specify acceptable types in context of a particular hierarchy<\/u><\/u><\/p>\n For instance if we have the hierarchy (with some made up types for ease of illustration):<\/u><\/u><\/p>\n Object \u2192 Number \u2192 Integer \u2192 AwesomeInteger \u2192 SuperAwesomeInteger<\/u><\/u><\/p>\n “super AwesomeInteger” is a lower bound: It contains the types: Object, Number, Integer, AwesomeInteger (it contains itself)<\/u><\/u><\/p>\n “extends Integer” is an upper bound: It contains the types Integer (always includes itself), AwesomeInteger, SuperAwesomeInteger<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n Lets take an example using List<? extends Integer> someList = new ArrayList<>();<\/u><\/u><\/p>\n To some (and it included me at one stage), this appears to say that an ArrayList can contain any combination of elements, as long as it is Integer or beyond. THIS IS WRONG!<\/u><\/u><\/p>\n You cannot add an Integer to this list, nor can you add a SuperAwesomeInteger. For reasons that will be explained. You cannot add\u00a0anything\u00a0<\/em>to it!<\/u><\/u><\/p>\n What this is saying, is that I can assign a List that is of a particular known type that starts from Integer or a subclass of<\/u><\/u><\/p>\n List<? extends Integer><\/strong>\u00a0someList = new ArrayList<Integer>();<\/u><\/u><\/p>\n List<? extends Integer><\/strong>\u00a0anotherList = new ArrayList<AwesomeInteger>();<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n Contrarily with super, the semantics are reversed<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n List<? super Integer><\/strong>\u00a0someList = new ArrayList<Number>();<\/u><\/u><\/p>\n is acceptable.<\/u><\/u><\/p>\n This is a mnemonic devised by Josh Block (the author of\u00a0Generics<\/span>)<\/u><\/u><\/p>\n To boil it down simply<\/u><\/u><\/p>\n if you want to SET something, you use super<\/u><\/u><\/p>\n If you want to READ something, you use extends<\/u><\/u><\/p>\n If you want to both SET and READ, then use the exact type.<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n For instance, if we have\u00a0List<? super Integer>\u00a0<\/strong>list = new ArrayList<>();<\/u><\/u><\/p>\n What values can we add to it?<\/u><\/u><\/p>\n Tempting to think that we can add Integers, Number, and Objects, as that’s the types defined within the super clause. No we can’t do that.<\/u><\/u><\/p>\n We can add Integer, AwesomeInteger and any further subclass.<\/u><\/u><\/p>\n The reason being, we\u00a0cannot know\u00a0<\/em>which type this List will be. Hence we must use an object that would satisfy\u00a0any of them<\/em>.<\/u><\/u><\/p>\n If we plug in a value of SuperAwesomeInteger, AwesomeInteger or Integer, then this will be fine, as each of these types can be assigned to a list of List<Object>, List<Number>, List<Integer><\/u><\/u><\/p>\n So, again if we want to\u00a0write\/add\u00a0<\/i><\/strong>something, we use super<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n On the flip side when we use “extends” we cannot write to it but we can\u00a0read\u00a0<\/i><\/strong>from it.<\/u><\/u><\/p>\n For instance\u00a0List<? extends Integer><\/strong><\/u><\/u><\/p>\n We can assign a list of List<Integer>, List<AwesomeInteger> etc. to the above list.<\/u><\/u><\/p>\n But given the List<? extends Integer> declaration, we cannot know which List will be assigned. Only that some list that is a subclass of Integer will be, e.g. we could assign List<SuperAwesomeInteger> but not List<Number> (as it appears below our bound)<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n With this in mind, what we know is that whatever the List is, we can READ from it. However we can’t necessarily read it as a SuperAwesomeInteger, as the list might actually be pointing to Integer (which won’t have the attributes of a SuperAwesomeInteger)<\/u><\/u><\/p>\n What we do know is that we can MINIMALLY read any of these objects as Integer (or Number or Object)<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n for (Integer i : myList) {<\/u><\/u><\/p>\n system.out.println(i.sigNum() }<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n A note: “extends” in the context of\u00a0Generic<\/span>\u00a0type constraints can either mean extends in the case of classes, but should be read as ‘implements’ when an interface is present, as we aren’t really extending an interface but checking that some type implements an interface.<\/u><\/u><\/p>\n The rule for using ampersand here is that the first type can be concrete or an interface. Any further types (i.e. after the &) must be interfaces.<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n Ex:<\/u><\/u><\/p>\n Class List<T>, class List<T extends Number><\/u><\/u><\/p>\n First style is more common in Java code, it is implicitly T extends Object<\/u><\/u><\/td>\n List x = new ArrayList<? Extends Number><\/u><\/u><\/p>\n Specifies unknown but specific type<\/u><\/u><\/td>\n<\/tr>\n Ex:<\/u><\/u><\/p>\n static <T extends Number> void gPrintA(List<T> l)<\/u><\/u><\/td>\n Ex:<\/u><\/u><\/p>\n void gPrint(List<? extends Number> l)<\/u><\/u><\/td>\n<\/tr>\n (Can only use ? extends\/super)<\/u><\/u><\/td>\n <\/p>\n Captures<\/strong><\/u><\/u><\/p>\n <\/p>\n ? have to be \u201ccaptured\u201d i.e. the compiler has to know what each ? is bound to. It can be a T type.<\/u><\/u><\/p>\n <\/p>\n Example helper<\/u><\/u><\/p>\n <\/p>\n public static void reverse(List<?> list)\u00a0{ rev(list); }<\/u><\/u><\/p>\n private static\u00a0<T>\u00a0void rev(List<T> list)\u00a0{<\/u><\/u><\/p>\n List<T> tmp =\u00a0new ArrayList<T>(list);<\/u><\/u><\/p>\n for\u00a0(int i = 0; i < list.size(); i++) {<\/u><\/u><\/p>\n list.set(i, tmp.get(list.size() – i –\u00a01));<\/u><\/u><\/p>\n }<\/u><\/u><\/p>\n }<\/u><\/u><\/p>\n <\/u>\u00a0<\/u><\/p>\n super and extends\u00a0https:\/\/stackoverflow. Java ? capture\u00a0https:\/\/docs.oracle. Curiously recursive template pattern (used in builders)\u00a0https:\/\/nuah.public static <T extends Recordable> void asyncProcessQuery(...) {\r\n...\r\n}<\/u><\/u><\/pre>\nPECS<\/u><\/u><\/h1>\n
This table shows where you can validly use extends \/ super<\/u><\/u><\/h2>\n
\n\n
\n T extends Something<\/strong><\/u><\/u><\/td>\n ? extends \/ super Something<\/strong><\/u><\/u><\/td>\n<\/tr>\n \n Used in class as a\u00a0declaration<\/strong><\/u><\/u><\/p>\n Usage\u00a0<\/strong>of class, ex<\/u><\/u><\/p>\n \n Used in LHS (i.e. before the return type) of method as a\u00a0declaration\u00a0<\/strong>of the method.<\/u><\/u><\/p>\n Method level.\u00a0Usage<\/strong><\/u><\/u><\/p>\n \n Cannot be used when invoking class.<\/u><\/u><\/p>\n List a = new ArrayList<T extends Number><\/s><\/u><\/u><\/p>\nCannot be used in class definition<\/u><\/u><\/p>\n Class Brother<? Extends Number><\/s><\/u><\/u><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\nFurther reading<\/u><\/u><\/h2>\n