addAll(Collection<? extends E> c)

addAll(Collection<? extends E> c)
Karol8650
K8
Karol8650
K8
  • Rejestracja:około 5 lat
  • Ostatnio:prawie 4 lata
  • Postów:13
0

Witam, dlaczego poniższy kod się kompiluje? W metodzie addAll(Collection<? extends E> c) z klasy Vector, składnia <? extends E> oznacza "some type that either is E or a subtype of E", a przecież klasa Stack dziedziczy z klasy Vector, więc Vector nie jest podtypem klasy Stack (tylko Stack jest podtypem klasy Vector).

Kopiuj
Stack<Integer> stack = new Stack<Integer>();

        stack.push(3);
        stack.push(5);
        stack.push(8);

        Vector v = new Vector();

        v.add(1);
        v.add(2);
        v.add("one");
        v.add("two");
        v.add(3);

       stack.addAll(v);
Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
lavoholic
LA
lavoholic
LA
  • Rejestracja:ponad 5 lat
  • Ostatnio:9 miesięcy
  • Postów:112
0

W tym wypadku <? extends E> E to jest Integer. Natomiast jak widzimy ta metoda pochodzi z interfejsu Collection, a obie te klasy - Vector i Stack pochodzą od tego właśnie interfejsu.

E tutaj dotyczy typów elementów kolekcji, a nie typu kolekcji.

edytowany 1x, ostatnio: lavoholic
szweszwe
No ale to nie odpowiada na pytanie, dlaczego do Stacka który przyjmuje tylko Integer możesz dodać Vector który zawiera inty i stringi.
Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
KamilAdam
KamilAdam
KamilAdam
KamilAdam
  • Rejestracja:ponad 6 lat
  • Ostatnio:5 dni
  • Lokalizacja:Silesia/Marki
  • Postów:5505
1
lavoholic napisał(a):

W tym wypadku <? extends E> E to jest Integer. Natomiast jak widzimy ta metoda pochodzi z interfejsu Collection, a obie te klasy - Vector i Stack pochodzą od tego właśnie interfejsu.

E tutaj dotyczy typów elementów kolekcji, a nie typu kolekcji.

Miałem już na ten temat przygotowaną ładną odpowiedź, którą skasowałem (ale wklejam ją poniżej), gdy zorientowałem się że chyba OP pyta nie o to o co pyta :P
Zauważ że udało mu się przemycić kilka elementów będącymi Stringami. Strzelam że są to niedoskonałości biblioteki kolekcji z czasów braku generyków w Javie

Moja ładna odpowiedź nie na temat:

  1. Działa bo Vector implementuje Collection.
  2. typ generyczny E odnosi się do typu elementu a nie typu kolekcji. Czyli w tym wypadki do Integer
  3. Klas Stack i Vector nie powinno się używać bo są wolne (synchronizowane). Zamiast tego lepiej używać ArrayList
  4. W ogóle klas dziedziczących po Collection w Javie nie powinno się używać, bo są zepsute (zły dizajn interfejsu, z czasów mutowalnych kolekcji). A zamiast tego powinno się używać biblioteki vavr, ale to już kontrowersyjna opinia
Mama called me disappointment, Papa called me fat
Każdego eksperta można zastąpić backendowcem który ma się douczyć po godzinach. Tak zostałem ekspertem AI, Neo4j i Nest.js . Przez mianowanie
Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
Karol8650
K8
Karol8650
K8
  • Rejestracja:około 5 lat
  • Ostatnio:prawie 4 lata
  • Postów:13
0

Skoro E to Integer, to czym jest "?", bo musi to dziedziczyć po E lub być typem E, tak?

Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
Wibowit
Wibowit
Wibowit
Wibowit
  • Rejestracja:prawie 20 lat
  • Ostatnio:około 2 godziny
1

Samo Vector jest mniej więcej tożsame z Vector<Object> (w pewnych aspektach), natomiast kompilator i tak powinien się ciskać, gdy mieszasz kod generyczny z niegenerycznym. Coś w ten deseń wypluwa domyślnie:

