OSDN Git Service

2011-05-30 Jonathan Wakely <jwakely.gcc@gmail.com>
[pf3gnuchains/gcc-fork.git] / libstdc++-v3 / testsuite / 20_util / tuple / cons / allocate_noncopyable.cc
1 // { dg-options "-std=gnu++0x" }
2 // { dg-do compile }
3
4 // Copyright (C) 2011 Free Software Foundation, Inc.
5 //
6 // This file is part of the GNU ISO C++ Library.  This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
10 // any later version.
11
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 // GNU General Public License for more details.
16
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3.  If not see
19 // <http://www.gnu.org/licenses/>.
20
21 // 20.4.2.1 [tuple.cnstr] Allocator-extended constructors
22
23 #include <memory>
24 #include <tuple>
25
26 struct MyAlloc { };
27
28 struct Tag0 { };
29 struct Tag1 { };
30 struct Tag2 { };
31
32 // A non-copyable and non-movable type
33 struct Type
34 {
35   typedef MyAlloc allocator_type;
36
37   explicit Type(Tag0) { }
38   Type(std::allocator_arg_t, MyAlloc, Tag1) { }
39   Type(Tag2, MyAlloc) { }
40
41   Type(const Type&) = delete;
42   Type(Type&&) = delete;
43   Type& operator=(const Type&) = delete;
44   Type& operator=(Type&&) = delete;
45 };
46
47 void test01()
48 {
49   using std::allocator_arg;
50   using std::tuple;
51
52   MyAlloc a;
53   Tag0 tag0;
54   Tag1 tag1;
55   Tag2 tag2;
56
57   // N.B. cannot use Tag0 with uses-allocator construction, because
58   // uses_allocator<Type, MyAlloc> is true but no suitable cosntructor
59   tuple<Type>             t1(tag0);
60
61   tuple<Type>             t2(allocator_arg, a, tag1);
62   tuple<Type>             t3(allocator_arg, a, tag2);
63
64   tuple<Type, Type>       t4(allocator_arg, a, tag1, tag2);
65
66   tuple<Type, Type, Type> t5(allocator_arg, a, tag2, tag1, tag2);
67 }
68
69 int main()
70 {
71   test01();
72   return 0;
73 }