blob: 061dd6da0785d96238e07b2a667d7ee6fda26ff4 [file] [log] [blame]
//===----------------------------------------------------------------------===//
//
// 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.
//
//===----------------------------------------------------------------------===//
// <forward_list>
// explicit forward_list(size_type n);
// explicit forward_list(size_type n, const Alloc& a);
#include <forward_list>
#include <cassert>
#include <cstddef>
#include "test_macros.h"
#include "DefaultOnly.h"
#include "min_allocator.h"
template <class T, class Allocator>
void check_allocator(unsigned n, Allocator const &alloc = Allocator())
{
#if TEST_STD_VER > 11
typedef std::forward_list<T, Allocator> C;
C d(n, alloc);
assert(d.get_allocator() == alloc);
assert(static_cast<std::size_t>(std::distance(d.begin(), d.end())) == n);
#else
((void)n);
((void)alloc);
#endif
}
int main()
{
{ // test that the ctor is explicit
typedef std::forward_list<DefaultOnly> C;
static_assert((std::is_constructible<C, size_t>::value), "");
static_assert((!std::is_convertible<size_t, C>::value), "");
}
{
typedef DefaultOnly T;
typedef std::forward_list<T> C;
unsigned N = 10;
C c(N);
unsigned n = 0;
for (C::const_iterator i = c.begin(), e = c.end(); i != e; ++i, ++n) {
#if TEST_STD_VER >= 11
assert(*i == T());
#else
((void)0);
#endif
}
assert(n == N);
}
#if TEST_STD_VER >= 11
{
typedef DefaultOnly T;
typedef std::forward_list<T, min_allocator<T>> C;
unsigned N = 10;
C c(N);
unsigned n = 0;
for (C::const_iterator i = c.begin(), e = c.end(); i != e; ++i, ++n)
assert(*i == T());
assert(n == N);
check_allocator<T, min_allocator<T>> ( 0 );
check_allocator<T, min_allocator<T>> ( 3 );
}
#endif
}