mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-29 15:56:06 +00:00
235 lines
8.4 KiB
C++
235 lines
8.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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
|
|
|
|
// <string>
|
|
|
|
// constexpr basic_string(basic_string&& str, size_type pos, const Allocator& a = Allocator());
|
|
// constexpr basic_string(basic_string&& str, size_type pos, size_type n, const Allocator& a = Allocator());
|
|
|
|
#include <cassert>
|
|
#include <stdexcept>
|
|
#include <string>
|
|
|
|
#include "constexpr_char_traits.h"
|
|
#include "count_new.h"
|
|
#include "make_string.h"
|
|
#include "min_allocator.h"
|
|
#include "test_allocator.h"
|
|
#include "test_macros.h"
|
|
|
|
#define STR(string) MAKE_CSTRING(typename S::value_type, string)
|
|
|
|
constexpr struct should_throw_exception_t {
|
|
} should_throw_exception;
|
|
|
|
template <class S>
|
|
constexpr void test_string_pos(S orig, typename S::size_type pos, S expected) {
|
|
#ifdef _LIBCPP_VERSION
|
|
ConstexprDisableAllocationGuard g;
|
|
#endif
|
|
S substr(std::move(orig), pos);
|
|
LIBCPP_ASSERT(orig.__invariants());
|
|
LIBCPP_ASSERT(orig.empty());
|
|
LIBCPP_ASSERT(substr.__invariants());
|
|
assert(substr == expected);
|
|
}
|
|
|
|
template <class S>
|
|
constexpr void test_string_pos(S orig, typename S::size_type pos, should_throw_exception_t) {
|
|
#ifndef TEST_HAS_NO_EXCEPTIONS
|
|
if (!std::is_constant_evaluated()) {
|
|
try {
|
|
[[maybe_unused]] S substr = S(std::move(orig), pos);
|
|
assert(false);
|
|
} catch (const std::out_of_range&) {
|
|
}
|
|
}
|
|
#else
|
|
(void)orig;
|
|
(void)pos;
|
|
#endif
|
|
}
|
|
|
|
template <class S>
|
|
constexpr void
|
|
test_string_pos_alloc(S orig, typename S::size_type pos, const typename S::allocator_type& alloc, S expected) {
|
|
S substr(std::move(orig), pos, alloc);
|
|
LIBCPP_ASSERT(orig.__invariants());
|
|
LIBCPP_ASSERT(substr.__invariants());
|
|
assert(substr == expected);
|
|
assert(substr.get_allocator() == alloc);
|
|
}
|
|
|
|
template <class S>
|
|
constexpr void test_string_pos_alloc(
|
|
S orig, typename S::size_type pos, const typename S::allocator_type& alloc, should_throw_exception_t) {
|
|
#ifndef TEST_HAS_NO_EXCEPTIONS
|
|
if (!std::is_constant_evaluated()) {
|
|
try {
|
|
[[maybe_unused]] S substr = S(std::move(orig), pos, alloc);
|
|
assert(false);
|
|
} catch (const std::out_of_range&) {
|
|
}
|
|
}
|
|
#else
|
|
(void)orig;
|
|
(void)pos;
|
|
(void)alloc;
|
|
#endif
|
|
}
|
|
|
|
template <class S>
|
|
constexpr void test_string_pos_n(S orig, typename S::size_type pos, typename S::size_type n, S expected) {
|
|
#ifdef _LIBCPP_VERSION
|
|
ConstexprDisableAllocationGuard g;
|
|
#endif
|
|
S substr(std::move(orig), pos, n);
|
|
LIBCPP_ASSERT(orig.__invariants());
|
|
LIBCPP_ASSERT(orig.empty());
|
|
LIBCPP_ASSERT(substr.__invariants());
|
|
assert(substr == expected);
|
|
}
|
|
|
|
template <class S>
|
|
constexpr void test_string_pos_n(S orig, typename S::size_type pos, typename S::size_type n, should_throw_exception_t) {
|
|
#ifndef TEST_HAS_NO_EXCEPTIONS
|
|
if (!std::is_constant_evaluated()) {
|
|
try {
|
|
[[maybe_unused]] S substr = S(std::move(orig), pos, n);
|
|
assert(false);
|
|
} catch (const std::out_of_range&) {
|
|
}
|
|
}
|
|
#else
|
|
(void)orig;
|
|
(void)pos;
|
|
(void)n;
|
|
#endif
|
|
}
|
|
|
|
template <class S>
|
|
constexpr void test_string_pos_n_alloc(
|
|
S orig, typename S::size_type pos, typename S::size_type n, const typename S::allocator_type& alloc, S expected) {
|
|
S substr(std::move(orig), pos, n, alloc);
|
|
LIBCPP_ASSERT(orig.__invariants());
|
|
LIBCPP_ASSERT(substr.__invariants());
|
|
assert(substr == expected);
|
|
assert(substr.get_allocator() == alloc);
|
|
}
|
|
|
|
template <class S>
|
|
constexpr void test_string_pos_n_alloc(
|
|
S orig,
|
|
typename S::size_type pos,
|
|
typename S::size_type n,
|
|
const typename S::allocator_type& alloc,
|
|
should_throw_exception_t) {
|
|
#ifndef TEST_HAS_NO_EXCEPTIONS
|
|
if (!std::is_constant_evaluated()) {
|
|
try {
|
|
[[maybe_unused]] S substr = S(std::move(orig), pos, n, alloc);
|
|
assert(false);
|
|
} catch (const std::out_of_range&) {
|
|
}
|
|
}
|
|
#else
|
|
(void)orig;
|
|
(void)pos;
|
|
(void)n;
|
|
(void)alloc;
|
|
#endif
|
|
}
|
|
|
|
template <class S>
|
|
constexpr void test_string(const typename S::allocator_type& alloc) {
|
|
test_string_pos<S>(STR(""), 0, STR(""));
|
|
test_string_pos<S>(STR(""), 1, should_throw_exception);
|
|
test_string_pos<S>(STR("Banane"), 1, STR("anane"));
|
|
test_string_pos<S>(STR("Banane"), 6, STR(""));
|
|
test_string_pos<S>(STR("Banane"), 7, should_throw_exception);
|
|
test_string_pos<S>(STR("long long string so no SSO"), 0, STR("long long string so no SSO"));
|
|
test_string_pos<S>(STR("long long string so no SSO"), 10, STR("string so no SSO"));
|
|
test_string_pos<S>(STR("long long string so no SSO"), 26, STR(""));
|
|
test_string_pos<S>(STR("long long string so no SSO"), 27, should_throw_exception);
|
|
|
|
test_string_pos_alloc<S>(STR(""), 0, alloc, STR(""));
|
|
test_string_pos_alloc<S>(STR(""), 1, alloc, should_throw_exception);
|
|
test_string_pos_alloc<S>(STR("Banane"), 1, alloc, STR("anane"));
|
|
test_string_pos_alloc<S>(STR("Banane"), 6, alloc, STR(""));
|
|
test_string_pos_alloc<S>(STR("Banane"), 7, alloc, should_throw_exception);
|
|
test_string_pos_alloc<S>(STR("long long string so no SSO"), 0, alloc, STR("long long string so no SSO"));
|
|
test_string_pos_alloc<S>(STR("long long string so no SSO"), 10, alloc, STR("string so no SSO"));
|
|
test_string_pos_alloc<S>(STR("long long string so no SSO"), 26, alloc, STR(""));
|
|
test_string_pos_alloc<S>(STR("long long string so no SSO"), 27, alloc, should_throw_exception);
|
|
|
|
test_string_pos_n<S>(STR(""), 0, 0, STR(""));
|
|
test_string_pos_n<S>(STR(""), 0, 1, STR(""));
|
|
test_string_pos_n<S>(STR(""), 1, 0, should_throw_exception);
|
|
test_string_pos_n<S>(STR(""), 1, 1, should_throw_exception);
|
|
test_string_pos_n<S>(STR("Banane"), 1, 10, STR("anane"));
|
|
test_string_pos_n<S>(STR("Banane"), 6, 0, STR(""));
|
|
test_string_pos_n<S>(STR("Banane"), 6, 5, STR(""));
|
|
test_string_pos_n<S>(STR("Banane"), 7, 10, should_throw_exception);
|
|
test_string_pos_n<S>(STR("long long string so no SSO"), 0, 10, STR("long long "));
|
|
test_string_pos_n<S>(STR("long long string so no SSO"), 10, 8, STR("string s"));
|
|
test_string_pos_n<S>(STR("long long string so no SSO"), 20, 10, STR("no SSO"));
|
|
test_string_pos_n<S>(STR("long long string so no SSO"), 26, 10, STR(""));
|
|
test_string_pos_n<S>(STR("long long string so no SSO"), 27, 10, should_throw_exception);
|
|
|
|
test_string_pos_n_alloc<S>(STR(""), 0, 0, alloc, STR(""));
|
|
test_string_pos_n_alloc<S>(STR(""), 0, 1, alloc, STR(""));
|
|
test_string_pos_n_alloc<S>(STR(""), 1, 0, alloc, should_throw_exception);
|
|
test_string_pos_n_alloc<S>(STR(""), 1, 1, alloc, should_throw_exception);
|
|
test_string_pos_n_alloc<S>(STR("Banane"), 1, 10, alloc, STR("anane"));
|
|
test_string_pos_n_alloc<S>(STR("Banane"), 6, 0, alloc, STR(""));
|
|
test_string_pos_n_alloc<S>(STR("Banane"), 6, 5, alloc, STR(""));
|
|
test_string_pos_n_alloc<S>(STR("Banane"), 7, 10, alloc, should_throw_exception);
|
|
test_string_pos_n_alloc<S>(STR("long long string so no SSO"), 0, 10, alloc, STR("long long "));
|
|
test_string_pos_n_alloc<S>(STR("long long string so no SSO"), 10, 8, alloc, STR("string s"));
|
|
test_string_pos_n_alloc<S>(STR("long long string so no SSO"), 20, 10, alloc, STR("no SSO"));
|
|
test_string_pos_n_alloc<S>(STR("long long string so no SSO"), 26, 10, alloc, STR(""));
|
|
test_string_pos_n_alloc<S>(STR("long long string so no SSO"), 27, 10, alloc, should_throw_exception);
|
|
}
|
|
|
|
template <class CharT, class CharTraits>
|
|
constexpr void test_allocators() {
|
|
test_string<std::basic_string<CharT, CharTraits, std::allocator<CharT>>>(std::allocator<CharT>{});
|
|
test_string<std::basic_string<CharT, CharTraits, min_allocator<CharT>>>(min_allocator<CharT>{});
|
|
test_string<std::basic_string<CharT, CharTraits, test_allocator<CharT>>>(test_allocator<CharT>{42});
|
|
}
|
|
|
|
template <class CharT>
|
|
constexpr bool test_char_traits() {
|
|
test_allocators<CharT, std::char_traits<CharT>>();
|
|
test_allocators<CharT, constexpr_char_traits<CharT>>();
|
|
|
|
return true;
|
|
}
|
|
|
|
int main(int, char**) {
|
|
// TODO: put these into a single function when we increase the constexpr step limit
|
|
test_char_traits<char>();
|
|
static_assert(test_char_traits<char>());
|
|
test_char_traits<char16_t>();
|
|
static_assert(test_char_traits<char16_t>());
|
|
test_char_traits<char32_t>();
|
|
static_assert(test_char_traits<char32_t>());
|
|
#ifndef TEST_HAS_NO_WIDE_CHARACTERS
|
|
test_char_traits<wchar_t>();
|
|
static_assert(test_char_traits<wchar_t>());
|
|
#endif
|
|
#ifndef TEST_HAS_NO_CHAR8_T
|
|
test_char_traits<char8_t>();
|
|
static_assert(test_char_traits<char8_t>());
|
|
#endif
|
|
|
|
return 0;
|
|
}
|