Do you know the full power of Java? Have troubles writing great interfaces? Generics do help you with that. Check out how can you write powerful interfaces with Java generics. For more info and examples see http://uptech.team

1. Generics
(the hard way)

2. Problem #1. Arrays are
covariant
Sub :> Super -> Sub[] :> Super[]
Generics are invariant

3. Object[] arr = new Long[1];
arr[0] = "Not a cool kid, I don't fit in"; // <-- Throws
ArrayStoreException at runtime

4. Problem #2. Arrays are reified,
generics - by erasure
Illegal:
new List<E>[]
new List<String>[]
new E[]

5. // Why generic array creation is illegal - won't compile!
List<String>[] stringLists = new List<String>[1]; // (1)
List<Integer> intList = Arrays.asList(42); // (2)
Object[] objects = stringLists; // (3)
objects[0] = intList; // (4)
String s = stringLists[0].get(0); // (5)

6. Don’t mix arrays and generics

7. We need power!!!

8. public class Stack<E> {
public Stack();
public void push(E e);
public E pop();
public boolean isEmpty();
}
public void pushAll(Iterable<E> src) {
for (E e : src)
push(e);
}
Example

9. Stack<Number> numberStack = new Stack<Number>();
Iterable<Integer> integers = ... ;
numberStack.pushAll(integers); // Nooooooo
Push All

10. public void pushAll(Iterable<? extends E> src) {
for (E e : src)
push(e);
}
Push with some magic

11. // popAll method without wildcard type - deficient!
public void popAll(Collection<E> dst) {
while (!isEmpty())
dst.add(pop());
}
Stack<Number> numberStack = new Stack<Number>();
Collection<Object> objects = ... ;
numberStack.popAll(objects); // Noooooooooo
Pop All

12. public void popAll(Collection<? super E> dst) {
while (!isEmpty())
dst.add(pop());
}
Pop with pure magic

13. Just PECS everywhere
producer-extends, consumer-super

14. Max, come on ...
Object max(List src) {
// ...
}

15. Max, are you kidding me
public <T extends Comparable<? super T>> T max( List<? extends T> list) {
// ...
}

16. Swift Magic
protocol Foo {
typealias Key
typealias Element
}
protocol Bar {
typealias RawGeneratorType
}
func example<T : Foo, U, V where V : Foo, V : Bar, T.Key ==
V.RawGeneratorType, U == V.Element>
(arg1: T, arg2: U, arg3: V) -> U {
// ...
}

17. Swift insane Magic
// Methods in this extension are only available to Arrays whose elements are
// both hashable and comparable.
extension Array where Element : Hashable, Element : Comparable {
// ...
}