Kopiuj
javac Foo.java
Note: Foo.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.

Jak dodasz tę opcję -Xlint:unchecked do wywołania javac to dostaniesz pełny opis błędu. Jeżeli nie jesteś pewien jakie masz problemy z generykami albo jak je naprawić to włączenie tej opcji jest w zasadzie wymagane.

"Programs must be written for people to read, and only incidentally for machines to execute." - Abelson & Sussman, SICP, preface to the first edition
"Ci, co najbardziej pragną planować życie społeczne, gdyby im na to pozwolić, staliby się w najwyższym stopniu niebezpieczni i nietolerancyjni wobec planów życiowych innych ludzi. Często, tchnącego dobrocią i oddanego jakiejś sprawie idealistę, dzieli od fanatyka tylko mały krok."
Demokracja jest fajna, dopóki wygrywa twoja ulubiona partia.
Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
lavoholic
LA
lavoholic
LA
  • Rejestracja:ponad 5 lat
  • Ostatnio:9 miesięcy
  • Postów:112
1

W ogóle nie zauważyłem tych stringów @szweszwe, racja. To tutaj jeszcze jest ta kwestia, że nasz Vector w tym przypadku nie ma nadanego typu. Wtedy nie będzie żadnego problemu, ba Stack też go sobie bez problemowo przyjmie. Problem nastąpi gdy odpalimy sobie przykładowo stack.forEach(System.out::println), wykrzaczy nam się na próbie castowania String -> Integer.

edytowany 2x, ostatnio: lavoholic
Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
Wibowit
Wibowit
Wibowit
Wibowit
  • Rejestracja:prawie 20 lat
  • Ostatnio:około 2 godziny
0
Karol8650 napisał(a):

Skoro E to Integer, to czym jest "?", bo musi to dziedziczyć po E lub być typem E, tak?

Jeśli E to Integer to w szczególnym przypadku ? extends E może oznaczać również Integera. Weź pod uwagę to, że extends w przypadku generyków oznacza górne ograniczenie (upper bound), natomiast extends w przypadku dziedziczenia wskazuje na klasę bazową (parent/ base/ etc class). Nie są to do końca tożsame pojęcia. Ponadto możesz zrobić ? super E w generykach, a nie zrobisz class CośTam super CośInnego więc to kolejny dowód na to, że te słowa kluczowe oznaczają nieco inną rzecz w różnych kontekstach.

"Programs must be written for people to read, and only incidentally for machines to execute." - Abelson & Sussman, SICP, preface to the first edition
"Ci, co najbardziej pragną planować życie społeczne, gdyby im na to pozwolić, staliby się w najwyższym stopniu niebezpieczni i nietolerancyjni wobec planów życiowych innych ludzi. Często, tchnącego dobrocią i oddanego jakiejś sprawie idealistę, dzieli od fanatyka tylko mały krok."
Demokracja jest fajna, dopóki wygrywa twoja ulubiona partia.
edytowany 1x, ostatnio: Wibowit
Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
szweszwe
szweszwe
szweszwe
szweszwe
  • Rejestracja:ponad 11 lat
  • Ostatnio:4 dni
  • Lokalizacja:Kraków
  • Postów:1694
1
Wibowit napisał(a):

Samo Vector jest mniej więcej tożsame z Vector<Object>

Tylko ta pierwsza wersja się kompiluje a druga nie. No i padło pytanie 'dlaczego'. Jest jakiś konkretny powód?

Wibowit
Gdzie tu są dwie wersje?
Wibowit
W kodzie z początkowego posta nie kompiluje się tylko ostatnia instrukcja, no nie?
szweszwe
Kompiluje się całość. Po zmianie Vector na Vector<Object> nie kompiluje się.
Wibowit
Aaaa, ok. Na początku myślałem że pytanie jest o to dlaczego się NIE kompiluje :)
szweszwe
Też tak przeczytałem na początku :)
Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
Wibowit
Wibowit
Wibowit
Wibowit
  • Rejestracja:prawie 20 lat
  • Ostatnio:około 2 godziny
