Dear Andreas et al.,
Suppose the results from copy_if() are few, in relation to the buffer.
Wouldn't it be advantageous (performance-wise) to create a results-sized
buffer, copy the results there, and minimize buffer transfer?
In other words, am I introducing any bugs?
Source code here:
Thank you for your work. It is wonderful!
please... Help! :)