gcc/testsuite/g++.dg/cpp0x/constexpr-initlist.C

   1 // { dg-options -std=c++0x }
   2 // { dg-do run }
   3
   4 namespace xstd {
   5
   6 typedef decltype(sizeof(char)) size_t;
   7
   8 template<class E>
   9 class initializer_list {
  10 private:
  11         size_t sz;
  12         const E* start;
  13
  14 public:
  15         typedef E value_type;
  16   typedef const E& reference;
  17   typedef const E& const_reference;
  18   typedef size_t size_type;
  19   typedef const E* iterator;
  20   typedef const E* const_iterator;
  21
  22   constexpr initializer_list() : sz(), start(nullptr) {}
  23
  24   template<size_t N>
  25   constexpr initializer_list(const E(&array)[N]) : sz(N), start(array) {}
  26
  27   constexpr size_t size() { return sz; }
  28
  29   constexpr const E* begin() { return start; }
  30
  31   constexpr const E* end() { return start + sz; }
  32 };
  33
  34 template<class E, size_t N>
  35 constexpr initializer_list<E> make_list(const E(&array)[N]) {
  36         return initializer_list<E>(array);
  37 }
  38
  39 template<class E>
  40 E min(initializer_list<E> list)
  41 {
  42   //    static_assert(list.size() > 0, "Invalid list");
  43         auto it = list.begin();
  44         E result = *it;
  45         for (++it; it != list.end(); ++it) {
  46                 if (*it < result) {
  47                         result = *it;
  48                 }
  49         }
  50         return result;
  51 }
  52
  53 }
  54
  55 constexpr int global_i[] = {2, 4, -5, 6, 10};
  56 constexpr xstd::initializer_list<int> list(global_i);
  57 #define SA(X) static_assert(X, #X)
  58 SA(list.size() == 5);
  59 SA(list.begin()[2] == -5);
  60 SA(list.end()[-1] == 10);
  61
  62 int main() {
  63   if (xstd::min(xstd::make_list(global_i)) != -5)
  64     return 1;
  65 }