diff options
Diffstat (limited to 'libcxx/test/std/algorithms/alg.modifying.operations')
2 files changed, 48 insertions, 3 deletions
diff --git a/libcxx/test/std/algorithms/alg.modifying.operations/alg.transform/binary_transform.pass.cpp b/libcxx/test/std/algorithms/alg.modifying.operations/alg.transform/binary_transform.pass.cpp index 8491ea59eff..27d3a968a76 100644 --- a/libcxx/test/std/algorithms/alg.modifying.operations/alg.transform/binary_transform.pass.cpp +++ b/libcxx/test/std/algorithms/alg.modifying.operations/alg.transform/binary_transform.pass.cpp @@ -12,15 +12,34 @@ // template<InputIterator InIter1, InputIterator InIter2, class OutIter, // Callable<auto, const InIter1::value_type&, const InIter2::value_type&> BinaryOp> // requires OutputIterator<OutIter, BinaryOp::result_type> && CopyConstructible<BinaryOp> -// OutIter +// constexpr OutIter // constexpr after C++17 // transform(InIter1 first1, InIter1 last1, InIter2 first2, OutIter result, BinaryOp binary_op); #include <algorithm> #include <functional> #include <cassert> +#include "test_macros.h" #include "test_iterators.h" +#if TEST_STD_VER > 17 +TEST_CONSTEXPR bool test_constexpr() { + const int ia[] = {1, 3, 6, 7}; + const int ib[] = {2, 4, 7, 8}; + int ic[] = {0, 0, 0, 0, 0}; // one bigger + const int expected[] = {3, 7, 13, 15}; + + auto it = std::transform(std::begin(ia), std::end(ia), + std::begin(ib), std::begin(ic), std::plus<int>()); + + return it == (std::begin(ic) + std::size(ia)) + && *it == 0 // don't overwrite the last value in the output array + && std::equal(std::begin(expected), std::end(expected), std::begin(ic), it) + ; + } +#endif + + template<class InIter1, class InIter2, class OutIter> void test() @@ -214,4 +233,8 @@ int main() test<const int*, const int*, bidirectional_iterator<int*> >(); test<const int*, const int*, random_access_iterator<int*> >(); test<const int*, const int*, int*>(); + +#if TEST_STD_VER > 17 + static_assert(test_constexpr()); +#endif } diff --git a/libcxx/test/std/algorithms/alg.modifying.operations/alg.transform/unary_transform.pass.cpp b/libcxx/test/std/algorithms/alg.modifying.operations/alg.transform/unary_transform.pass.cpp index 6c5e621e4b2..b6f9cbad00f 100644 --- a/libcxx/test/std/algorithms/alg.modifying.operations/alg.transform/unary_transform.pass.cpp +++ b/libcxx/test/std/algorithms/alg.modifying.operations/alg.transform/unary_transform.pass.cpp @@ -12,16 +12,34 @@ // template<InputIterator InIter, class OutIter, // Callable<auto, const InIter::value_type&> Op> // requires OutputIterator<OutIter, Op::result_type> && CopyConstructible<Op> -// OutIter +// constexpr OutIter // constexpr after C++17 // transform(InIter first, InIter last, OutIter result, Op op); #include <algorithm> #include <functional> #include <cassert> +#include "test_macros.h" #include "test_iterators.h" -int plusOne(int v) { return v + 1; } +TEST_CONSTEXPR int plusOne(int v) { return v + 1; } + + +#if TEST_STD_VER > 17 +TEST_CONSTEXPR bool test_constexpr() { + int ia[] = {1, 3, 6, 7}; + int ib[] = {0, 0, 0, 0, 0}; // one bigger + const int expected[] = {2, 4, 7, 8}; + + auto it = std::transform(std::begin(ia), std::end(ia), std::begin(ib), plusOne); + + return it == (std::begin(ib) + std::size(ia)) + && *it == 0 // don't overwrite the last value in the output array + && std::equal(std::begin(ib), it, std::begin(expected), std::end(expected)) + ; + } +#endif + template <class InIter, class OutIter> void @@ -76,4 +94,8 @@ int main() test<const int*, bidirectional_iterator<int*> >(); test<const int*, random_access_iterator<int*> >(); test<const int*, int*>(); + +#if TEST_STD_VER > 17 + static_assert(test_constexpr()); +#endif } |
