奇怪的范型定义

java.util.Collections 类中两个sort方法的定义很奇怪，哪位能给解释一下：

public static <T> void sort(List<T> list,  Comparator<? super T> c)
1、既然该方法无返回值（void），第一个“<T>”有什么作用？
2、“?”代表什么含义？
3、“super”起什么作用？
4、基于2、3：“<? super T>”如何理解？

public static <T extends Comparable<? super T>> void sort(List<T> list)
1、“extends”如何理解？
2、其余同上