When are casts appropriate?

Casts are generally undesirable, but there are several situations where a cast legitimately comes in handy:


Last updated 05 Jan 2004 13:21. Copyright © 2004 Ben Pfaff.
May be freely redistributed, but copyright notice must be retained.