<xstring>: Use memmove in construction of basic_string when the source is a suitable contiguous range

[frederick-vs-ja]

Fixes #2901.

Criteria:

• the source element type is integral
• the target element type is an EcharT (encoded character type, i.e. char, wchar_t, char8_t, char16_t, char32_t)
• the source and target element types are the same size
• the target traits type is library-provided (thanks @CaseyCarter)
• the source iterator is a contiguous iterator which doesn't dereference to a volatile lvalue.

Perhaps we can extend the criteria to move_iterator and unscoped enumeration types later.

Clang's __builtin_memcpy doesn't work when copying a char array to a char8_t array in constant evaluation (nor does GCC's), so this PR isn't using it in the involved construction.

The test P1206R7_string_from_range is largely extended to cover some related contiguous ranges and character types. The original test_c_array seemed to be a duplicate of test_copyable_views, so I changed it to properly cover built-in arrays.

[StephanTLavavej]

Perhaps we can extend the criteria to move_iterator and unscoped enumeration types later.

Such basic_string constructions would be extremely rare; I don't think it's worth spending maintenance complexity on that. Handling the u8string/string and similar scenarios here (like const unsigned short* to wstring) should be sufficient.

[StephanTLavavej]

I have updated the PR description's criteria to match the code.

[frederick-vs-ja]

Oh, I'm sorry for force-pushing because I misconfigured the git settings.

[StephanTLavavej]

I'm mirroring this to the MSVC-internal repo - please notify me if any further changes are pushed.

[StephanTLavavej]

Thanks for improving the performance of one of the STL's most important types! 🚀 😸 🎉