Różnica między „*” i „Any” w kotlinach generycznych

Nie jestem pewien, czy w pełni rozumiem różnicę między SomeGeneric<*>i SomeGeneric<Any>. Myślę, że *reprezentuje wszystko (symbol wieloznaczny) i Anyreprezentuje obiekt, z którego dziedziczą WSZYSTKIE obiekty. Wygląda więc na to, że powinny być takie same, ale czy tak jest?

Pomocne może być myślenie o projekcji gwiazdy jako o sposobie przedstawienia nie dowolnego typu, ale jakiegoś ustalonego typu, którego dokładnie nie wiesz.

Na przykład typ MutableList<*>reprezentuje listę czegoś (nie wiesz dokładnie, co). Więc jeśli spróbujesz dodać coś do tej listy, nie odniesiesz sukcesu. Może to być lista Strings, lista Ints lub lista czegoś innego. Kompilator w ogóle nie pozwoli na umieszczenie żadnego obiektu na tej liście, ponieważ nie może zweryfikować, czy lista akceptuje obiekty tego typu. Jeśli jednak spróbujesz wyciągnąć element z takiej listy, na pewno otrzymasz obiekt typu Any?, ponieważ wszystkie obiekty w Kotlinie dziedziczą po Any.

Z komentarza asco poniżej:

Dodatkowo List<*>może zawierać obiekty dowolnego typu, ale tylko tego typu, więc może zawierać ciągi (ale tylko ciągi znaków), podczas gdy List<Any> może zawierać ciągi, liczby całkowite i tak dalej, wszystkie na tej samej liście.

W kontekście, o którym myślę, że sugerujesz, SomeGeneric<*>jest równoważne SomeGeneric<out Any?>. Odpowiednik Java to SomeGeneric<? extends Object>.

Składnia o nazwie „projekcje gwiazd”. Oto oficjalne dokumenty: https://kotlinlang.org/docs/reference/generics.html#star-projections