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

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

    static  T exact4(Holder holder , T t)
    {
        holder.set(t) ;

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

我自己的解释是:

exact4中不能作为的参数, 是因为不等价于, 所以编译失败; 而exact3中却可以作为的参数, 是因为使用只能从这个Holder取出T类型的对象,而不能放入其他对象,不会对这个Holder的安全产生影响, 所以编译器允许了这种行为.
但是感觉这种解释很牵强, 那么该怎么理解无界通配符面对这两种情况的不同呢?

    ---------- javac ----------
    错误: 无法将类 Main中的方法 exact4应用到给定类型;
            exact4(holder , lng) ;    //编译失败
            ^
      需要: Holder,T
      找到: Holder,Long
      原因: 无法推断类型变量 T
        (参数不匹配; Holder无法转换为Holder)
      其中, T是类型变量:
        T扩展已在方法 exact4(Holder,T)中声明的Object
      其中, CAP#1是新类型变量:
        CAP#1从?的捕获扩展Object
    1 个错误