Java8方法引用的一个疑问：为什么能够引用接口的抽象方法？

Question

代码如下public static void main(String[] args) {     List<String> list = new ArrayList<>();     list.add("hello");     list.add("alex");     list.add("front");     BiConsumer<List<String>, String> v = List::add;     System.out.println(v == null);     v.accept(list, "ddd");     System.out.println(list); }IDE为IDEA，不报错，正常运行。我的疑问在于为什么下面这句话没有报错：BiConsumer<List<String>, String> v = List::add;List是个接口，add方法只有声明没有具体的实现，而且其前面明显和BiConsumer接口的accept不匹配。BiConsumer接口定义：@FunctionalInterfacepublic interface BiConsumer<T, U> {    void accept(T t, U u);         default BiConsumer<T, U> andThen(BiConsumer<? super T, ? super U> after) {         Objects.requireNonNull(after);        return (l, r) -> {             accept(l, r);            after.accept(l, r);         };     } }List::add的方法签名：boolean add(E e);————————————————————————————————————————————另外如果我把泛型去掉，变成下面这样就报错了：BiConsumer v = List::add;这又是为什么？