shared - i need it to be useful

Nicholas Wilson iamthewilsonator at hotmail.com
Sun Oct 21 15:54:07 UTC 2018


On Sunday, 21 October 2018 at 09:58:18 UTC, Walter Bright wrote:
> On 10/20/2018 11:08 AM, Nicholas Wilson wrote:
>> You can if no-one else writes to it, which is the whole point 
>> of Manu's proposal. Perhaps it should be const shared instead 
>> of shared but still.
>
> There is no purpose whatsoever to data that can be neither read 
> nor written.

Indeed but there is a subtle difference between that and Manu's 
proposal: access through the shared variable may not have 
non-atomic reads, not no reads.

> Shared data is only useful if, at some point, it is 
> read/written,

Yes

> presumably by casting it to unshared in @trusted code.

That is one way to do it, others include atomics  and other 
@trusted primitives

> As soon as that is done, you've got a data race with the other 
> existing unshared aliases.

You're in @trusted code, that is the whole point. The onus is on 
the programmer to make that correct, same with regular 
@safe/@trusted at system code.



More information about the Digitalmars-d mailing list