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

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