Too many attributes?

[Bruno Medeiros]

Janice Caron wrote:
> On 29/04/2008, Bruno Medeiros <brunodomedeiros+spam at com.gmail> wrote:
>> Another example why "scoped const", despite "only" being a syntactical
>> convenience, might be so important.
> 
> That wouldn't help in this case. The reason you need the second
> declaration is so that one declaration can be pure, the other not.
> Steven's proposal solves a different problem.

Not if you combine "scoped const" with the partially pure function rules 
(see new thread). Example:

   //(using 'anyconst' as the scoped const keyword)

   class Object
   {
     pure anyconst bool opEquals(anyconst(Object) obj) {...}


The 3 versions of opEquals would be created. 2 of them would partially 
pure, the other (the invariant one) would be fully pure. The mutable 
version would be redudant though.

This would work, but since there is redundancy, I'm thinking there could 
be a better way to do it.


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