1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <numeric> 11 12 // template <InputIterator Iter1, InputIterator Iter2, MoveConstructible T, 13 // class BinaryOperation1, 14 // Callable<auto, Iter1::reference, Iter2::reference> BinaryOperation2> 15 // requires Callable<BinaryOperation1, const T&, BinaryOperation2::result_type> 16 // && HasAssign<T, BinaryOperation1::result_type> 17 // && CopyConstructible<BinaryOperation1> 18 // && CopyConstructible<BinaryOperation2> 19 // T 20 // inner_product(Iter1 first1, Iter1 last1, Iter2 first2, 21 // T init, BinaryOperation1 binary_op1, BinaryOperation2 binary_op2); 22 23 #include <numeric> 24 #include <functional> 25 #include <cassert> 26 27 #include "test_iterators.h" 28 29 template <class Iter1, class Iter2, class T> 30 void 31 test(Iter1 first1, Iter1 last1, Iter2 first2, T init, T x) 32 { 33 assert(std::inner_product(first1, last1, first2, init, 34 std::multiplies<int>(), std::plus<int>()) == x); 35 } 36 37 template <class Iter1, class Iter2> 38 void 39 test() 40 { 41 int a[] = {1, 2, 3, 4, 5, 6}; 42 int b[] = {6, 5, 4, 3, 2, 1}; 43 unsigned sa = sizeof(a) / sizeof(a[0]); 44 test(Iter1(a), Iter1(a), Iter2(b), 1, 1); 45 test(Iter1(a), Iter1(a), Iter2(b), 10, 10); 46 test(Iter1(a), Iter1(a+1), Iter2(b), 1, 7); 47 test(Iter1(a), Iter1(a+1), Iter2(b), 10, 70); 48 test(Iter1(a), Iter1(a+2), Iter2(b), 1, 49); 49 test(Iter1(a), Iter1(a+2), Iter2(b), 10, 490); 50 test(Iter1(a), Iter1(a+sa), Iter2(b), 1, 117649); 51 test(Iter1(a), Iter1(a+sa), Iter2(b), 10, 1176490); 52 } 53 54 int main() 55 { 56 test<input_iterator<const int*>, input_iterator<const int*> >(); 57 test<input_iterator<const int*>, forward_iterator<const int*> >(); 58 test<input_iterator<const int*>, bidirectional_iterator<const int*> >(); 59 test<input_iterator<const int*>, random_access_iterator<const int*> >(); 60 test<input_iterator<const int*>, const int*>(); 61 62 test<forward_iterator<const int*>, input_iterator<const int*> >(); 63 test<forward_iterator<const int*>, forward_iterator<const int*> >(); 64 test<forward_iterator<const int*>, bidirectional_iterator<const int*> >(); 65 test<forward_iterator<const int*>, random_access_iterator<const int*> >(); 66 test<forward_iterator<const int*>, const int*>(); 67 68 test<bidirectional_iterator<const int*>, input_iterator<const int*> >(); 69 test<bidirectional_iterator<const int*>, forward_iterator<const int*> >(); 70 test<bidirectional_iterator<const int*>, bidirectional_iterator<const int*> >(); 71 test<bidirectional_iterator<const int*>, random_access_iterator<const int*> >(); 72 test<bidirectional_iterator<const int*>, const int*>(); 73 74 test<random_access_iterator<const int*>, input_iterator<const int*> >(); 75 test<random_access_iterator<const int*>, forward_iterator<const int*> >(); 76 test<random_access_iterator<const int*>, bidirectional_iterator<const int*> >(); 77 test<random_access_iterator<const int*>, random_access_iterator<const int*> >(); 78 test<random_access_iterator<const int*>, const int*>(); 79 80 test<const int*, input_iterator<const int*> >(); 81 test<const int*, forward_iterator<const int*> >(); 82 test<const int*, bidirectional_iterator<const int*> >(); 83 test<const int*, random_access_iterator<const int*> >(); 84 test<const int*, const int*>(); 85 } 86