1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
// template<container-compatible-range<charT> R>
// constexpr basic_string& assign_range(R&& rg); // C++23
#include <string>
#include "../../../../containers/sequences/insert_range_sequence_containers.h"
#include "test_macros.h"
#include "asan_testing.h"
// Tested cases:
// - different kinds of assignments (assigning an {empty/one-element/mid-sized/long range} to an
// {empty/one-element/full} container);
// - an exception is thrown when allocating new elements.
constexpr bool test_constexpr() {
for_all_iterators_and_allocators_constexpr<char, const char*>([]<class Iter, class Sent, class Alloc>() {
test_sequence_assign_range<std::basic_string<char, std::char_traits<char>, Alloc>, Iter, Sent>(
[]([[maybe_unused]] auto&& c) { LIBCPP_ASSERT(c.__invariants()); });
});
return true;
}
int main(int, char**) {
static_assert(test_constraints_assign_range<std::basic_string, char, int>());
for_all_iterators_and_allocators<char, const char*>([]<class Iter, class Sent, class Alloc>() {
test_sequence_assign_range<std::basic_string<char, std::char_traits<char>, Alloc>, Iter, Sent>(
[]([[maybe_unused]] auto&& c) { LIBCPP_ASSERT(c.__invariants()); });
});
static_assert(test_constexpr());
{ // Check that `assign_range` returns a reference to the string.
std::string c;
static_assert(std::is_lvalue_reference_v<decltype(c.assign_range(FullContainer_Begin_EmptyRange<char>.input))>);
assert(&c.assign_range(FullContainer_Begin_EmptyRange<char>.input) == &c);
LIBCPP_ASSERT(is_string_asan_correct(c));
assert(&c.assign_range(FullContainer_Begin_OneElementRange<char>.input) == &c);
LIBCPP_ASSERT(is_string_asan_correct(c));
assert(&c.assign_range(FullContainer_Begin_MidRange<char>.input) == &c);
LIBCPP_ASSERT(is_string_asan_correct(c));
assert(&c.assign_range(FullContainer_Begin_LongRange<char>.input) == &c);
LIBCPP_ASSERT(is_string_asan_correct(c));
}
// Note: `test_assign_range_exception_safety_throwing_copy` doesn't apply because copying chars cannot throw.
{
#if !defined(TEST_HAS_NO_EXCEPTIONS)
// Note: the input string must be long enough to prevent SSO, otherwise the allocator won't be used.
std::string in(64, 'a');
try {
ThrowingAllocator<char> alloc;
globalMemCounter.reset();
std::basic_string<char, std::char_traits<char>, ThrowingAllocator<char>> c(alloc);
c.assign_range(in);
assert(false); // The function call above should throw.
} catch (int) {
assert(globalMemCounter.new_called == globalMemCounter.delete_called);
}
#endif
}
return 0;
}
|
