Универсальные подстановочные знаки: назначение объекта суперкласса в список объектов подкласса

Question_1

class A {}
class B extends A {}

A aObj = new A();
B bObj = new B();

Мы знаем, что ниже будет приведено исключение класса в время выполнения.

List<B> list_B = new ArrayList<B>();
list_B.add((B)aObj); //ClassCast exception

Но

List<? extends A> list_4__A_AND_SubClass_A = new ArrayList<B>();
List<A> list_A = (ArrayList<A>)list_4__A_AND_SubClass_A;
list_A.add(aObj); // No exception here, Why?

Question_2

В методе, описанном ниже

void method(List<? extends A> list_4__A_AND_SubClass_A){
   //How do i find the passed list is of Type A or B ??
   // To decide List<A> list_A = (ArrayList<A>)list_4__A_AND_SubClass_A;
   //        OR List<B> list_B = (ArrayList<B>)list_4__A_AND_SubClass_A;
}

---

ОБНОВЛЕНИЕ

Q_1

Лучше я должен избегать ссылки на сборку, как показано ниже для модификации; Если мы не уверены в том, что прошедший список является типом A/B; для сохранения целостности в этом списке.

 List<A> list_A = (ArrayList<A>)list_4__A_AND_SubClass_A; 

Q_2

Я думаю, мы можем передать еще один аргумент от метода вызывающего метода к вызывающему методу, чтобы поддерживать целостность над списком при модификации при вызове метода.

void method(List<? extends A> list_4__A_AND_SubClass_A, Class<? extends A> obj){
     if (A.class.isAssignableFrom(obj)) {
         List<A> list_A = (List<A>)list_4__A_AND_SubClass_A;
            list_A.add(new A());
            list_A.add(new B());
     } else if (B.class.isAssignableFrom(obj)){
         List<B> list_B = (List<B>)list_4__A_AND_SubClass_A;
            //list_B.add(new A()); //only we can add B
            list_B.add(new B());
     }
}