f56dfb78aa
First, fix a collision with the Point type from MacTypes.h, which was reported on Slack, 2022-07-31: https://cpplang.slack.com/archives/C2X659D1B/p1659284691275889 Second, rename the meta:: namespace to types::. OSX's "/usr/include/ncurses.h" defines a `meta` function, and is (for some reason) included in "<SDK>/usr/include/module.modulemap", so that identifier is off-limits for us to use in anything that compiles with -fmodules: libcxx/test/support/type_algorithms.h:16:11: error: redefinition of 'meta' as different kind of symbol namespace meta { ^ <SDK>/usr/include/ncurses.h:603:28: note: previous definition is here extern NCURSES_EXPORT(int) meta (WINDOW *,bool); /* implemented */ ^ Finally, add a CI configuration for modules on OS X to make sure it does not regress. Differential Revision: https://reviews.llvm.org/D144915
139 lines
4.4 KiB
C++
139 lines
4.4 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// <algorithm>
|
|
|
|
// template<InputIterator Iter1, InputIterator Iter2>
|
|
// requires HasEqualTo<Iter1::value_type, Iter2::value_type>
|
|
// constexpr bool // constexpr after c++17
|
|
// equal(Iter1 first1, Iter1 last1, Iter2 first2);
|
|
//
|
|
// Introduced in C++14:
|
|
// template<InputIterator Iter1, InputIterator Iter2>
|
|
// constexpr bool // constexpr after c++17
|
|
// equal(Iter1 first1, Iter1 last1, Iter2 first2, Iter2 last2);
|
|
|
|
#include <algorithm>
|
|
#include <cassert>
|
|
#include <functional>
|
|
|
|
#include "test_iterators.h"
|
|
#include "test_macros.h"
|
|
#include "type_algorithms.h"
|
|
|
|
template <class UnderlyingType, class Iter1>
|
|
struct Test {
|
|
template <class Iter2>
|
|
TEST_CONSTEXPR_CXX20 void operator()() {
|
|
UnderlyingType a[] = {0, 1, 2, 3, 4, 5};
|
|
const unsigned s = sizeof(a) / sizeof(a[0]);
|
|
UnderlyingType b[s] = {0, 1, 2, 5, 4, 5};
|
|
|
|
assert(std::equal(Iter1(a), Iter1(a + s), Iter2(a)));
|
|
assert(!std::equal(Iter1(a), Iter1(a + s), Iter2(b)));
|
|
|
|
#if TEST_STD_VER >= 14
|
|
assert(std::equal(Iter1(a), Iter1(a + s), Iter2(a), std::equal_to<>()));
|
|
assert(!std::equal(Iter1(a), Iter1(a + s), Iter2(b), std::equal_to<>()));
|
|
|
|
assert(std::equal(Iter1(a), Iter1(a + s), Iter2(a), Iter2(a + s)));
|
|
assert(!std::equal(Iter1(a), Iter1(a + s), Iter2(a), Iter2(a + s - 1)));
|
|
assert(!std::equal(Iter1(a), Iter1(a + s), Iter2(b), Iter2(b + s)));
|
|
|
|
assert(std::equal(Iter1(a), Iter1(a + s), Iter2(a), Iter2(a + s), std::equal_to<>()));
|
|
assert(!std::equal(Iter1(a), Iter1(a + s), Iter2(a), Iter2(a + s - 1), std::equal_to<>()));
|
|
assert(!std::equal(Iter1(a), Iter1(a + s), Iter2(b), Iter2(b + s), std::equal_to<>()));
|
|
#endif
|
|
}
|
|
};
|
|
|
|
struct TestNarrowingEqualTo {
|
|
template <class UnderlyingType>
|
|
TEST_CONSTEXPR_CXX20 void operator()() {
|
|
UnderlyingType a[] = {
|
|
UnderlyingType(0x1000),
|
|
UnderlyingType(0x1001),
|
|
UnderlyingType(0x1002),
|
|
UnderlyingType(0x1003),
|
|
UnderlyingType(0x1004)};
|
|
UnderlyingType b[] = {
|
|
UnderlyingType(0x1600),
|
|
UnderlyingType(0x1601),
|
|
UnderlyingType(0x1602),
|
|
UnderlyingType(0x1603),
|
|
UnderlyingType(0x1604)};
|
|
|
|
assert(std::equal(a, a + 5, b, std::equal_to<char>()));
|
|
#if TEST_STD_VER >= 14
|
|
assert(std::equal(a, a + 5, b, b + 5, std::equal_to<char>()));
|
|
#endif
|
|
}
|
|
};
|
|
|
|
template <class UnderlyingType, class TypeList>
|
|
struct TestIter2 {
|
|
template <class Iter1>
|
|
TEST_CONSTEXPR_CXX20 void operator()() {
|
|
types::for_each(TypeList(), Test<UnderlyingType, Iter1>());
|
|
}
|
|
};
|
|
|
|
struct AddressCompare {
|
|
int i = 0;
|
|
TEST_CONSTEXPR_CXX20 AddressCompare(int) {}
|
|
|
|
operator char() { return static_cast<char>(i); }
|
|
|
|
friend TEST_CONSTEXPR_CXX20 bool operator==(const AddressCompare& lhs, const AddressCompare& rhs) {
|
|
return &lhs == &rhs;
|
|
}
|
|
|
|
friend TEST_CONSTEXPR_CXX20 bool operator!=(const AddressCompare& lhs, const AddressCompare& rhs) {
|
|
return &lhs != &rhs;
|
|
}
|
|
};
|
|
|
|
TEST_CONSTEXPR_CXX20 bool test() {
|
|
types::for_each(types::cpp17_input_iterator_list<int*>(), TestIter2<int, types::cpp17_input_iterator_list<int*> >());
|
|
types::for_each(types::cpp17_input_iterator_list<char*>(), TestIter2<char, types::cpp17_input_iterator_list<char*> >());
|
|
types::for_each(types::cpp17_input_iterator_list<AddressCompare*>(),
|
|
TestIter2<AddressCompare, types::cpp17_input_iterator_list<AddressCompare*> >());
|
|
|
|
types::for_each(types::integral_types(), TestNarrowingEqualTo());
|
|
|
|
return true;
|
|
}
|
|
|
|
struct Base {};
|
|
struct Derived : virtual Base {};
|
|
|
|
int main(int, char**) {
|
|
test();
|
|
#if TEST_STD_VER >= 20
|
|
static_assert(test());
|
|
#endif
|
|
|
|
types::for_each(types::as_pointers<types::cv_qualified_versions<int> >(),
|
|
TestIter2<int, types::as_pointers<types::cv_qualified_versions<int> > >());
|
|
types::for_each(types::as_pointers<types::cv_qualified_versions<char> >(),
|
|
TestIter2<char, types::as_pointers<types::cv_qualified_versions<char> > >());
|
|
|
|
{
|
|
Derived d;
|
|
Derived* a[] = {&d, nullptr};
|
|
Base* b[] = {&d, nullptr};
|
|
|
|
assert(std::equal(a, a + 2, b));
|
|
#if TEST_STD_VER >= 14
|
|
assert(std::equal(a, a + 2, b, b + 2));
|
|
#endif
|
|
}
|
|
|
|
return 0;
|
|
}
|