blob: 41e4b6607603f685dc0eb827476392361b06756f [file] [log] [blame]
Howard Hinnant3e519522010-05-11 19:42:16 +00001//===----------------------------------------------------------------------===//
2//
Howard Hinnant5b08a8a2010-05-11 21:36:01 +00003// The LLVM Compiler Infrastructure
Howard Hinnant3e519522010-05-11 19:42:16 +00004//
Howard Hinnant412dbeb2010-11-16 22:09:02 +00005// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Howard Hinnant3e519522010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
10// <tuple>
11
12// template <class... Types> class tuple;
13
14// tuple(tuple&& u);
15
16#include <tuple>
17#include <cassert>
18
19#include "../MoveOnly.h"
20
21int main()
22{
23 {
24 typedef std::tuple<> T;
25 T t0;
26 T t = std::move(t0);
27 }
28 {
29 typedef std::tuple<MoveOnly> T;
30 T t0(MoveOnly(0));
31 T t = std::move(t0);
32 assert(std::get<0>(t) == 0);
33 }
34 {
35 typedef std::tuple<MoveOnly, MoveOnly> T;
36 T t0(MoveOnly(0), MoveOnly(1));
37 T t = std::move(t0);
38 assert(std::get<0>(t) == 0);
39 assert(std::get<1>(t) == 1);
40 }
41 {
42 typedef std::tuple<MoveOnly, MoveOnly, MoveOnly> T;
43 T t0(MoveOnly(0), MoveOnly(1), MoveOnly(2));
44 T t = std::move(t0);
45 assert(std::get<0>(t) == 0);
46 assert(std::get<1>(t) == 1);
47 assert(std::get<2>(t) == 2);
48 }
49}