From 110eaaceddcec790f7e6a5e3bf1261c9aa1e73ab Mon Sep 17 00:00:00 2001 From: dim Date: Mon, 2 May 2011 19:39:53 +0000 Subject: Vendor import of clang trunk r130700: http://llvm.org/svn/llvm-project/cfe/trunk@130700 --- test/SemaCXX/for-range-examples.cpp | 150 ++++++++++++++++++++++++++++++++++++ 1 file changed, 150 insertions(+) create mode 100644 test/SemaCXX/for-range-examples.cpp (limited to 'test/SemaCXX/for-range-examples.cpp') diff --git a/test/SemaCXX/for-range-examples.cpp b/test/SemaCXX/for-range-examples.cpp new file mode 100644 index 0000000..810f1de --- /dev/null +++ b/test/SemaCXX/for-range-examples.cpp @@ -0,0 +1,150 @@ +// RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++0x + +namespace value_range_detail { + template + class value_range_iter { + T t; + public: + value_range_iter(const T &t) : t(t) {} + T operator*() const { return t; } + bool operator!=(const value_range_iter &o) const { return t != o.t; } + value_range_iter &operator++() { ++t; return *this; } + }; + + template + struct value_range { + value_range(const T &a, const T &b) : begin_(a), end_(b) {} + value_range_iter begin_, end_; + }; + + template + value_range_iter begin(const value_range &r) { return r.begin_; } + template + value_range_iter end(const value_range &r) { return r.end_; } + + + struct end_t {}; + + template + class value_range_step_iter { + T it, step; + public: + value_range_step_iter(const T &it, const T &step) : it(it), step(step) {} + T operator*() const { return it; } + bool operator!=(value_range_step_iter end) const { return it != end.it; } + value_range_step_iter &operator++() { it += step; return *this; } + }; + + template + class value_range_step { + T it, step, end_; + public: + value_range_step(const T &it, const T &end, const T &step) : + it(it), end_(end), step(step) {} + typedef value_range_step_iter iterator; + iterator begin() const { return iterator(it, step); } + iterator end() const { return iterator(end_, step); } + }; +} + +template +value_range_detail::value_range range(const T &a, const T &b) { return value_range_detail::value_range(a, b); } + +template +value_range_detail::value_range_step range(const T &a, const T &b, const T &step) { return value_range_detail::value_range_step(a, b, step); } + + +namespace map_range { + template + class vector { + T storage[100]; + decltype(sizeof(char)) size; + public: + vector() : size() {} + void push_back(T t) { storage[size++] = t; } + T *begin() { return storage; } + T *end() { return storage + size; } + }; + + template struct tuple_elem { + T t; + tuple_elem() {} + tuple_elem(T t) : t(t) {} + }; + template + struct tuple : tuple_elem... { + tuple() : tuple_elem()... {} + tuple(A... a) : tuple_elem(a)... {} + template B &get() { return tuple_elem::t; } + }; + + template + class map_iter { + F f; + I i; + public: + map_iter(F f, I i) : f(f), i(i) {} + auto operator*() const -> decltype(f(*i)) { return f(*i); } + bool operator!=(const map_iter &o) const { return i != o.i; } + map_iter &operator++() { ++i; return *this; } + }; + + template + struct iter_pair { + T begin_, end_; + iter_pair(T begin, T end) : begin_(begin), end_(end) {} + }; + template T begin(iter_pair p) { return p.begin_; } + template T end(iter_pair p) { return p.end_; } + + template class mem_fun_impl; + template + class mem_fun_impl { + typedef R (T::*F)(A...); + F f; + public: + mem_fun_impl(F f) : f(f) {} + R operator()(T &t, A &&...a) const { return (t.*f)(static_cast(a)...); } + }; + template mem_fun_impl mem_fun(F f) { return mem_fun_impl(f); } + + template + auto map(const F &f, T &t) -> iter_pair> { + typedef map_iter iter; + return iter_pair(iter(f, t.begin()), iter(f, t.end())); + } +} + +#define assert(b) if (!b) { return 1; } +int main() { + int total = 0; + + for (auto n : range(1, 5)) { + total += n; + } + assert(total == 10); + + for (auto n : range(10, 100, 10)) { + total += n; + } + assert(total == 460); + + map_range::vector chars; + chars.push_back('a'); + chars.push_back('b'); + chars.push_back('c'); + for (char c : chars) { + ++total; + } + assert(total == 463); + + typedef map_range::tuple T; + map_range::vector pairs; + pairs.push_back(T(42, 12.9)); + pairs.push_back(T(6, 4.2)); + pairs.push_back(T(9, 1.1)); + for (auto a : map(map_range::mem_fun(&T::get), pairs)) { + total += a; + } + assert(total == 500); +} -- cgit v1.1