java generic super/extends (java 泛型中的super/extends)

在最新的ConcurrentHashMap中有这么一个方法声明

    @SuppressWarnings("unchecked")
    public V computeIfAbsent(K key, MappingFunction<? super K, ? extends V> mappingFunction) {
        if (key == null || mappingFunction == null)
            throw new NullPointerException();
        return (V)internalComputeIfAbsent(key, mappingFunction);
    }

相比 putIfAbsent，这个方法传入一个计算函数MappingFunction，而不是具体的值。这样只有在需要的时候调用这个MappingFunction创建值，而不是预先创建好。

很有用的一个新方法。但本文的重点不在此，MappingFunction<? super K, ? extends V> 的泛型声明吸引了我。

为什么不都使用用extends?super和extends区别在哪？

java泛型中的上界下界，还有 java泛型中的有界类型, 对此作了解释，大意是

• super是声明下界，extends是声明上界
• 声明了下界的泛型容器只能add该泛型参数类型，声明了上界的泛型容器只能get该泛型参数类型

画图如下:

不过本文开始的MappingFunction<? super K, ? extends V>，并不是将泛型声明使用在容器中。

   public static interface MappingFunction<K, V> {
        /**
         * Returns a non-null value for the given key.
         *
         * @param key the (non-null) key
         * @return a non-null value
         */
        V map(K key);
    }

从上面的map中可见，MappingFunction<K,V>中的K在computeIfAbsent中声明ConcurrentHashMap<K,V>的K为其super 边界，V声明ConcurrentHashMap<K,V>的V为其extends边界。即map方法可以接收ConcurrentHashMap key的父类(包括边界)，返回的value必须是ConcurrentHashMap value的子类(包括边界)。

假如有ConcurrentHashMap<C1, C2>, computeIfAbsent可以接受MappingFunction<Object, C3>。

C3 map(Object) 的方法可以这样使用 C2  =  map(C1)

这样我们总结super和extends的使用，得到一个更广泛的原则。

• super用来限制传入的参数
• extends使用限制返回的参数