Some checks failed
Docker. / Ubuntu (push) Has been cancelled
User-agent updater. / User-agent (push) Failing after 15s
Lock Threads / lock (push) Failing after 10s
Waiting for answer. / waiting-for-answer (push) Failing after 22s
Needs user action. / needs-user-action (push) Failing after 8s
Can't reproduce. / cant-reproduce (push) Failing after 8s
Close stale issues and PRs / stale (push) Has been cancelled
198 lines
5.4 KiB
C++
198 lines
5.4 KiB
C++
// Range v3 library
|
|
//
|
|
// Copyright Eric Niebler 2014-present
|
|
//
|
|
// Use, modification and distribution is subject to the
|
|
// Boost Software License, Version 1.0. (See accompanying
|
|
// file LICENSE_1_0.txt or copy at
|
|
// http://www.boost.org/LICENSE_1_0.txt)
|
|
//
|
|
// Project home: https://github.com/ericniebler/range-v3
|
|
//
|
|
// Copyright 2005 - 2007 Adobe Systems Incorporated
|
|
// Distributed under the MIT License(see accompanying file LICENSE_1_0_0.txt
|
|
// or a copy at http://stlab.adobe.com/licenses.html)
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Implementation based on the code in libc++
|
|
// http://http://libcxx.llvm.org/
|
|
|
|
#include <vector>
|
|
#include <range/v3/core.hpp>
|
|
#include <range/v3/algorithm/unique.hpp>
|
|
#include "../simple_test.hpp"
|
|
#include "../test_utils.hpp"
|
|
#include "../test_iterators.hpp"
|
|
|
|
/// Calls the iterator interface of the algorithm
|
|
template<class Iter>
|
|
struct iter_call
|
|
{
|
|
using begin_t = Iter;
|
|
using sentinel_t = typename sentinel_type<Iter>::type;
|
|
|
|
template<class B, class E, class... Args>
|
|
auto operator()(B &&It, E &&e, Args &&... args) const
|
|
-> decltype(ranges::unique(begin_t{It}, sentinel_t{e}, std::forward<Args>(args)...))
|
|
{
|
|
return ranges::unique(begin_t{It}, sentinel_t{e}, std::forward<Args>(args)...);
|
|
}
|
|
};
|
|
|
|
/// Calls the range interface of the algorithm
|
|
template<class Iter>
|
|
struct range_call
|
|
{
|
|
using begin_t = Iter;
|
|
using sentinel_t = typename sentinel_type<Iter>::type;
|
|
|
|
template<class B, class E, class... Args>
|
|
auto operator()(B &&It, E &&e, Args &&... args) const
|
|
-> ranges::iterator_t<decltype(ranges::make_subrange(begin_t{It}, sentinel_t{e}))>
|
|
{
|
|
auto rng = ranges::make_subrange(begin_t{It}, sentinel_t{e});
|
|
return ranges::unique(rng, std::forward<Args>(args)...);
|
|
}
|
|
};
|
|
|
|
template<class T> using identity_t = T;
|
|
|
|
template<class It, template<class> class FunT>
|
|
void test()
|
|
{
|
|
using Fun = FunT<It>;
|
|
|
|
{
|
|
int a[] = {0};
|
|
const unsigned sa = sizeof(a) / sizeof(a[0]);
|
|
auto r = Fun{}(a, a + sa);
|
|
CHECK(r == It(a + sa));
|
|
CHECK(a[0] == 0);
|
|
}
|
|
{
|
|
int a[] = {0, 1};
|
|
const unsigned sa = sizeof(a) / sizeof(a[0]);
|
|
auto r = Fun{}(a, a + sa);
|
|
CHECK(r == It(a + sa));
|
|
CHECK(a[0] == 0);
|
|
CHECK(a[1] == 1);
|
|
}
|
|
{
|
|
int a[] = {0, 0};
|
|
const unsigned sa = sizeof(a) / sizeof(a[0]);
|
|
auto r = Fun{}(a, a + sa);
|
|
CHECK(r == It(a + 1));
|
|
CHECK(a[0] == 0);
|
|
}
|
|
{
|
|
int a[] = {0, 0, 1};
|
|
const unsigned sa = sizeof(a) / sizeof(a[0]);
|
|
auto r = Fun{}(a, a + sa);
|
|
CHECK(r == It(a + 2));
|
|
CHECK(a[0] == 0);
|
|
CHECK(a[1] == 1);
|
|
}
|
|
{
|
|
int a[] = {0, 0, 1, 0};
|
|
const unsigned sa = sizeof(a) / sizeof(a[0]);
|
|
auto r = Fun{}(a, a + sa);
|
|
CHECK(r == It(a + 3));
|
|
CHECK(a[0] == 0);
|
|
CHECK(a[1] == 1);
|
|
CHECK(a[2] == 0);
|
|
}
|
|
{
|
|
int a[] = {0, 0, 1, 1};
|
|
const unsigned sa = sizeof(a) / sizeof(a[0]);
|
|
auto r = Fun{}(a, a + sa);
|
|
CHECK(r == It(a + 2));
|
|
CHECK(a[0] == 0);
|
|
CHECK(a[1] == 1);
|
|
}
|
|
{
|
|
int a[] = {0, 1, 1};
|
|
const unsigned sa = sizeof(a) / sizeof(a[0]);
|
|
auto r = Fun{}(a, a + sa);
|
|
CHECK(r == It(a + 2));
|
|
CHECK(a[0] == 0);
|
|
CHECK(a[1] == 1);
|
|
}
|
|
{
|
|
int a[] = {0, 1, 1, 1, 2, 2, 2};
|
|
const unsigned sa = sizeof(a) / sizeof(a[0]);
|
|
auto r = Fun{}(a, a + sa);
|
|
CHECK(r == It(a + 3));
|
|
CHECK(a[0] == 0);
|
|
CHECK(a[1] == 1);
|
|
CHECK(a[2] == 2);
|
|
}
|
|
}
|
|
|
|
constexpr bool test_constexpr()
|
|
{
|
|
using namespace ranges;
|
|
int a[] = {0, 1, 1, 1, 2, 2, 2};
|
|
const unsigned sa = sizeof(a) / sizeof(a[0]);
|
|
auto r = unique(a, a + sa);
|
|
STATIC_CHECK_RETURN(r == a + 3);
|
|
STATIC_CHECK_RETURN(a[0] == 0);
|
|
STATIC_CHECK_RETURN(a[1] == 1);
|
|
STATIC_CHECK_RETURN(a[2] == 2);
|
|
return true;
|
|
}
|
|
|
|
int main()
|
|
{
|
|
test<ForwardIterator<int*>, iter_call>();
|
|
test<BidirectionalIterator<int*>, iter_call>();
|
|
test<RandomAccessIterator<int*>, iter_call>();
|
|
test<int*, iter_call>();
|
|
|
|
test<ForwardIterator<int*>, range_call>();
|
|
test<BidirectionalIterator<int*>, range_call>();
|
|
test<RandomAccessIterator<int*>, range_call>();
|
|
test<int*, range_call>();
|
|
|
|
// Test rvalue range
|
|
{
|
|
int a[] = {0, 1, 1, 1, 2, 2, 2};
|
|
auto r = ranges::unique(ranges::views::all(a));
|
|
CHECK(r == a + 3);
|
|
CHECK(a[0] == 0);
|
|
CHECK(a[1] == 1);
|
|
CHECK(a[2] == 2);
|
|
}
|
|
{
|
|
int a[] = {0, 1, 1, 1, 2, 2, 2};
|
|
auto r = ranges::unique(std::move(a));
|
|
#ifndef RANGES_WORKAROUND_MSVC_573728
|
|
CHECK(::is_dangling(r));
|
|
#endif // RANGES_WORKAROUND_MSVC_573728
|
|
CHECK(a[0] == 0);
|
|
CHECK(a[1] == 1);
|
|
CHECK(a[2] == 2);
|
|
}
|
|
{
|
|
std::vector<int> a{0, 1, 1, 1, 2, 2, 2};
|
|
auto r = ranges::unique(std::move(a));
|
|
CHECK(::is_dangling(r));
|
|
CHECK(a[0] == 0);
|
|
CHECK(a[1] == 1);
|
|
CHECK(a[2] == 2);
|
|
}
|
|
|
|
{
|
|
STATIC_CHECK(test_constexpr());
|
|
}
|
|
|
|
return ::test_result();
|
|
}
|