Java Generics

Covariant & Contravariant & Invariant

The Get and Put Principle

In the context of covariant and contravariant in generics, there a Get and Put principle that can be used to determine the use of covariant or contravariant.

Use an extends wildcard (covariant) when you only get values out of structure, use a super wildcard (contravariant) when you only put values into a structure, and don't use a wildcard when you both get and put.

Example

This principle at work in the signature of the copy method

public static <T> void copy(List<? super T> dest, List<? extends T> src)