객체 작성자

Question

과 트릭이 필요 이건 내 코드입니다 :

public interface InterfaceA<J>{ 
    // … 
} 

public interface InterfaceB extends InterfaceA<String> { 
    // … 
} 

public interface InterfaceC extends InterfaceA<Long>{ 
    // … 
} 

public class Creator<J, I extends InterfaceA<J>> {} 

public abstract class Base<J, J1> implements InterfaceA<J> {  
    protected Creator<J, J1> creator;  

    protected Base() { 
     creator=ObjectCreator.createCreator(); 
    } 
} 

public class Extension1 extends Base<Integer> implements InterfaceB { 
    // … 
} 

public class Extension2 extends Base<Double> implements InterfaceC { 
    // … 
} 

내가 Creator<Double, interfaceC>을 가지고 Creator<Integer, InterfaceB> 및 Extension2을 가지고 Extension1를 원한다. 패턴을 봐? Creator<T1, T2> 여기에서 T1은 직접적인 부모의 유형이고 T2은 상기 클래스에 의해 구현 된 인터페이스입니다. 이 일을 할 수있는 방법이 있습니까? 아무도 ObjectCreator.createCreator() 코드를 말할 수 있습니까?

는 지금 내 코드는 다음과 같습니다 : 내 모든 코드를 통해 오류를 가지고

public class ObjectCreator { 
    public static <J, I extends InterfaceA<J>> Creator<J, I> createCreator() { 
     return new Creator(); 
    } 
} 

. 나는 정말로 혼란 스럽다. 내가 여기서 무엇을 놓치고 있니? 중요성의 특정한 순서에

package scratch; 

interface InterfaceA<J> { 
    // … 
} 

interface InterfaceB extends InterfaceA<String> { 
    // … 
} 

interface InterfaceC extends InterfaceA<Long> { 
    // … 
} 

class Creator<J, I extends InterfaceA<J>> { 
} 

abstract class Base<J, I extends InterfaceA<J>> { 
    protected Creator<J, I> creator; 

    protected Base(Class<J> jClass, Class<I> iClass) { 
     creator = ObjectCreator.createCreator(jClass, iClass); 
    } 
} 

class Extension1 extends Base<String, InterfaceB> implements InterfaceB { 
    protected Extension1() { 
     super(String.class, InterfaceB.class); 
    } 
} 

class Extension2 extends Base<Long, InterfaceC> implements InterfaceC { 
    protected Extension2() { 
     super(Long.class, InterfaceC.class); 
    } 
} 

class ObjectCreator { 
    public static <J, I extends InterfaceA<J>> Creator<J, I> 
    createCreator(Class<J> jClass, Class<I> iClass) { 
     return new Creator(); 
    } 
} 

:

Answer 1

당신이 놓친 물건의 전체 무리는 컴파일 버전은 다음과 같이 보일 것이다있다

• 당신은 서명 된 클래스가있을 때 createCreator()처럼, 형식 토큰으로 Class 개체를 전달해야합니다. Java 컴파일러는 반환 값을 할당 할 변수의 유형에 따라 유형을 유추 할 수 없습니다. 게다가, 당신은 어쨌든 타입 소거 때문에 그것들을 원한다. 그렇지 않으면 주어진 타입에 따라 Creator을 특화시킬 수 없다.
  • 두 개의 유형 매개 변수가있는 이있는 경우 확장 클래스는 두 유형 매개 변수를 모두 사용해야합니다.
  • 확장 클래스 서명이 이상했습니다. Creator<Integer, InterfaceA<String>>을 가질 수 없기 때문에 class Extension1 extends Base<Integer, InterfaceA<String>>을 가질 수 없습니다. createCreator()에 명시적인 형식 토큰을 사용하면 오류가 덜 신비스럽고 어디에서나이 제약 조건을 전파해야합니다. Base을 J과 I 형식 매개 변수 사이의 제약 조건과 독립적으로 만들 수는 없습니다.