diff --git a/libcxx/include/string b/libcxx/include/string --- a/libcxx/include/string +++ b/libcxx/include/string @@ -1430,21 +1430,20 @@ _LIBCPP_CONSTEXPR_SINCE_CXX20 size_type copy(value_type* __s, size_type __n, size_type __pos = 0) const; - // TODO: Maybe don't pass in the allocator. See https://llvm.org/PR57190 #if _LIBCPP_STD_VER <= 20 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX20 basic_string substr(size_type __pos = 0, size_type __n = npos) const { - return basic_string(*this, __pos, __n, __alloc()); + return basic_string(*this, __pos, __n); } #else _LIBCPP_HIDE_FROM_ABI constexpr basic_string substr(size_type __pos = 0, size_type __n = npos) const& { - return basic_string(*this, __pos, __n, __alloc()); + return basic_string(*this, __pos, __n); } _LIBCPP_HIDE_FROM_ABI constexpr basic_string substr(size_type __pos = 0, size_type __n = npos) && { - return basic_string(std::move(*this), __pos, __n, __alloc()); + return basic_string(std::move(*this), __pos, __n); } #endif diff --git a/libcxx/test/std/strings/basic.string/string.ops/string_substr/substr.pass.cpp b/libcxx/test/std/strings/basic.string/string.ops/string_substr/substr.pass.cpp --- a/libcxx/test/std/strings/basic.string/string.ops/string_substr/substr.pass.cpp +++ b/libcxx/test/std/strings/basic.string/string.ops/string_substr/substr.pass.cpp @@ -16,6 +16,7 @@ #include #include +#include "test_allocator.h" #include "test_macros.h" #include "min_allocator.h" @@ -119,11 +120,37 @@ return true; } +TEST_CONSTEXPR_CXX20 bool test_alloc() { + { + using alloc = test_allocator; + using string = std::basic_string, alloc>; + test_allocator_statistics stats; + { + string str((alloc(&stats))); + stats = test_allocator_statistics(); + (void)str.substr(); + assert(stats.moved == 0); + assert(stats.copied == 0); + } + { + string str((alloc(&stats))); + stats = test_allocator_statistics(); + (void)std::move(str).substr(); + assert(stats.moved == 0); + assert(stats.copied == 0); + } + } + + return true; +} + int main(int, char**) { test(); + test_alloc(); #if TEST_STD_VER > 17 static_assert(test()); + static_assert(test_alloc()); #endif return 0;