1

OK. Teraz rozumiem. Myślałem, że pytanie było "dlaczego poniższy kod się NIE kompiluje", a jest przecież "dlaczego poniższy kod się kompiluje". Otóż kompiluje się, ale z ostrzeżeniami, więc trzeba samemu ocenić czy te ostrzeżenia wskazują na niebezpieczeństwo. Tutaj tak, bo do Stack<Integer> dodajesz Stringi, więc kod wybuchnie w runtime jak będziesz chciał wyciągnąć tego Stringa z kolekcji typu Stack<Integer>. Najlepiej po prostu napisać kod z poprawnymi generykami, taki który nie będzie generował ostrzeżeń i nie będzie naszpikowany ręcznymi rzutowaniami.

"Programs must be written for people to read, and only incidentally for machines to execute." - Abelson & Sussman, SICP, preface to the first edition
"Ci, co najbardziej pragną planować życie społeczne, gdyby im na to pozwolić, staliby się w najwyższym stopniu niebezpieczni i nietolerancyjni wobec planów życiowych innych ludzi. Często, tchnącego dobrocią i oddanego jakiejś sprawie idealistę, dzieli od fanatyka tylko mały krok."
Demokracja jest fajna, dopóki wygrywa twoja ulubiona partia.
edytowany 1x, ostatnio: Wibowit
Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
Karol8650
K8
Karol8650
K8
  • Rejestracja:około 5 lat
  • Ostatnio:prawie 4 lata
  • Postów:13
0

Już chyba wszystko rozumiem, dziękuję za pomoc.

Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
szopn
szopn
szopn
szopn
  • Rejestracja:ponad 5 lat
  • Ostatnio:10 miesięcy
  • Postów:11
0

Twoim problem jest tutaj to że używasz addAll w runtime, a typy genetyczne są usuwane podczas kompilacji i sa tam Objecty. Więc w runtime możesz wrzucić juz dowolny obiekt do Stack-a.

Jakbyś podał typ generyczny dla Vectora to kompilator wywaliłby ci kompilacje, a tak masz tylko ostrzeżenie bo nie można określić czy sie zgadzają typy czy nie.

edytowany 2x, ostatnio: szopn
Wibowit
No, prawie. Po włączeniu lintera do genericsów w Javie (opcja -Xlint:unchecked) pokazują się ostrzeżenia, a nie błędy: warning: [unchecked] unchecked call to add(E) as a member of the raw type Vector, warning: [unchecked] unchecked method invocation: method addAll in class Vector is applied to given types, warning: [unchecked] unchecked conversion.
Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
Wibowit
Wibowit
Wibowit
Wibowit
  • Rejestracja:prawie 20 lat
  • Ostatnio:około 2 godziny
1
szopn napisał(a):

Problem tutaj jest to że użycie addAll jest w runtime, a typy genetyczne są usuwane podczas kompilacji

Przed usuwaniem generyków kompilator sprawdza ich poprawność i rzuca ostrzeżeniami lub błędami jeśli coś się nie zgadza, więc trzeba się po prostu tym komunikatom przyjrzeć i rozwiązać zgłoszony przez kompilator problem.

