java 泛型的问题，求答案

我在看《thingking in java》中泛型的无界统配符时的例子时,对于使用无界通配符参数作为? super 和? extends的参数时的编译结果很不理解.

 class Holder<T>
{
    void set(T t){}
    T get(){return null;}
}
class Main
{
    static <T> T exact3(Holder<? extends T> holder , T t)
    {
        return holder.get() ;
    }

    static <T> T exact4(Holder<? super T> holder , T t)
    {
        holder.set(t) ;

        return null ;
    }


    public static void main(String args[])
    {
        Holder<?> holder = new Holder<Long>() ;
        Long lng = 22L ;
        exact3(holder , lng) ;    //可以编译执行且不产生警告
        exact4(holder , lng) ;    //编译失败
    }
}

哪位大神解答一下

10.21 看答案由上往下，由左往右的。为什么Holder<? super T> holder不会报错？

先说解决方法：把<?>改成Long就行，因为你全部用的是T，代码由上往下，由左往右解析，这样会导致第一个 ？ 找不到类型，所以报错。另外说下一般用extends会比较多。

http://www.cnblogs.com/mengdd/archive/2013/01/21/2869861.html

代码解析是由上往下，由左往右的。