Re: is(Mutex == shared) == false?

[Sean Kelly]

On Tuesday, 11 February 2014 at 17:09:39 UTC, Stanislav Blinov
wrote:

Maybe an additional function like this could be helpful:

--8<--

HeadUnshared!T localOp(string op,T,V)(T what, V mod) if (is(T == shared))

{ ... }

-->8--

Or even something like this:

--8<--

ref auto assumeLocal(T)(ref T v) if (is(T == shared))
{
    // Cast via pointer to preserve lvalue
    return *cast(HeadUnshared!T*)&v;
}

-->8--

With which we can perform this:

--8<--

--assumeLocal(m_numWaitersBlocked);

-->8--

What do you think?

I think it's a good idea.  Please file bugzilla requests for this
and the final method issue :-)

Regarding making Mutex methods final, this may require some care
because existing projects might rely on them being virtual.  I'm
pretty sure vibe.d, for example, overrides Condition as well.  I
don't know what the best process is for changing these to final
in terms of breaking code.