Most basic nothrow, pure, @safe functions?

Walter Bright newshound2 at digitalmars.com
Fri Mar 21 00:12:56 PDT 2014


On 3/20/2014 7:02 PM, deadalnix wrote:
> On Friday, 21 March 2014 at 02:00:11 UTC, Walter Bright wrote:
>> Mutexes implicitly share state. It's the reason they exist. They can't be
>> pure, because pure functions don't share state.
>
> If you got that road, you can't allow memory allocators to be
> used in pure code. That isn't a good argument.

The analogy doesn't apply. Operator new is regarded as supplying memory from an 
infinite reservoir. There is no implicit global state.

The whole point of a mutex is to change state and share it. It's utterly different.


More information about the Digitalmars-d mailing list