TRICKS: Ковариантность и её вкус

import java.util.*;
 
/**
 * Created by mutagen on 18.02.14.
 */
public class Covariants {
 
    public static void main(String[] args) {
 
        BaseIface b1 = new BaseAbstract() {};
        System.out.println(b1.getMeSomeSet().getClass());
 
        BaseIface b2 = new BaseImp1();
        System.out.println(b2.getMeSomeSet().getClass());
 
        BaseIface b3 = new BaseImp2();
        System.out.println(b3.getMeSomeSet().getClass());
    }
 
    static interface BaseIface<T> {
        Set<T> getMeSomeSet();
    }
 
    abstract static class BaseAbstract<T> implements BaseIface {
        public Set<T> getMeSomeSet() {
            return new AbstractSet<T>() {
                List<T> lst = new ArrayList<>();
 
                @Override
                public Iterator<T> iterator() {
                    return lst.iterator();
                }
 
                @Override
                public int size() {
                    return lst.size();
                }
            };
        }
    }
 
    static class BaseImp1<T> extends BaseAbstract {
        @Override
        public TreeSet<T> getMeSomeSet() {
            return new TreeSet<>();
        }
    }
 
    static class BaseImp2<T> extends BaseAbstract {
        @Override
        public HashSet<T> getMeSomeSet() {
            return new HashSet<>();
        }
    }
}

BaseIface b1 = new BaseAbstract()

abstract static class BaseAbstract<T>

BaseIface b1 = new BaseAbstract() {};

BaseIface b1 = new BaseAbstract() {};
System.out.println(b1.getClass());