Adding the ability to enable memory overlap check in assignment to avoid unneeded temporary memory allocation

[vakokako]

Currently the default behaviour of xsemantic_base<D>::operator=(const xexpression<E>& e) is to create a temporary copy of e to avoid any problems with overlapping memory. However, if the user doesn't use some obscure strides for the containers, a check if the pointers from begin and end elements don't overlap is sufficient. Based on our benchmarks, depending on the size of the containers brings huge speedups for some use cases (up to 90% in case of views). This is also achievable with noalias, but it's hard to enforce its usage and adding a compilation flag XTENSOR_FORCE_TEMPORARY_MEMORY_IN_ASSIGNMENTS that allows changing this behaviour is highly beneficial.

I'm also attaching the benchmark results we obtained:
xtensor_assign_benchmark_results.ods

Explanation behind benchmark names.

Benchmark was written as single templated function, so based on the template parameters in the benchmark name, the benchmarked operation looked as following, where both containers are 2d, with last number parameter being the size of single dimension:

DstOperation(DstContainer) = SrcOperation(xtensor<..., 2>)

[JohanMabille]

Thanks a lot for this improvement, it's definitely a must have! I left a few comments about code organization mostly. You can fix the linter by running pre-commit run --all-files locally.

[JohanMabille]

I'm not a fan of having different assign behaviors depending on an option, when it's not for managing dependency or debugging. We should probably have some pattern to dynamically decide if we should check for memory overlap or not. This can be done in a dedicated PR, as it may not be obvious to get it done correctly.

[vakokako]

So should we keep the option for now?

[vakokako]

Thanks for your feedback, I made the changes.

Also, can you come up with use cases when this check would not work correctly? i.e. some elements in the container aren't located between the first and last element in memory?

[vakokako]

Hey, @JohanMabille, just reminding you that this exists))

[JohanMabille]

Thanks for doing it, I had totally forgotten it Oo

[vakokako]

Thanks!