Const template

[Andrei Alexandrescu (See Website For Email)]

Frits van Bommel wrote:
> "in", "out", "inout" and "lazy" aren't storage classes.
> http://www.digitalmars.com/d/declaration.html (in the big syntax block 
> at the top):
> -----
> StorageClass:
>         abstract
>         auto
>         const
>         deprecated
>         extern
>         final
>         override
>         scope
>         static
>         synchronized
> -----
> and later:
> -----
> InOut:
>         in
>         out
>         inout
>         lazy
> -----

This is more proof that it's highly unclear what they are. The article 
on lazy clearly says lazy is a storage class. Walter routinely refers to 
inout as to a storage class.

The good news is that they will all be integrated: their semantics 
clearly defined, as will be the semantics of all legal combinations 
thereof (e.g. lazy inout scope). (Many combinations will be disallowed 
on practical grounds as being useless, e.g. "in out".)


Andrei