Steven Schveighoffer wrote:
That's a resounding yes.
Consider that this is allowed:
class X {}
struct S
{
X foo;
void setFoo(X newfoo) pure {foo = newfoo;}
}
If X is ref-counted, you HAVE to increment the ref count.
The only issue here is, ref counting may have to access global data. But we
already have exceptions for memory management, even for strong-pure functions.
-Steve
On Jun 25, 2013, at 4:48 PM, Walter Bright wrote:
> I have overlooked addressing what happens when you pass an RC ref to a pure
function. Is the pure function allowed to call AddRef()/Release()? Not sure.