"Programs must be written for people to read, and only incidentally for machines to execute." - Abelson & Sussman, SICP, preface to the first edition
"Ci, co najbardziej pragną planować życie społeczne, gdyby im na to pozwolić, staliby się w najwyższym stopniu niebezpieczni i nietolerancyjni wobec planów życiowych innych ludzi. Często, tchnącego dobrocią i oddanego jakiejś sprawie idealistę, dzieli od fanatyka tylko mały krok."
Demokracja jest fajna, dopóki wygrywa twoja ulubiona partia.
edytowany 1x, ostatnio: Wibowit
szopn
Może zamiast ślepo poprawić to co nam wywali kompilator to lepiej nauczyć się o typach generycznych?
Wibowit
Gdzie napisałem, żeby poprawiać na ślepo?
szopn
A gdzie napisałem że nie trzeba patrzeć na komunikaty kompilatora? :)
Wibowit
Z twojego postu wynika, że problem jest z Javą, a w rzeczywistości problem jest z programistą, który olewa komunikaty kompilatora.
szopn
Poprawiłem :)
szopn
Problem zawsze jest z programista ktory nie rozumie technologi ktora uzywa, myslalem ze to jasne :P
Wibowit
W tym przypadku wymazywanie typów nie jest problemem. Teoretycznie typy generyczne mogłyby być niewymazywane, a podany kod dalej się kompilować i wywalać w dokładnie tych samych miejscach co obecnie.
Udostępnij
Kopiuj link do postu Kopiuj link do postu jako Markdown
Komentuj
Treść
Podgląd
Kliknij, aby dodać treść...
Kliknij, aby dodać załącznik lub wklej ze schowka.
Instrukcja obsługi Markdown
Pomoc 1.18.8

Typografia

Edytor obsługuje składnie Markdown, w której pojedynczy akcent *kursywa* oraz _kursywa_ to pochylenie. Z kolei podwójny akcent **pogrubienie** oraz __pogrubienie__ to pogrubienie. Dodanie znaczników ~~strike~~ to przekreślenie.

Możesz dodać formatowanie komendami , , oraz .

Ponieważ dekoracja podkreślenia jest przeznaczona na linki, markdown nie zawiera specjalnej składni dla podkreślenia. Dlatego by dodać podkreślenie, użyj <u>underline</u>.

Komendy formatujące reagują na skróty klawiszowe: Ctrl+B, Ctrl+I, Ctrl+U oraz Ctrl+S.

Linki

By dodać link w edytorze użyj komendy lub użyj składni [title](link). URL umieszczony w linku lub nawet URL umieszczony bezpośrednio w tekście będzie aktywny i klikalny.

Jeżeli chcesz, możesz samodzielnie dodać link: <a href="link">title</a>.

Wewnętrzne odnośniki

Możesz umieścić odnośnik do wewnętrznej podstrony, używając następującej składni: [[Delphi/Kompendium]] lub [[Delphi/Kompendium|kliknij, aby przejść do kompendium]]. Odnośniki mogą prowadzić do Forum 4programmers.net lub np. do Kompendium.

Wspomnienia użytkowników

By wspomnieć użytkownika forum, wpisz w formularzu znak @. Zobaczysz okienko samouzupełniające nazwy użytkowników. Samouzupełnienie dobierze odpowiedni format wspomnienia, zależnie od tego czy w nazwie użytkownika znajduje się spacja.

Znaczniki HTML

Dozwolone jest używanie niektórych znaczników HTML: <a>, <b>, <i>, <kbd>, <del>, <strong>, <dfn>, <pre>, <blockquote>, <hr/>, <sub>, <sup> oraz <img/>.

Skróty klawiszowe

Dodaj kombinację klawiszy komendą notacji klawiszy lub skrótem klawiszowym Alt+K.

Reprezentuj kombinacje klawiszowe używając taga <kbd>. Oddziel od siebie klawisze znakiem plus, np <kbd>Alt+Tab</kbd>.

Indeks górny oraz dolny

Przykład: wpisując H<sub>2</sub>O i m<sup>2</sup> otrzymasz: H2O i m2.

Składnia Tex

By precyzyjnie wyrazić działanie matematyczne, użyj składni Tex.

<tex>arcctg(x) = argtan(\frac{1}{x}) = arcsin(\frac{1}{\sqrt{1+x^2}})</tex>

Kod źródłowy

Krótkie fragmenty kodu

Wszelkie jednolinijkowe instrukcje języka programowania powinny być zawarte pomiędzy obróconymi apostrofami: `kod instrukcji` lub ``console.log(`string`);``.

Kod wielolinijkowy

