From edd5e29cfe9f67ec8e7e0eda12eb05e616fdeebc Mon Sep 17 00:00:00 2001 From: Marshall Clow Date: Wed, 23 May 2018 01:57:02 +0000 Subject: Implement deduction guides for basic_regex llvm-svn: 333050 --- .../re/re.regex/re.regex.construct/deduct.fail.cpp | 45 +++++++ .../re/re.regex/re.regex.construct/deduct.pass.cpp | 137 +++++++++++++++++++++ 2 files changed, 182 insertions(+) create mode 100644 libcxx/test/std/re/re.regex/re.regex.construct/deduct.fail.cpp create mode 100644 libcxx/test/std/re/re.regex/re.regex.construct/deduct.pass.cpp (limited to 'libcxx/test/std/re/re.regex') diff --git a/libcxx/test/std/re/re.regex/re.regex.construct/deduct.fail.cpp b/libcxx/test/std/re/re.regex/re.regex.construct/deduct.fail.cpp new file mode 100644 index 00000000000..c4d60a5a95a --- /dev/null +++ b/libcxx/test/std/re/re.regex/re.regex.construct/deduct.fail.cpp @@ -0,0 +1,45 @@ +//===----------------------------------------------------------------------===// +// +// 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. +// +//===----------------------------------------------------------------------===// + +// +// UNSUPPORTED: c++98, c++03, c++11, c++14 +// UNSUPPORTED: libcpp-no-deduction-guides + + +// template ::value_type>> +// vector(InputIterator, InputIterator, Allocator = Allocator()) +// -> vector::value_type, Allocator>; +// + + +#include +#include +#include +#include +#include + + +int main() +{ +// Test the explicit deduction guides + { +// basic_regex(ForwardIterator, ForwardIterator) +// is not an iterator + std::basic_regex re(23, 34); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'basic_regex'}} + } + + { +// basic_regex(ForwardIterator, ForwardIterator, flag_type) +// is not an iterator + std::basic_regex re(23.0, 34.0, std::regex_constants::basic); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'basic_regex'}} + } + +// Test the implicit deduction guides + +} diff --git a/libcxx/test/std/re/re.regex/re.regex.construct/deduct.pass.cpp b/libcxx/test/std/re/re.regex/re.regex.construct/deduct.pass.cpp new file mode 100644 index 00000000000..5dbd2f11708 --- /dev/null +++ b/libcxx/test/std/re/re.regex/re.regex.construct/deduct.pass.cpp @@ -0,0 +1,137 @@ +//===----------------------------------------------------------------------===// +// +// 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. +// +//===----------------------------------------------------------------------===// + +// +// UNSUPPORTED: c++98, c++03, c++11, c++14 +// UNSUPPORTED: libcpp-no-deduction-guides + + +// template +// basic_regex(ForwardIterator, ForwardIterator, +// regex_constants::syntax_option_type = regex_constants::ECMAScript) +// -> basic_regex::value_type>; + + +#include +#include +#include +#include +#include + +#include "test_macros.h" +#include "test_iterators.h" +#include "test_allocator.h" + +using namespace std::literals; + +struct A {}; + +int main() +{ + +// Test the explicit deduction guides + { +// basic_regex(ForwardIterator, ForwardIterator) + std::string s1("\\(a\\)"); + std::basic_regex re(s1.begin(), s1.end()); + + static_assert(std::is_same_v>, ""); + assert(re.flags() == std::regex_constants::ECMAScript); + assert(re.mark_count() == 0); + } + + { + std::wstring s1(L"\\(a\\)"); + std::basic_regex re(s1.begin(), s1.end(), std::regex_constants::basic); + + static_assert(std::is_same_v>, ""); + assert(re.flags() == std::regex_constants::basic); + assert(re.mark_count() == 1); + } + +// Test the implicit deduction guides + { +// basic_regex(string); + std::basic_regex re("(a([bc]))"s); + static_assert(std::is_same_v>, ""); + assert(re.flags() == std::regex_constants::ECMAScript); + assert(re.mark_count() == 2); + } + + { +// basic_regex(string, flag_type); + std::basic_regex re(L"(a([bc]))"s, std::regex_constants::awk); + static_assert(std::is_same_v>, ""); + assert(re.flags() == std::regex_constants::awk); + assert(re.mark_count() == 2); + } + + { +// basic_regex(const charT*); + std::basic_regex re("ABCDE"); + static_assert(std::is_same_v>, ""); + assert(re.flags() == std::regex_constants::ECMAScript); + assert(re.mark_count() == 0); + } + + { +// basic_regex(const charT*, flag_type); + std::basic_regex re(L"ABCDE", std::regex_constants::grep); + static_assert(std::is_same_v>, ""); + assert(re.flags() == std::regex_constants::grep); + assert(re.mark_count() == 0); + } + + { +// basic_regex(const charT*, size_t); + std::basic_regex re("ABCDEDEF", 7); + static_assert(std::is_same_v>, ""); + assert(re.flags() == std::regex_constants::ECMAScript); + assert(re.mark_count() == 0); + } + + { +// basic_regex(const charT*, size_t, flag_type); + std::basic_regex re(L"ABCDEDEF", 8, std::regex_constants::awk); + static_assert(std::is_same_v>, ""); + assert(re.flags() == std::regex_constants::awk); + assert(re.mark_count() == 0); + } + + { +// basic_regex(const basic_regex &); + std::basic_regex source; + std::basic_regex re(source); + static_assert(std::is_same_v>, ""); + assert(re.flags() == source.flags()); + assert(re.mark_count() == source.mark_count()); + } + + { +// template +// explicit basic_regex(const basic_string& p, +// flag_type f = regex_constants::ECMAScript); + } + + { +// basic_regex(initializer_list); + std::basic_regex re({'A', 'B', 'F', 'E', 'D'}); + static_assert(std::is_same_v>, ""); + assert(re.flags() == std::regex_constants::ECMAScript); + assert(re.mark_count() == 0); + } + + { +// basic_regex(initializer_list, flag_type); + std::basic_regex re({L'A', L'B', L'F', L'E', L'D'}, std::regex_constants::grep); + static_assert(std::is_same_v>, ""); + assert(re.flags() == std::regex_constants::grep); + assert(re.mark_count() == 0); + } +} -- cgit v1.2.3