在Java中，为什么AREN＆＃x27; t默认函数与返回类型的协变，而与参数类型相反

Question

请查看以下代码，

如果函数与参数类型违反了函数，则该编译器会依据，因此编译器会投诉：

  // contravariant with the parameter type
  final Function<Object, Number> objToNUmberfoo = (v) -> 2;
  giveMeAFunction(objToNUmberfoo); // THIS GIVES A COMPILER ERROR

  public void giveMeAFunction(Function<Integer, Number> foo) 
  {
         // do something
  }

的是协方差：

   // covariant with the return type
   final Function<Integer, BigDecimal> intToBigDecimal = (v) -> 2;
   giveMeAFunction2(intToBigDecimal); // THIS GIVES A COMPILER ERROR


   public void giveMeAFunction2(Function<Integer, Number> foo)
   {
          // do something
   }

要解决编译器错误，我们应该分别声明该方法

public void giveMeAFunction2(Function<? super Integer, Number> foo)
{
       // do something
}

：

public void giveMeAFunction2(Function<Integer, ? extends Number> foo)
{
       // do something
}

同样 真的不到达这里是为什么Java编译器默认不允许它？
我想不出任何情况，这在运行时不安全...也许我在这里错了？

更重要的是，这会带来什么后果？

为什么我们需要明确选择这一点？