四、共变与反变的关系类