Re: jaki wybrac jezyk? - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › jaki wybrac jezyk? › Re: jaki wybrac jezyk?

Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.uni-
stuttgart.de!news.stw-bonn.de!newsreader4.netcologne.de!news.netcologne.de!nx01
.iad01.newshosting.com!newshosting.com!news-out.readnews.com!transit3.readnews.
com!postnews.google.com!m18g2000vbl.googlegroups.com!not-for-mail
From: Maciej Sobczak <s...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: jaki wybrac jezyk?
Date: Tue, 16 Aug 2011 13:27:55 -0700 (PDT)
Organization: http://groups.google.com
Lines: 52
Message-ID: <3...@m...googlegroups.com>
References: <2...@v...googlegroups.com>
<5...@n...onet.pl>
<a...@e...googlegroups.com>
<op.vz9ot2qr8x7o78@notebook>
<3...@h...googlegroups.com>
<j2d2k9$q10$1@news.onet.pl>
NNTP-Posting-Host: 83.3.40.82
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1313526476 13983 127.0.0.1 (16 Aug 2011 20:27:56 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Tue, 16 Aug 2011 20:27:56 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: m18g2000vbl.googlegroups.com; posting-host=83.3.40.82;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: HUALESNKRC
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.2.13)
Gecko/20101203 Firefox/3.6.13,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.programming:191934
[ ukryj nagłówki ]
On Aug 16, 8:27 am, Michal Kleczek <k...@p...onet.pl> wrote:

> Dobre.
> Ale nieprawdziwe :)

Sprawdziłeś?

> Java rzuci ClassCastException na pierwszym add (fakt - w runtime).

To ja mam zepsutą Javę (1.6.0), bo u mnie rzuca dopiero na drugim add.

> 1. Wymaga tego specyfikacja TreeSet.add()

Wg. dokumentacji (6) wyjątek leci "if the specified object cannot be
compared with the elements currently in this set ". Czyli jeśli zbiór
jest pusty, to ma nie lecieć.

> 2. Zweryfikowalem zrodla

W jakiej wersja Javy?

> ktorej put() w przypadku gdy mapa jest pusta probuje porownac klucz sam
> ze soba (wlasnie w celu zweryfikowania typu).

I to ma być "statyczna kontrola typów"? Porównywanie obiektu samego ze
sobą w run-time?
Ale jaja. :-D

> API _zawsze_ mozna spieprzyc

To nie jest kwestia API. TreeSet<NonComparable> jest bez sensu i w
poważnym języku można to sprawdzić *od razu*. Nawet bez dostępu do
implementacji klasy TreeSet.
Tak, właśnie np. Ada nie potrzebuje widzieć implementacji, żeby
stwierdzić, że to jest bez sensu. I to jest właśnie statyczna kontrola
typów a nie jakieś machanie rękami w run-time.

> Tak przy okazji - dlaczego w C++ wysypie sie kompilacja na _pierwszym_
> add?

Bo wtedy następuje konkretyzacja funkcji add i wtedy kompilator się
zorientuje, że nie ma jak porównać obiektów - nawet jeśli jest to w
niewykorzystanej wtedy gałęzi if.
(ale rozumiem, że już to wiesz :-) )

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com