void
test(std::basic_string_view<charT> sv, const A& a)
{
typedef std::basic_string<charT, std::char_traits<charT>, A> S;
typedef typename S::traits_type T;
{
S s2(sv, a);
LIBCPP_ASSERT(s2.__invariants());
assert(s2.size() == sv.size());
assert(T::compare(s2.data(), sv.data(), sv.size()) == 0);
assert(s2.get_allocator() == a);
assert(s2.capacity() >= s2.size());
}
{
S s2(a);
s2 = sv;
LIBCPP_ASSERT(s2.__invariants());
assert(s2.size() == sv.size());
assert(T::compare(s2.data(), sv.data(), sv.size()) == 0);
assert(s2.get_allocator() == a);
assert(s2.capacity() >= s2.size());
}
}
int main () {
test ( "ABCDE", 5 );
test ( "a", 1 );
test ( L"ABCDE", 5 );
test ( L"a", 1 );
#if TEST_STD_VER >= 11
test ( u"ABCDE", 5 );
test ( u"a", 1 );
test ( U"ABCDE", 5 );
test ( U"a", 1 );
#endif
#if _LIBCPP_STD_VER > 11
{
constexpr const char *s = "ABC";
constexpr std::basic_string_view<char> sv( s, 2 );
static_assert( sv.length() == 2, "" );
static_assert( sv.data() == s, "" );
}
#endif
}