1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <algorithm> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// template <class InputIterator, class OutputIterator1, 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class OutputIterator2, class Predicate> 14a15161a0304207d9f283d939356e705db6006c80Marshall Clow// constexpr pair<OutputIterator1, OutputIterator2> // constexpr after C++17 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// partition_copy(InputIterator first, InputIterator last, 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// OutputIterator1 out_true, OutputIterator2 out_false, 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// Predicate pred); 18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <algorithm> 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 22a15161a0304207d9f283d939356e705db6006c80Marshall Clow#include "test_macros.h" 2383e2c4d877fe2d7793868b1c6a5d9525a7c4d431Marshall Clow#include "test_iterators.h" 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantstruct is_odd 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 27a15161a0304207d9f283d939356e705db6006c80Marshall Clow TEST_CONSTEXPR bool operator()(const int& i) const {return i & 1;} 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}; 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 30a15161a0304207d9f283d939356e705db6006c80Marshall Clow#if TEST_STD_VER > 17 31a15161a0304207d9f283d939356e705db6006c80Marshall ClowTEST_CONSTEXPR bool test_constexpr() { 32a15161a0304207d9f283d939356e705db6006c80Marshall Clow int ia[] = {1, 3, 5, 2, 4, 6}; 33a15161a0304207d9f283d939356e705db6006c80Marshall Clow int r1[10] = {0}; 34a15161a0304207d9f283d939356e705db6006c80Marshall Clow int r2[10] = {0}; 35a15161a0304207d9f283d939356e705db6006c80Marshall Clow 36a15161a0304207d9f283d939356e705db6006c80Marshall Clow auto p = std::partition_copy(std::begin(ia), std::end(ia), 37a15161a0304207d9f283d939356e705db6006c80Marshall Clow std::begin(r1), std::begin(r2), is_odd()); 38a15161a0304207d9f283d939356e705db6006c80Marshall Clow 39a15161a0304207d9f283d939356e705db6006c80Marshall Clow return std::all_of(std::begin(r1), p.first, is_odd()) 40a15161a0304207d9f283d939356e705db6006c80Marshall Clow && std::all_of(p.first, std::end(r1), [](int a){return a == 0;}) 41a15161a0304207d9f283d939356e705db6006c80Marshall Clow && std::none_of(std::begin(r2), p.second, is_odd()) 42a15161a0304207d9f283d939356e705db6006c80Marshall Clow && std::all_of(p.second, std::end(r2), [](int a){return a == 0;}) 43a15161a0304207d9f283d939356e705db6006c80Marshall Clow ; 44a15161a0304207d9f283d939356e705db6006c80Marshall Clow } 45a15161a0304207d9f283d939356e705db6006c80Marshall Clow#endif 46a15161a0304207d9f283d939356e705db6006c80Marshall Clow 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant const int ia[] = {1, 2, 3, 4, 6, 8, 5, 7}; 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int r1[10] = {0}; 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int r2[10] = {0}; 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::pair<output_iterator<int*>, int*> P; 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant P p = std::partition_copy(input_iterator<const int*>(std::begin(ia)), 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant input_iterator<const int*>(std::end(ia)), 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant output_iterator<int*>(r1), r2, is_odd()); 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(p.first.base() == r1 + 4); 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(r1[0] == 1); 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(r1[1] == 3); 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(r1[2] == 5); 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(r1[3] == 7); 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(p.second == r2 + 4); 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(r2[0] == 2); 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(r2[1] == 4); 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(r2[2] == 6); 66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(r2[3] == 8); 67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 68a15161a0304207d9f283d939356e705db6006c80Marshall Clow 69a15161a0304207d9f283d939356e705db6006c80Marshall Clow#if TEST_STD_VER > 17 70a15161a0304207d9f283d939356e705db6006c80Marshall Clow static_assert(test_constexpr()); 71a15161a0304207d9f283d939356e705db6006c80Marshall Clow#endif 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 73