Subversion Repositories scarts

// 2004-09-23 Chris Jefferson <chris@bubblescope.net>

// Copyright (C) 2004 Free Software Foundation, Inc.

//

// This file is part of the GNU ISO C++ Library.  This library is free

// software; you can redistribute it and/or modify it under the

// terms of the GNU General Public License as published by the

// Free Software Foundation; either version 2, or (at your option)

// any later version.

// This library is distributed in the hope that it will be useful,

// but WITHOUT ANY WARRANTY; without even the implied warranty of

// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License along

// with this library; see the file COPYING.  If not, write to the Free

// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,

// USA.

// Tuple

#include <tr1/tuple>

#include <testsuite_hooks.h>

using namespace std;

using namespace tr1;

// A simple class without conversions to check some things

struct foo

{ };

void

test_constructors()

{

  int x1=0,x2=0;

  const int &z1=x1;

  // Test empty constructor

  tuple<> ta;

  tuple<int,int> tb;

  // Test construction from values

  tuple<int,int> tc(x1,x2);

  tuple<int,int&> td(x1,x2);

  tuple<const int&> te(z1);

  x1=1;

  x2=1;

  VERIFY(get<0>(td) == 0 && get<1>(td) == 1 && get<0>(te) == 1);

  // Test identical tuple copy constructor

  tuple<int,int> tf(tc);

  tuple<int,int> tg(td);

  tuple<const int&> th(te);

  // Test different tuple copy constructor

  tuple<int,double> ti(tc);

  tuple<int,double> tj(td);

  // Test constructing from a pair

  pair<int,int> pair1(1,1);

  const pair<int,int> pair2(pair1);

  tuple<int,int> tl(pair1);

  tuple<int,const int&> tm(pair1);

  tuple<int,int> tn(pair2);

  tuple<int,const int&> to(pair2);

}

int

main(void)

{

  //test construction

  typedef tuple<int,int,int,int,int,int,int,int,int,int> type1;

  type1 a(0, 0, 0, 0, 0, 0, 0, 0, 0, 1);

  type1 b(0, 0, 0, 0, 0, 0, 0, 0, 0, 2);

  type1 c(a);

  typedef tuple<int,int,int,int,int,int,int,int,int,char> type2;

  type2 d(0, 0, 0, 0, 0, 0, 0, 0, 0, 3);

  type1 e(d);

  typedef tuple<foo,int,int,int,int,int,int,int,int,foo> type3;

  // get

  VERIFY(get<9>(a)==1 && get<9>(b)==2);

  // comparisons

  VERIFY(a==a && !(a!=a) && a<=a && a>=a && !(a<a) && !(a>a));

  VERIFY(!(a==b) && a!=b && a<=b && a<b && !(a>=b) && !(a>b));

  //tie

  {

    int i = 0;

  tie(ignore, ignore, ignore, ignore, ignore, ignore, ignore, ignore,

      ignore, i) = a;

  VERIFY(i == 1);

  }

  //test_assignment

  a=d;

  a=b;

  //make_tuple

  make_tuple(0, 0, 0, 0, 0, 0, 0, 0, 0, 0);

  //tuple_size

  VERIFY(tuple_size<type3>::value == 10);

  //tuple_element

  {

    foo q1;

    tuple_element<0,type3>::type q2(q1);

    tuple_element<9,type3>::type q3(q1);

  }

}