Dodaj fragment kodu komendą . Fragmenty kodu zajmujące całą lub więcej linijek powinny być umieszczone w wielolinijkowym fragmencie kodu. Znaczniki ``` lub ~~~ umożliwiają kolorowanie różnych języków programowania. Możemy nadać nazwę języka programowania używając auto-uzupełnienia, kod został pokolorowany używając konkretnych ustawień kolorowania składni:

```javascript
document.write('Hello World');
```

Możesz zaznaczyć również już wklejony kod w edytorze, i użyć komendy  by zamienić go w kod. Użyj kombinacji Ctrl+`, by dodać fragment kodu bez oznaczników języka.

Tabelki

Dodaj przykładową tabelkę używając komendy . Przykładowa tabelka składa się z dwóch kolumn, nagłówka i jednego wiersza.

Wygeneruj tabelkę na podstawie szablonu. Oddziel komórki separatorem ; lub |, a następnie zaznacz szablonu.

nazwisko;dziedzina;odkrycie
Pitagoras;mathematics;Pythagorean Theorem
Albert Einstein;physics;General Relativity
Marie Curie, Pierre Curie;chemistry;Radium, Polonium

Użyj komendy by zamienić zaznaczony szablon na tabelkę Markdown.

Lista uporządkowana i nieuporządkowana

Możliwe jest tworzenie listy numerowanych oraz wypunktowanych. Wystarczy, że pierwszym znakiem linii będzie * lub - dla listy nieuporządkowanej oraz 1. dla listy uporządkowanej.

Użyj komendy by dodać listę uporządkowaną.

1. Lista numerowana
2. Lista numerowana

Użyj komendy by dodać listę nieuporządkowaną.

* Lista wypunktowana
* Lista wypunktowana
** Lista wypunktowana (drugi poziom)

Składnia Markdown

Edytor obsługuje składnię Markdown, która składa się ze znaków specjalnych. Dostępne komendy, jak formatowanie , dodanie tabelki lub fragmentu kodu są w pewnym sensie świadome otaczającej jej składni, i postarają się unikać uszkodzenia jej.

Dla przykładu, używając tylko dostępnych komend, nie możemy dodać formatowania pogrubienia do kodu wielolinijkowego, albo dodać listy do tabelki - mogłoby to doprowadzić do uszkodzenia składni.

W pewnych odosobnionych przypadkach brak nowej linii przed elementami markdown również mógłby uszkodzić składnie, dlatego edytor dodaje brakujące nowe linie. Dla przykładu, dodanie formatowania pochylenia zaraz po tabelce, mogłoby zostać błędne zinterpretowane, więc edytor doda oddzielającą nową linię pomiędzy tabelką, a pochyleniem.

Skróty klawiszowe

Skróty formatujące, kiedy w edytorze znajduje się pojedynczy kursor, wstawiają sformatowany tekst przykładowy. Jeśli w edytorze znajduje się zaznaczenie (słowo, linijka, paragraf), wtedy zaznaczenie zostaje sformatowane.

  • Ctrl+B - dodaj pogrubienie lub pogrub zaznaczenie
  • Ctrl+I - dodaj pochylenie lub pochyl zaznaczenie
  • Ctrl+U - dodaj podkreślenie lub podkreśl zaznaczenie
  • Ctrl+S - dodaj przekreślenie lub przekreśl zaznaczenie

Notacja Klawiszy

  • Alt+K - dodaj notację klawiszy

Fragment kodu bez oznacznika

  • Alt+C - dodaj pusty fragment kodu

Skróty operujące na kodzie i linijkach:

  • Alt+L - zaznaczenie całej linii
  • Alt+, Alt+ - przeniesienie linijki w której znajduje się kursor w górę/dół.
  • Tab/⌘+] - dodaj wcięcie (wcięcie w prawo)
  • Shit+Tab/⌘+[ - usunięcie wcięcia (wycięcie w lewo)

Dodawanie postów:

  • Ctrl+Enter - dodaj post
  • ⌘+Enter - dodaj post (MacOS)