Почему этот шаблон не работает?

Question

interface A { 
    String n(); 
} 
class B implements A { 
    @Override 
    public String n() { return "asdf"; } 
} 
interface C<T extends A> { 
    T m(T t); 
} 
class D implements C<B> { 
    @Override 
    public B m(B b) { 
     return b; 
    } 
} 

Class<C<? extends A>> x = D.class; 

есть ошибка в последней строке

Type mismatch: cannot convert from Class<D> to Class<C<? extends A>> 

это выглядит прекрасно для меня, но, может быть, я не хватает какой-то тонкость, как работают групповые символы типа. Есть ли способ изменить тип на последней строке? Мне нужна эта ссылка, потому что я планирую делать это позже:

B b = new B(); 
A y = x.newInstance().m(b); 

это также имеет ошибку

The method m(capture#1-of ? extends A) in the type C<capture#1-of ? extends A> is not applicable for the arguments (B) 

однако, если я использовать его без маски и захвата, он отлично работает:

A z = D.class.newInstance().m(b); 

К сожалению, im kinda застрял с этим на данный момент, любая помощь будет оценена по достоинству.

редактировать: удалено this. ссылок

редактировать: изменились й быть

Class<? extends C<? extends A>> x = D.class; 

и она работает. Однако до сих пор получаю ошибки на x.newInstance().m(b)

The method m(capture#2-of ? extends A) in the type Test.C<capture#2-of ? extends A> is not applicable for the arguments (B) 

Answer 1

Право, сосредоточившись только на последней части:.

однако до сих пор получаю ошибки на x.newInstance() м (б)

The method m(capture#2-of ? extends A) in the type 
Test.C<capture#2-of ? extends A is not applicable for the arguments (B) 

Действительно - и это имеет смысл. Потому что ничто в коде не указывает, что вы действительно получили C<B>. Весь компилятор знает, что newInstance возвратил экземпляр тип, который реализует C<X> для тип X который реализует A. Как он узнает, что это B?

Если вы хотите позвонить m(b), вы будете нуждаться в C<B>, что означает, что ваше объявление будет нужно быть

Class<? extends C<B>> x = D.class; 

В этот момент вызова метода компилируется. Не совсем понятно, чего вы пытаетесь достичь, или это будет для вас достаточно хорошим, но, надеюсь, это объясняет, почему вы получаете ошибку, которую получаете ...

Answer 2

его тип небезопасный (я думаю , эти предупреждения отключены, чтобы избежать загрязнения аннотаций)

Class<? extends C> x = D.class; 
    B b = new B(); 
    A y = x.newInstance().m(b); 
    A z = D.class.newInstance().m(b); 

но он работает.