Changeset View
Changeset View
Standalone View
Standalone View
libcxx/test/std/re/re.results/re.results.const/default.pass.cpp
//===----------------------------------------------------------------------===// | //===----------------------------------------------------------------------===// | ||||
// | // | ||||
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | ||||
// See https://llvm.org/LICENSE.txt for license information. | // See https://llvm.org/LICENSE.txt for license information. | ||||
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | ||||
// | // | ||||
//===----------------------------------------------------------------------===// | //===----------------------------------------------------------------------===// | ||||
// <regex> | // <regex> | ||||
// class match_results<BidirectionalIterator, Allocator> | // class match_results<BidirectionalIterator, Allocator> | ||||
// match_results(const Allocator& a = Allocator()); | // explicit match_results(const Allocator& a = Allocator()); // before C++20 | ||||
// match_results() : match_results(Allocator()) {} // C++20 | |||||
// explicit match_results(const Allocator& a); // C++20 | |||||
#include <regex> | #include <regex> | ||||
#include <cassert> | #include <cassert> | ||||
#include "test_macros.h" | #include "test_macros.h" | ||||
#if TEST_STD_VER >= 11 | |||||
#include "test_convertible.h" | |||||
template <typename T> | |||||
void test_implicit() { | |||||
#if TEST_STD_VER > 17 | |||||
static_assert(test_convertible<T>(), ""); | |||||
#else | |||||
static_assert(!test_convertible<T>(), ""); | |||||
#endif | |||||
static_assert(!test_convertible<T, typename T::allocator_type>(), ""); | |||||
} | |||||
#endif | |||||
template <class CharT> | template <class CharT> | ||||
void | void | ||||
test() | test() | ||||
{ | { | ||||
std::match_results<const CharT*> m; | typedef std::match_results<const CharT*> M; | ||||
typedef std::allocator<std::sub_match<const CharT*> > Alloc; | |||||
M m; | |||||
assert(m.size() == 0); | assert(m.size() == 0); | ||||
assert(!m.ready()); | assert(!m.ready()); | ||||
assert(m.get_allocator() == std::allocator<std::sub_match<const CharT*> >()); | assert(m.get_allocator() == Alloc()); | ||||
#if TEST_STD_VER >= 11 | |||||
test_implicit<M>(); | |||||
#endif | |||||
} | } | ||||
int main(int, char**) | int main(int, char**) | ||||
{ | { | ||||
test<char>(); | test<char>(); | ||||
test<wchar_t>(); | test<wchar_t>(); | ||||
return 0; | return 0; | ||||
} | } |