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) ;    //编译失败
    }
}