libstdc++-v3/testsuite/23_containers/vector_element_access.cc

   1 // 2000-09-06
   2 // bkoz
   3
   4 // Copyright (C) 2000 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 2, 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 COPYING.  If not, write to the Free
  19 // Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
  20 // USA.
  21
  22 // 23.2.4 vector
  23
  24 #include <vector>
  25 #include <stdexcept>
  26 #include <debug_assert.h>
  27
  28 template<typename T>
  29 struct A { };
  30
  31 struct B { };
  32
  33 // http://gcc.gnu.org/ml/libstdc++/2000-09/msg00002.html
  34 bool test01()
  35 {
  36   bool test = true;
  37   std::vector< A<B> > vec01;
  38   std::vector< A<B> > vec02(5);
  39   typedef std::vector< A<B> >::size_type size_type;
  40   typedef std::vector< A<B> >::reference reference;
  41
  42   try
  43     {
  44       reference r01 = vec01.at(6);
  45       VERIFY( false ); // Should not get here, as exception thrown.
  46     }
  47   catch(std::out_of_range& err)
  48     {
  49       VERIFY( true );
  50     }
  51   catch(...)
  52     {
  53       VERIFY( false );
  54     }
  55
  56 #ifdef DEBUG_ASSERT
  57   assert(test);
  58 #endif
  59
  60   return test;
  61 }
  62
  63 int main()
  64 {
  65   test01();
  66
  67   return 0;
  68 }