I wish all qualifiers were revisited with an eye for simplification

Steven Schveighoffer schveiguy at gmail.com
Mon Aug 24 17:19:13 UTC 2020

On 8/24/20 1:09 PM, Timon Gehr wrote:
> On 24.08.20 18:27, Steven Schveighoffer wrote:

>> 2. It is not mutable even when the this reference is.
> (That's a hard property to keep in a sound version without artificial 
> limitations.)

I'm not sure what you mean -- inout is like const in that you cannot 
mutate data via that reference.

with template this parameters, you can statically check if it's mutable, 
and mutate.

It is only important if your goal is to identify that a function will 
not modify data passed to it. In essence, if you care about const functions.


More information about the Digitalmars-d mailing list