Extended Type Design.

[Bruno Medeiros]

Derek Parnell wrote:
>> 'const' is a guarantee that any data of that type will never be modified 
>> through a reference to that type (though other, non-const references to 
>> that type can modify the data).
> 
>  const Foo f = new Foo("nice");
>        Foo g = f;
> 

Since the above case wasn't answered, I will. The "Foo g = f;" statement 
isn't allowed at all, because you are casting a const (think readonly) 
reference to a non-const reference. That isn't allowed, by design, since 
the very purpose of const (think readonly), is to disallow the holder of 
that reference to do any changes on the reference data.

-- 
Bruno Medeiros - MSc in CS/E student
http://www.prowiki.org/wiki4d/wiki.cgi?BrunoMedeiros#D