804b46bb45
Implements [P3044R2](https://wg21.link/P3044R2) Note: `substr.pass.cpp` is refactored to accommodate the test of `basic_string_view`'s `subview` which is an alias of `substr` without changing the test cases. Closes #148140 # References - https://github.com/cplusplus/draft/pull/7975 - https://wg21.link/string.substr - https://wg21.link/string.view.ops --------- Co-authored-by: Hristo Hristov <zingam@outlook.com> Co-authored-by: Nikolas Klauser <nikolasklauser@berlin.de>
121 lines
3.5 KiB
C++
121 lines
3.5 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// REQUIRES: std-at-least-c++26
|
|
|
|
// <string_view>
|
|
|
|
// constexpr basic_string_view subview(size_type pos = 0,
|
|
// size_type n = npos) const; // freestanding-deleted
|
|
|
|
#include <cassert>
|
|
#include <concepts>
|
|
#include <string_view>
|
|
#include <utility>
|
|
|
|
#include "constexpr_char_traits.h"
|
|
#include "make_string.h"
|
|
#include "test_macros.h"
|
|
#include "type_algorithms.h"
|
|
|
|
#define CS(S) MAKE_CSTRING(CharT, S)
|
|
|
|
template <typename CharT, typename TraitsT>
|
|
constexpr void test() {
|
|
std::basic_string_view<CharT, TraitsT> sv{CS("Hello cruel world!")};
|
|
|
|
{ // With a default position and a character length.
|
|
|
|
// Check if subview() is a const-qualified.
|
|
assert(std::as_const(sv).subview() == CS("Hello cruel world!"));
|
|
|
|
// Check if the return type of subview() is correct.
|
|
std::same_as<std::basic_string_view<CharT, TraitsT>> decltype(auto) subsv = sv.subview();
|
|
assert(subsv == CS("Hello cruel world!"));
|
|
}
|
|
|
|
{ // Check with different position and length.
|
|
|
|
// With a explict position and a character length.
|
|
assert(sv.subview(6, 5) == CS("cruel"));
|
|
|
|
// From the beginning of the string with a explicit character length.
|
|
assert(sv.subview(0, 5) == CS("Hello"));
|
|
|
|
// To the end of string with the default character length.
|
|
assert(sv.subview(12) == CS("world!"));
|
|
|
|
// From the beginning to the end of the string with explicit values.
|
|
assert(sv.subview(0, sv.size()) == CS("Hello cruel world!"));
|
|
}
|
|
|
|
// Test if exceptions are thrown correctly.
|
|
#ifndef TEST_HAS_NO_EXCEPTIONS
|
|
if (!std::is_constant_evaluated()) {
|
|
{ // With a position that is out of range.
|
|
try {
|
|
std::ignore = sv.subview(sv.size() + 1);
|
|
assert(false);
|
|
} catch ([[maybe_unused]] const std::out_of_range& ex) {
|
|
LIBCPP_ASSERT(std::string(ex.what()) == "string_view::substr");
|
|
} catch (...) {
|
|
assert(false);
|
|
}
|
|
}
|
|
|
|
{ // With a position that is out of range and a 0 character length.
|
|
try {
|
|
std::ignore = sv.subview(sv.size() + 1, 0);
|
|
assert(false);
|
|
} catch ([[maybe_unused]] const std::out_of_range& ex) {
|
|
LIBCPP_ASSERT(std::string(ex.what()) == "string_view::substr");
|
|
} catch (...) {
|
|
assert(false);
|
|
}
|
|
}
|
|
|
|
{ // With a position that is out of range and a some character length.
|
|
try {
|
|
std::ignore = sv.subview(sv.size() + 1, 1);
|
|
assert(false);
|
|
} catch ([[maybe_unused]] const std::out_of_range& ex) {
|
|
LIBCPP_ASSERT(std::string(ex.what()) == "string_view::substr");
|
|
} catch (...) {
|
|
assert(false);
|
|
}
|
|
}
|
|
}
|
|
#endif
|
|
}
|
|
|
|
template <typename CharT>
|
|
constexpr void test() {
|
|
test<CharT, std::char_traits<CharT>>();
|
|
test<CharT, std::char_traits<CharT>>();
|
|
test<CharT, std::char_traits<CharT>>();
|
|
test<CharT, std::char_traits<CharT>>();
|
|
|
|
test<CharT, constexpr_char_traits<CharT>>();
|
|
test<CharT, constexpr_char_traits<CharT>>();
|
|
test<CharT, constexpr_char_traits<CharT>>();
|
|
test<CharT, constexpr_char_traits<CharT>>();
|
|
}
|
|
|
|
constexpr bool test() {
|
|
types::for_each(types::character_types(), []<typename CharT> { test<CharT>(); });
|
|
|
|
return true;
|
|
}
|
|
|
|
int main(int, char**) {
|
|
test();
|
|
static_assert(test());
|
|
|
|
return 0;
|
|
}
|