176 lines
6.2 KiB
C++
176 lines
6.2 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// <string>
|
|
|
|
// template<class InputIterator>
|
|
// basic_string(InputIterator begin, InputIterator end,
|
|
// const Allocator& a = Allocator());
|
|
|
|
// template<class InputIterator,
|
|
// class Allocator = allocator<typename iterator_traits<InputIterator>::value_type>>
|
|
// basic_string(InputIterator, InputIterator, Allocator = Allocator())
|
|
// -> basic_string<typename iterator_traits<InputIterator>::value_type,
|
|
// char_traits<typename iterator_traits<InputIterator>::value_type>,
|
|
// Allocator>;
|
|
//
|
|
// The deduction guide shall not participate in overload resolution if InputIterator
|
|
// is a type that does not qualify as an input iterator, or if Allocator is a type
|
|
// that does not qualify as an allocator.
|
|
|
|
|
|
#include <string>
|
|
#include <iterator>
|
|
#include <cassert>
|
|
#include <cstddef>
|
|
|
|
#include "test_macros.h"
|
|
#include "test_allocator.h"
|
|
#include "../input_iterator.h"
|
|
#include "min_allocator.h"
|
|
|
|
template <class It>
|
|
void
|
|
test(It first, It last)
|
|
{
|
|
typedef typename std::iterator_traits<It>::value_type charT;
|
|
typedef std::basic_string<charT, std::char_traits<charT>, test_allocator<charT> > S;
|
|
typedef typename S::allocator_type A;
|
|
S s2(first, last);
|
|
LIBCPP_ASSERT(s2.__invariants());
|
|
assert(s2.size() == static_cast<std::size_t>(std::distance(first, last)));
|
|
unsigned i = 0;
|
|
for (It it = first; it != last; ++it, ++i)
|
|
assert(s2[i] == *it);
|
|
assert(s2.get_allocator() == A());
|
|
assert(s2.capacity() >= s2.size());
|
|
}
|
|
|
|
template <class It, class A>
|
|
void
|
|
test(It first, It last, const A& a)
|
|
{
|
|
typedef typename std::iterator_traits<It>::value_type charT;
|
|
typedef std::basic_string<charT, std::char_traits<charT>, A> S;
|
|
S s2(first, last, a);
|
|
LIBCPP_ASSERT(s2.__invariants());
|
|
assert(s2.size() == static_cast<std::size_t>(std::distance(first, last)));
|
|
unsigned i = 0;
|
|
for (It it = first; it != last; ++it, ++i)
|
|
assert(s2[i] == *it);
|
|
assert(s2.get_allocator() == a);
|
|
assert(s2.capacity() >= s2.size());
|
|
}
|
|
|
|
int main()
|
|
{
|
|
{
|
|
typedef test_allocator<char> A;
|
|
const char* s = "12345678901234567890123456789012345678901234567890";
|
|
|
|
test(s, s);
|
|
test(s, s, A(2));
|
|
|
|
test(s, s+1);
|
|
test(s, s+1, A(2));
|
|
|
|
test(s, s+10);
|
|
test(s, s+10, A(2));
|
|
|
|
test(s, s+50);
|
|
test(s, s+50, A(2));
|
|
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s));
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s), A(2));
|
|
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+1));
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+1), A(2));
|
|
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+10));
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+10), A(2));
|
|
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+50));
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+50), A(2));
|
|
}
|
|
#if TEST_STD_VER >= 11
|
|
{
|
|
typedef min_allocator<char> A;
|
|
const char* s = "12345678901234567890123456789012345678901234567890";
|
|
|
|
test(s, s);
|
|
test(s, s, A());
|
|
|
|
test(s, s+1);
|
|
test(s, s+1, A());
|
|
|
|
test(s, s+10);
|
|
test(s, s+10, A());
|
|
|
|
test(s, s+50);
|
|
test(s, s+50, A());
|
|
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s));
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s), A());
|
|
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+1));
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+1), A());
|
|
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+10));
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+10), A());
|
|
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+50));
|
|
test(input_iterator<const char*>(s), input_iterator<const char*>(s+50), A());
|
|
}
|
|
#endif
|
|
|
|
// Test deduction guides
|
|
#if TEST_STD_VER > 14
|
|
{
|
|
const char* s = "12345678901234";
|
|
std::basic_string s1{s, s+10, std::allocator<char>{}};
|
|
using S = decltype(s1); // what type did we get?
|
|
static_assert(std::is_same_v<S::value_type, char>, "");
|
|
static_assert(std::is_same_v<S::traits_type, std::char_traits<char>>, "");
|
|
static_assert(std::is_same_v<S::allocator_type, std::allocator<char>>, "");
|
|
assert(s1.size() == 10);
|
|
assert(s1.compare(0, s1.size(), s, s1.size()) == 0);
|
|
}
|
|
{
|
|
const wchar_t* s = L"12345678901234";
|
|
std::basic_string s1{s, s+10, test_allocator<wchar_t>{}};
|
|
using S = decltype(s1); // what type did we get?
|
|
static_assert(std::is_same_v<S::value_type, wchar_t>, "");
|
|
static_assert(std::is_same_v<S::traits_type, std::char_traits<wchar_t>>, "");
|
|
static_assert(std::is_same_v<S::allocator_type, test_allocator<wchar_t>>, "");
|
|
assert(s1.size() == 10);
|
|
assert(s1.compare(0, s1.size(), s, s1.size()) == 0);
|
|
}
|
|
{
|
|
const char16_t* s = u"12345678901234";
|
|
std::basic_string s1{s, s+10, min_allocator<char16_t>{}};
|
|
using S = decltype(s1); // what type did we get?
|
|
static_assert(std::is_same_v<S::value_type, char16_t>, "");
|
|
static_assert(std::is_same_v<S::traits_type, std::char_traits<char16_t>>, "");
|
|
static_assert(std::is_same_v<S::allocator_type, min_allocator<char16_t>>, "");
|
|
assert(s1.size() == 10);
|
|
assert(s1.compare(0, s1.size(), s, s1.size()) == 0);
|
|
}
|
|
{
|
|
const char32_t* s = U"12345678901234";
|
|
std::basic_string s1{s, s+10, explicit_allocator<char32_t>{}};
|
|
using S = decltype(s1); // what type did we get?
|
|
static_assert(std::is_same_v<S::value_type, char32_t>, "");
|
|
static_assert(std::is_same_v<S::traits_type, std::char_traits<char32_t>>, "");
|
|
static_assert(std::is_same_v<S::allocator_type, explicit_allocator<char32_t>>, "");
|
|
assert(s1.size() == 10);
|
|
assert(s1.compare(0, s1.size(), s, s1.size()) == 0);
|
|
}
|
|
#endif
|
|
}
|