From: Hyman Rosen <hymie@prolifics.com>
Subject: Re: Dummy
Date: 2000/02/03
Date: 2000-02-03T15:12:50+00:00 [thread overview]
Message-ID: <t73dra2ubm.fsf@calumny.jyacc.com> (raw)
In-Reply-To: 38999F78.C17BAA7D@maths.unine.ch
Gautier <gautier.demontmollin@maths.unine.ch> writes:
> > Java casts are always perfectly safe. Casts between object types are
> > akin to C++'s dynamic_cast<T>, in that they are type-checked at runtime
> ^^^^^^^^^^^^^^^^^^^^^^^
> Cultural questions: isn't it a redhibitory source of slowndowns ?! Is there
> a mean to make such type checking at compile time in Java ?...
What's "redhibitory"? Anyway, the compiler can elide a runtime check if
it can prove that the cast would always succeed.
next prev parent reply other threads:[~2000-02-03 0:00 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-02-02 0:00 Dummy Simic_10111
[not found] ` <3898C380.BC01EC03@earthlink.net>
2000-02-03 0:00 ` Dummy Hyman Rosen
2000-02-03 0:00 ` Dummy Tucker Taft
2000-02-04 0:00 ` Dummy Florian Weimer
2000-02-04 0:00 ` Dummy Robert A Duff
2000-02-05 0:00 ` Dummy Jean-Pierre Rosen
2000-02-10 0:00 ` Dummy Geoff Bull
2000-02-07 0:00 ` Dummy Hyman Rosen
2000-02-07 0:00 ` Dummy Florian Weimer
2000-02-07 0:00 ` Dummy Hyman Rosen
2000-02-04 0:00 ` Dummy Robert A Duff
2000-02-03 0:00 ` Dummy Larry Kilgallen
2000-02-03 0:00 ` Dummy Hyman Rosen
2000-02-03 0:00 ` Dummy Larry Kilgallen
2000-02-03 0:00 ` Dummy Gautier
2000-02-03 0:00 ` Hyman Rosen [this message]
[not found] ` <389c50a6.14707859@news.flash.net>
2000-02-04 0:00 ` Dummy Marin D. Condic
-- strict thread matches above, loose matches on Subject: below --
2000-01-11 0:00 Dummy Simic_10111
2000-01-11 0:00 ` Dummy Gautier
2000-01-11 0:00 ` Dummy Ehud Lamm
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox