Extended Type Design.
Tyler Knott
tywebmail at mailcity.com
Tue Mar 20 13:29:25 PDT 2007
Bruno Medeiros wrote:
>
> Huh? Wait a second, but won't D have the same issue, albeit with
> 'final'? For example, suppose you have:
> final Foo foo;
> then what is:
> typeof(&foo)
> ?
>
invariant Foo* or const Foo*, depending on whichever is most appropriate for the situation. I'd guess that invariant
Foo* would be the default because it's semantically closest to what is being expressed (a pointer to immutable data),
though const Foo* is also allowable because you can't modify data through const pointers either.
More information about the Digitalmars-d
mailing list