On 4/24/16 6:40 AM, Nick Treleaven wrote:
On Friday, 15 April 2016 at 18:46:01 UTC, Steven Schveighoffer wrote:
inout(T)[] overlap(T)(inout(T)[] r1, inout(T)[] r2)
Might be nice if inout applied to template parameter types:
T[] overlap(inout T)(T[] r1, T[] r2);
If it wasn't for the virtual function issue, I wonder if inout would
still be needed on runtime arguments given the above feature?
The only issue is that overlap being passed a mutable T[] could modify
the data. This is the major deficiency with the template solution. As
I've said before, if you don't care about advertisement of non-mutation,
then inout doesn't really do much for you.
-Steve
