Java ワイルドカードを使用したジェネリックスの指定について

List<? extends BBB> list1
を日本語に言い換えると、
「変数 list1 は、BBB型を継承した何かをジェネリックス型に持つ List型である」
となります。

実際、変数 list1 には List<BBB>型のオブジェクトだけでなく、List<CCC>型のオブジェクトや他のあらゆる List<XXX>型（XXX は BBB型を拡張したあらゆる型）のオブジェクトを代入できるようになります。 

しかし、コンパイラには、list1.add(new BBB())を実行する時点で list1 に何が代入されているかは分かりません。
（ソースコード全体を検査すれば分かるかも知れませんが、コンパイラはそこまで親切ではありません）

もし、list1 に List<CCC>型のオブジェクトが代入されていた場合、list1.add(new BBB())が実行できない事は分かりますね？
そのため、コンパイラはlist1.add(new BBB())をコンパイルエラーとします。

一方、list1 から取り出したオブジェクトが
「BBB型を継承した何か」
であることは明らかであるため、以下のコードは正常にコンパイルできます。

BBB b = list1.get(n); // n は int型の変数

「list.add(new BBB());」 
がコンパイルエラーにならない理由

は

「list2.add(new BBB());」 
がコンパイルエラーにならない理由

ですね？
これについては、List<? super BBB> list2を上の説明にならって日本語に言い換えてみると、分かるはずです。

list2 には （BBB型を含む）BBB型を継承したあらゆる型のオブジェクトをadd()できる反面、
list2.get(n)の戻り値は、Object型の変数にしか代入する事ができません。

list1の実体のジェネリクス指定がCCCの場合、BBB型を入れられません。
このように、確実に入れられる保証がないため、コンパイルエラーになります。
逆に、list2のジェネリクス指定はBBBのサブクラス型で、その型がAAAであれ、Objectであれ、その型にBBB型を入れるのは問題ないため、コンパイルが通るのです。

list.add(new BBB()); 

上記コードはlistに対しBBB型を格納しようとしています。
一方、宣言時にはnew List<? extends BBB>()と宣言しており、この宣言ではListの型としてBBB型を継承した?型を指定しています。

List1の要素の型には?型が指定されていますので、BBB型は指定できません。?型はBBB型を継承した?型であり、BBB型ではありません。

具体例で考えます。Humanクラスを継承したDancerクラスがあるとします。Dancerクラスは、Humanクラスのプロパティ（年齢）やメソッド（食べる、寝る）に加えて、異なるプロパティ（専門ダンス：バレエ、ブレイク）やメソッド（踊る）を持っているとします。
List<Dancer>()と宣言した場合、HumanはDancerで追加されたプロパティやメソッドは持っていませんので、格納できるとすると問題があります。
List(0)にDancer型、List(1)にHuman型を格納したとします。その場合、List(0)は踊ることができ、List(1)は踊ることができないことになります。Humanは踊るというメソッドを持っていませんので。
よって両者を混在させるわけにはいかず、コンパイル時にエラーにしてくれています。Human型とDancer型は異なるものであるということです。

逆に、DancerクラスはHumanクラスを継承しており、Humanクラスの持つプロパティやメソッドを持っていますので、Human型に対してはDancer型を代入することができます。
ただしこれも暗黙的型変換の結果として可能になっている処理であり、個人的には可読性の観点からあまり使ったことのある書き方ではありません。

参考になるかも