インターフェイスの汎用タイプと多相

Question

MyBatisを使用してDBへの呼び出しをいくつか集計しようとしていますが、これまでのところ壁に衝突しました。

public interface Entity { 

    <T extends Entity> Class<Insertable<T>> mapper(); 
} 

public interface Insertable<T extends Entity> { 

    void insert(T entity); 
} 

public interface ClientMapper extends Insertable<Client> { 

    void insert(Client client); 
} 

public interface CampaignMapper extends Insertable<Campaign> { 

    void insert(Campaign campaign); 
} 

public class Client implements Entity { 

    private final Long id; 

    public Client(final Long id) { 
     this.id = id; 
    } 

    @Override 
    public <T extends Entity> Class<Insertable<T>> mapper() { 
     return ClientMapper.class; // Incompatible types error 
    } 

私はClientMapperがClientEntityのタイプである、タイプInsertable<Client>であるにも関わらず、このコンパイルエラーを取得しています：

のは、私は、エンティティとマッパーこれを持っているとしましょう。

目的は次のタイプセーフなコードになっている：

public class MapperOperation { 

    public static void insert(Entity entity) { 
     insert(entity, entity.mapper()); 
    } 

    private static <V extends Entity, K extends Insertable<V>> void insert(V entity, Class<K> mapperClass) { 
     try (SqlSession session = PersistenceManager.get().openSession()) { 
      K mapper = session.getMapper(mapperClass); 
      mapper.insert(entity); 
      session.commit(); 
     } catch (Exception e) { 
      log.error("Could not insert entity {}", entity, e); 
     } 
    } 
} 

この方法では、私はただのEntityのインスタンスとメソッドinsertを呼び出し、次にように私に彼mapperを与えるために彼を求めることができます私はそれを挿入することができます。

これは可能ですか？私は何か間違っているのですか？

Answer 1

それは、これらの変更でコンパイルする必要があります。

public interface Entity { 
    <T extends Entity> Class<? extends Insertable<T>> mapper(); 
}  

// ... 

public <T extends Entity> Class<? extends Insertable<T>> mapper() { 
    return ClientMapper.class; 
} 

あなたはList<Number>にList<Integer>を割り当てることはできません同じ理由で、Class<Insertable<T>>にClass<ClientMapper>を割り当てることはできません。

あなたは、それが安全ではないだろう可能性がある場合：

List<Integer> li = new ArrayList<>(); 
List<Number> ln = li; // does not compile 
ln.add(3.14); 
Integer i = li.get(0); // it's a Double! 

はEDIT：これが唯一の問題ではありません。この方法は、Tに依存何かを返しますが、あなたは別のものを返します。問題を簡略化することができる：TはBに解決される可能性がありますので

ここ

class A {} 
class B extends A {} 
class C extends A {} 

<T extends A> T getValue() { 
    return new C(); 
} 

、TはAの任意のサブタイプに解決される可能性がありますので、我々はCのインスタンスを返すことができません（this.<B>getValue()を呼び出すことによって）、およびCですサブタイプはBではありません。