alloc_const_Types.pass.cpp [plain text]
#include <tuple>
#include <cassert>
#include "../allocators.h"
#include "../alloc_first.h"
#include "../alloc_last.h"
int main()
{
{
std::tuple<int> t(std::allocator_arg, A1<int>(), 3);
assert(std::get<0>(t) == 3);
}
{
assert(!alloc_first::allocator_constructed);
std::tuple<alloc_first> t(std::allocator_arg, A1<int>(5), alloc_first(3));
assert(alloc_first::allocator_constructed);
assert(std::get<0>(t) == alloc_first(3));
}
{
assert(!alloc_last::allocator_constructed);
std::tuple<alloc_last> t(std::allocator_arg, A1<int>(5), alloc_last(3));
assert(alloc_last::allocator_constructed);
assert(std::get<0>(t) == alloc_last(3));
}
{
alloc_first::allocator_constructed = false;
std::tuple<int, alloc_first> t(std::allocator_arg, A1<int>(5),
10, alloc_first(15));
assert(std::get<0>(t) == 10);
assert(alloc_first::allocator_constructed);
assert(std::get<1>(t) == alloc_first(15));
}
{
alloc_first::allocator_constructed = false;
alloc_last::allocator_constructed = false;
std::tuple<int, alloc_first, alloc_last> t(std::allocator_arg,
A1<int>(5), 1, alloc_first(2),
alloc_last(3));
assert(std::get<0>(t) == 1);
assert(alloc_first::allocator_constructed);
assert(std::get<1>(t) == alloc_first(2));
assert(alloc_last::allocator_constructed);
assert(std::get<2>(t) == alloc_last(3));
}
{
alloc_first::allocator_constructed = false;
alloc_last::allocator_constructed = false;
std::tuple<int, alloc_first, alloc_last> t(std::allocator_arg,
A2<int>(5), 1, alloc_first(2),
alloc_last(3));
assert(std::get<0>(t) == 1);
assert(!alloc_first::allocator_constructed);
assert(std::get<1>(t) == alloc_first(2));
assert(!alloc_last::allocator_constructed);
assert(std::get<2>(t) == alloc_last(3));
}
}