`in` parameters made useful
Per Nordlöw
per.nordlow at gmail.com
Sat Aug 1 15:22:26 UTC 2020
On Friday, 31 July 2020 at 22:01:06 UTC, Adam D. Ruppe wrote:
> On Friday, 31 July 2020 at 21:49:25 UTC, Mathias LANG wrote:
>> B) It makes `in` take the effect of `ref` when it makes sense.
>
> i like it
>
>> D) It allows to pass rvalues to `in`. Because we know it's
>> `scope`, so it cannot be escaped (allegedly), and it's
>> `const`, so it cannot be modified, it's only logical that you
>> can give it rvalues.
>
> i like this too
>
>
> I've argued before the compiler should be allowed to optimize
> this in `in` case anyway so yeah you have my support here.
I agree. This is the D way. More simplicity via more inference.
Note that brings the meaning of the `in`-parameter-qualifier very
close (it to equal) to its meaning in Ada.
More information about the Digitalmars-d
mailing list