Java泛型 - 不兼容的类型

Question

只是需要一些帮助，这错误代码：显示在代码的结尾

interface ParticleId{ 
    int getX(); 
} 

class ParticleId1 implements ParticleId{ 
    int a; 
    @Override 
    public int getX() { 
     return a; 
    } 
} 

class ParticleId2 implements ParticleId{ 
    int a,b; 
    @Override 
    public int getX() { 
     return a+b; 
    } 
} 

interface ParticleInt<K extends ParticleId, O extends ParticleInt<K, O>>{ 
    O withSmt(); 
} 

class Particle<K extends ParticleId> implements ParticleInt<K, Particle<K>>{ 
    @Override 
    public Particle<K> withSmt() { 
     return new Particle<>(); 
    } 
} 

class Particle2<K extends ParticleId> extends Particle<K>{ 
    @Override 
    public Particle2<K> withSmt() { 
     return new Particle2<>(); 
    } 
} 

interface Executable<P extends Particle<? extends ParticleId>>{ 
    void setExecutableStrategy(ExecutableStrategy<P> s); 
} 

interface ExecutableStrategy<P extends Particle<? extends ParticleId>>{ 
    Stream<P> exec(List<P> l); 
} 

class Particle2Strat implements ExecutableStrategy<Particle2<? extends ParticleId>>{ 
    @Override 
    public Stream<Particle2<? extends ParticleId>> exec(List<Particle2<? extends ParticleId>> l) { 
     return l.stream().map(x -> x.withSmt()); 
    } 
} 

class ParticleStrat<P extends Particle<? extends ParticleId>> implements ExecutableStrategy<P>{ 
    @Override 
    public Stream<P> exec(List<P> l) { 
     return l.stream().map(x -> x.withSmt()); 
     // [44,38] incompatible types: inference variable R has incompatible bounds 
     // equality constraints: P 
     // [ERROR] lower bounds: Particle<capture#1 of ? extends ParticleId> 
    } 
} 

错误，并确切的描述是[44,38] incompatible types: inference variable R has incompatible bounds. equality constraints: P. [ERROR] lower bounds: Particle<capture#1 of ? extends ParticleId>。

快速修复，我发现工作才刚刚手动像(P)x.withSmt()铸造lambda来（P）。如果可能的话，任何人都知道更正确的方法来解决这个问题？

我所以它不再使用Integer但ParticleId界面刚刚更新的代码。

UPDATE

更新后，我现在有这样的问题：

class ParticleStrat<P extends ParticleId> implements ExecutableStrategy<Particle<P>>{ 
    @Override 
    public Stream<Particle<P>> exec(List<Particle<P>> l) { 
     return l.stream().map(x -> x.withSmt()); //OK NOW 
    } 
} 

class MainExecutable<P extends Particle<? extends ParticleId>> implements Executable<P>{ 

    private ExecutableStrategy<P> s; 

    public MainExecutable() { 
     this.s = new ParticleStrat<>(); 
     //incompatible types: cannot infer type arguments for ParticleStrat<> 
     //no instance(s) of type variable(s) P exist so that ParticleStrat<P> conforms to ExecutableStrategy<P> 
    } 

    @Override 
    public void setExecutableStrategy(ExecutableStrategy<P> s) { 
     this.s = s; 
    } 
} 

Answer 1

更改ParticleStrat类的声明如下解决了编译错误：

class ParticleStrat<P extends ParticleInt<P>> implements ExecutableStrategy<P>{ 
    @Override 
    public Stream<P> exec(List<P> l) { 
     return l.stream().map(x -> x.withSmt()); 
    } 
} 

这样x.withSmt()保证返回P。

编辑按照你的问题的变化：

这通过编译：

class ParticleStrat<K extends Integer> implements ExecutableStrategy<Particle<K>>{ 
    @Override 
    public Stream<Particle<K>> exec(List<Particle<K>> l) { 
     return l.stream().map(x -> x.withSmt()); 
    } 
} 

以及最新的更新后：

class ParticleStrat<K extends ParticleId> implements ExecutableStrategy<Particle<K>>{ 
    @Override 
    public Stream<Particle<K>> exec(List<Particle<K>> l) { 
     return l.stream().map(x -> x.withSmt()); 
    } 
} 

至于你的最新的问题，同样的方法也工作：

class MainExecutable<K extends ParticleId> implements Executable<Particle<K>>{ 

    private ExecutableStrategy<Particle<K>> s; 

    public MainExecutable() { 
     this.s = new ParticleStrat<>(); 
    } 

    @Override 
    public void setExecutableStrategy(ExecutableStrategy<Particle<K>> s) { 
     this.s = s; 
    } 
}