// Copyright 2017 The Abseil Authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
#include "absl/strings/string_view.h"
#include <stdlib.h>
#include <cstddef>
#include <cstdlib>
#include <cstring>
#include <iomanip>
#include <ios>
#include <iterator>
#include <limits>
#include <map>
#include <memory>
#include <sstream>
#include <string>
#include <type_traits>
#include <utility>
#include "gtest/gtest.h"
#include "absl/base/config.h"
#include "absl/meta/type_traits.h"
#if defined(ABSL_HAVE_STD_STRING_VIEW) ||
defined(__ANDROID__)
// We don't control the death messaging when using std::string_view.
// Android assert messages only go to system log, so death tests cannot inspect
// the message for matching.
#define ABSL_EXPECT_DEATH_IF_SUPPORTED(statement, regex) \
EXPECT_DEATH_IF_SUPPORTED(statement,
".*")
#else
#define ABSL_EXPECT_DEATH_IF_SUPPORTED(statement, regex) \
EXPECT_DEATH_IF_SUPPORTED(statement, regex)
#endif
namespace {
static_assert(!absl::type_traits_internal::IsOwner<absl::string_view>::value &&
absl::type_traits_internal::IsView<absl::string_view>::value,
"string_view is a view, not an owner");
static_assert(absl::type_traits_internal::IsLifetimeBoundAssignment<
absl::string_view, std::string>::value,
"lifetimebound assignment not detected");
// A minimal allocator that uses malloc().
template <
typename T>
struct Mallocator {
typedef T value_type;
typedef size_t size_type;
typedef ptrdiff_t difference_type;
typedef T* pointer;
typedef const T* const_pointer;
typedef T& reference;
typedef const T& const_reference;
size_type max_size()
const {
return size_t(std::numeric_limits<size_type>::max()) /
sizeof(value_type);
}
template <
typename U>
struct rebind {
typedef Mallocator<U> other;
};
Mallocator() =
default;
template <
class U>
Mallocator(
const Mallocator<U>&) {}
// NOLINT(runtime/explicit)
T* allocate(size_t n) {
return static_cast<T*>(std::malloc(n *
sizeof(T))); }
void deallocate(T* p, size_t) { std::free(p); }
};
template <
typename T,
typename U>
bool operator==(
const Mallocator<T>&,
const Mallocator<U>&) {
return true;
}
template <
typename T,
typename U>
bool operator!=(
const Mallocator<T>&,
const Mallocator<U>&) {
return false;
}
TEST(StringViewTest, Ctor) {
{
// Null.
absl::string_view s10;
EXPECT_TRUE(s10.data() == nullptr);
EXPECT_EQ(0u, s10.length());
}
{
// const char* without length.
const char* hello =
"hello";
absl::string_view s20(hello);
EXPECT_TRUE(s20.data() == hello);
EXPECT_EQ(5u, s20.length());
// const char* with length.
absl::string_view s21(hello, 4);
EXPECT_TRUE(s21.data() == hello);
EXPECT_EQ(4u, s21.length());
// Not recommended, but valid C++
absl::string_view s22(hello, 6);
EXPECT_TRUE(s22.data() == hello);
EXPECT_EQ(6u, s22.length());
}
{
// std::string.
std::string hola =
"hola";
absl::string_view s30(hola);
EXPECT_TRUE(s30.data() == hola.data());
EXPECT_EQ(4u, s30.length());
// std::string with embedded '\0'.
hola.push_back(
'\0');
hola.append(
"h2");
hola.push_back(
'\0');
absl::string_view s31(hola);
EXPECT_TRUE(s31.data() == hola.data());
EXPECT_EQ(8u, s31.length());
}
{
using mstring =
std::basic_string<
char, std::char_traits<
char>, Mallocator<
char>>;
mstring str1(
"BUNGIE-JUMPING!");
const mstring str2(
"SLEEPING!");
absl::string_view s1(str1);
s1.remove_prefix(strlen(
"BUNGIE-JUM"));
absl::string_view s2(str2);
s2.remove_prefix(strlen(
"SLEE"));
EXPECT_EQ(s1, s2);
EXPECT_EQ(s1,
"PING!");
}
// TODO(mec): absl::string_view(const absl::string_view&);
}
TEST(StringViewTest, Swap) {
absl::string_view a(
"a");
absl::string_view b(
"bbb");
EXPECT_TRUE(noexcept(a.swap(b)));
a.swap(b);
EXPECT_EQ(a,
"bbb");
EXPECT_EQ(b,
"a");
a.swap(b);
EXPECT_EQ(a,
"a");
EXPECT_EQ(b,
"bbb");
}
TEST(StringViewTest, STLComparator) {
std::string s1(
"foo");
std::string s2(
"bar");
std::string s3(
"baz");
absl::string_view p1(s1);
absl::string_view p2(s2);
absl::string_view p3(s3);
typedef std::map<absl::string_view,
int> TestMap;
TestMap map;
map.insert(std::make_pair(p1, 0));
map.insert(std::make_pair(p2, 1));
map.insert(std::make_pair(p3, 2));
EXPECT_EQ(map.size(), 3u);
TestMap::const_iterator iter = map.begin();
EXPECT_EQ(iter->second, 1);
++iter;
EXPECT_EQ(iter->second, 2);
++iter;
EXPECT_EQ(iter->second, 0);
++iter;
EXPECT_TRUE(iter == map.end());
TestMap::iterator new_iter = map.find(
"zot");
EXPECT_TRUE(new_iter == map.end());
new_iter = map.find(
"bar");
EXPECT_TRUE(new_iter != map.end());
map.erase(new_iter);
EXPECT_EQ(map.size(), 2u);
iter = map.begin();
EXPECT_EQ(iter->second, 2);
++iter;
EXPECT_EQ(iter->second, 0);
++iter;
EXPECT_TRUE(iter == map.end());
}
#define COMPARE(result, op, x, y) \
EXPECT_EQ(result, absl::string_view((x)) op absl::string_view((y))); \
EXPECT_EQ(result, absl::string_view((x)).compare(absl::string_view((y))) op 0)
TEST(StringViewTest, ComparisonOperators) {
COMPARE(
true, ==,
"",
"");
COMPARE(
true, ==,
"", absl::string_view());
COMPARE(
true, ==, absl::string_view(),
"");
COMPARE(
true, ==,
"a",
"a");
COMPARE(
true, ==,
"aa",
"aa");
COMPARE(
false, ==,
"a",
"");
COMPARE(
false, ==,
"",
"a");
COMPARE(
false, ==,
"a",
"b");
COMPARE(
false, ==,
"a",
"aa");
COMPARE(
false, ==,
"aa",
"a");
COMPARE(
false, !=,
"",
"");
COMPARE(
false, !=,
"a",
"a");
COMPARE(
false, !=,
"aa",
"aa");
COMPARE(
true, !=,
"a",
"");
COMPARE(
true, !=,
"",
"a");
COMPARE(
true, !=,
"a",
"b");
COMPARE(
true, !=,
"a",
"aa");
COMPARE(
true, !=,
"aa",
"a");
COMPARE(
true, <,
"a",
"b");
COMPARE(
true, <,
"a",
"aa");
COMPARE(
true, <,
"aa",
"b");
COMPARE(
true, <,
"aa",
"bb");
COMPARE(
false, <,
"a",
"a");
COMPARE(
false, <,
"b",
"a");
COMPARE(
false, <,
"aa",
"a");
COMPARE(
false, <,
"b",
"aa");
COMPARE(
false, <,
"bb",
"aa");
COMPARE(
true, <=,
"a",
"a");
COMPARE(
true, <=,
"a",
"b");
COMPARE(
true, <=,
"a",
"aa");
COMPARE(
true, <=,
"aa",
"b");
COMPARE(
true, <=,
"aa",
"bb");
COMPARE(
false, <=,
"b",
"a");
COMPARE(
false, <=,
"aa",
"a");
COMPARE(
false, <=,
"b",
"aa");
COMPARE(
false, <=,
"bb",
"aa");
COMPARE(
false, >=,
"a",
"b");
COMPARE(
false, >=,
"a",
"aa");
COMPARE(
false, >=,
"aa",
"b");
COMPARE(
false, >=,
"aa",
"bb");
COMPARE(
true, >=,
"a",
"a");
COMPARE(
true, >=,
"b",
"a");
COMPARE(
true, >=,
"aa",
"a");
COMPARE(
true, >=,
"b",
"aa");
COMPARE(
true, >=,
"bb",
"aa");
COMPARE(
false, >,
"a",
"a");
COMPARE(
false, >,
"a",
"b");
COMPARE(
false, >,
"a",
"aa");
COMPARE(
false, >,
"aa",
"b");
COMPARE(
false, >,
"aa",
"bb");
COMPARE(
true, >,
"b",
"a");
COMPARE(
true, >,
"aa",
"a");
COMPARE(
true, >,
"b",
"aa");
COMPARE(
true, >,
"bb",
"aa");
}
TEST(StringViewTest, ComparisonOperatorsByCharacterPosition) {
std::string x;
for (size_t i = 0; i < 256; i++) {
x +=
'a';
std::string y = x;
COMPARE(
true, ==, x, y);
for (size_t j = 0; j < i; j++) {
std::string z = x;
z[j] =
'b';
// Differs in position 'j'
COMPARE(
false, ==, x, z);
COMPARE(
true, <, x, z);
COMPARE(
true, >, z, x);
if (j + 1 < i) {
z[j + 1] =
'A';
// Differs in position 'j+1' as well
COMPARE(
false, ==, x, z);
COMPARE(
true, <, x, z);
COMPARE(
true, >, z, x);
z[j + 1] =
'z';
// Differs in position 'j+1' as well
COMPARE(
false, ==, x, z);
COMPARE(
true, <, x, z);
COMPARE(
true, >, z, x);
}
}
}
}
#undef COMPARE
// Sadly, our users often confuse std::string::npos with
// absl::string_view::npos; So much so that we test here that they are the same.
// They need to both be unsigned, and both be the maximum-valued integer of
// their type.
template <
typename T>
struct is_type {
template <
typename U>
static bool same(U) {
return false;
}
static bool same(T) {
return true; }
};
TEST(StringViewTest, NposMatchesStdStringView) {
EXPECT_EQ(absl::string_view::npos, std::string::npos);
EXPECT_TRUE(is_type<size_t>::same(absl::string_view::npos));
EXPECT_FALSE(is_type<size_t>::same(
""));
// Make sure absl::string_view::npos continues to be a header constant.
char test[absl::string_view::npos & 1] = {0};
EXPECT_EQ(0, test[0]);
}
TEST(StringViewTest, STL1) {
const absl::string_view a(
"abcdefghijklmnopqrstuvwxyz");
const absl::string_view b(
"abc");
const absl::string_view c(
"xyz");
const absl::string_view d(
"foobar");
const absl::string_view e;
std::string temp(
"123");
temp +=
'\0';
temp +=
"456";
const absl::string_view f(temp);
EXPECT_EQ(a[6],
'g');
EXPECT_EQ(b[0],
'a');
EXPECT_EQ(c[2],
'z');
EXPECT_EQ(f[3],
'\0');
EXPECT_EQ(f[5],
'5');
EXPECT_EQ(*d.data(),
'f');
EXPECT_EQ(d.data()[5],
'r');
EXPECT_TRUE(e.data() == nullptr);
EXPECT_EQ(*a.begin(),
'a');
EXPECT_EQ(*(b.begin() + 2),
'c');
EXPECT_EQ(*(c.end() - 1),
'z');
EXPECT_EQ(*a.rbegin(),
'z');
EXPECT_EQ(*(b.rbegin() + 2),
'a');
EXPECT_EQ(*(c.rend() - 1),
'x');
EXPECT_TRUE(a.rbegin() + 26 == a.rend());
EXPECT_EQ(a.size(), 26u);
EXPECT_EQ(b.size(), 3u);
EXPECT_EQ(c.size(), 3u);
EXPECT_EQ(d.size(), 6u);
EXPECT_EQ(e.size(), 0u);
EXPECT_EQ(f.size(), 7u);
EXPECT_TRUE(!d.empty());
EXPECT_TRUE(d.begin() != d.end());
EXPECT_TRUE(d.begin() + 6 == d.end());
EXPECT_TRUE(e.empty());
EXPECT_TRUE(e.begin() == e.end());
char buf[4] = {
'%',
'%',
'%',
'%' };
EXPECT_EQ(a.copy(buf, 4), 4u);
EXPECT_EQ(buf[0], a[0]);
EXPECT_EQ(buf[1], a[1]);
EXPECT_EQ(buf[2], a[2]);
EXPECT_EQ(buf[3], a[3]);
EXPECT_EQ(a.copy(buf, 3, 7), 3u);
EXPECT_EQ(buf[0], a[7]);
EXPECT_EQ(buf[1], a[8]);
EXPECT_EQ(buf[2], a[9]);
EXPECT_EQ(buf[3], a[3]);
EXPECT_EQ(c.copy(buf, 99), 3u);
EXPECT_EQ(buf[0], c[0]);
EXPECT_EQ(buf[1], c[1]);
EXPECT_EQ(buf[2], c[2]);
EXPECT_EQ(buf[3], a[3]);
#ifdef ABSL_HAVE_EXCEPTIONS
EXPECT_THROW(a.copy(buf, 1, 27), std::out_of_range);
#else
ABSL_EXPECT_DEATH_IF_SUPPORTED(a.copy(buf, 1, 27),
"absl::string_view::copy");
#endif
}
// Separated from STL1() because some compilers produce an overly
// large stack frame for the combined function.
TEST(StringViewTest, STL2) {
const absl::string_view a(
"abcdefghijklmnopqrstuvwxyz");
const absl::string_view b(
"abc");
const absl::string_view c(
"xyz");
absl::string_view d(
"foobar");
const absl::string_view e;
const absl::string_view f(
"123"
"\0"
"456",
7);
d = absl::string_view();
EXPECT_EQ(d.size(), 0u);
EXPECT_TRUE(d.empty());
EXPECT_TRUE(d.data() == nullptr);
EXPECT_TRUE(d.begin() == d.end());
EXPECT_EQ(a.find(b), 0u);
EXPECT_EQ(a.find(b, 1), absl::string_view::npos);
EXPECT_EQ(a.find(c), 23u);
EXPECT_EQ(a.find(c, 9), 23u);
EXPECT_EQ(a.find(c, absl::string_view::npos), absl::string_view::npos);
EXPECT_EQ(b.find(c), absl::string_view::npos);
EXPECT_EQ(b.find(c, absl::string_view::npos), absl::string_view::npos);
EXPECT_EQ(a.find(d), 0u);
EXPECT_EQ(a.find(e), 0u);
EXPECT_EQ(a.find(d, 12), 12u);
EXPECT_EQ(a.find(e, 17), 17u);
absl::string_view g(
"xx not found bb");
EXPECT_EQ(a.find(g), absl::string_view::npos);
// empty string nonsense
EXPECT_EQ(d.find(b), absl::string_view::npos);
EXPECT_EQ(e.find(b), absl::string_view::npos);
EXPECT_EQ(d.find(b, 4), absl::string_view::npos);
EXPECT_EQ(e.find(b, 7), absl::string_view::npos);
size_t empty_search_pos = std::string().find(std::string());
EXPECT_EQ(d.find(d), empty_search_pos);
EXPECT_EQ(d.find(e), empty_search_pos);
EXPECT_EQ(e.find(d), empty_search_pos);
EXPECT_EQ(e.find(e), empty_search_pos);
EXPECT_EQ(d.find(d, 4), std::string().find(std::string(), 4));
EXPECT_EQ(d.find(e, 4), std::string().find(std::string(), 4));
EXPECT_EQ(e.find(d, 4), std::string().find(std::string(), 4));
EXPECT_EQ(e.find(e, 4), std::string().find(std::string(), 4));
EXPECT_EQ(a.find(
'a'), 0u);
EXPECT_EQ(a.find(
'c'), 2u);
EXPECT_EQ(a.find(
'z'), 25u);
EXPECT_EQ(a.find(
'$'), absl::string_view::npos);
EXPECT_EQ(a.find(
'\0'), absl::string_view::npos);
EXPECT_EQ(f.find(
'\0'), 3u);
EXPECT_EQ(f.find(
'3'), 2u);
EXPECT_EQ(f.find(
'5'), 5u);
EXPECT_EQ(g.find(
'o'), 4u);
EXPECT_EQ(g.find(
'o', 4), 4u);
EXPECT_EQ(g.find(
'o', 5), 8u);
EXPECT_EQ(a.find(
'b', 5), absl::string_view::npos);
// empty string nonsense
EXPECT_EQ(d.find(
'\0'), absl::string_view::npos);
EXPECT_EQ(e.find(
'\0'), absl::string_view::npos);
EXPECT_EQ(d.find(
'\0', 4), absl::string_view::npos);
EXPECT_EQ(e.find(
'\0', 7), absl::string_view::npos);
EXPECT_EQ(d.find(
'x'), absl::string_view::npos);
EXPECT_EQ(e.find(
'x'), absl::string_view::npos);
EXPECT_EQ(d.find(
'x', 4), absl::string_view::npos);
EXPECT_EQ(e.find(
'x', 7), absl::string_view::npos);
EXPECT_EQ(a.find(b.data(), 1, 0), 1u);
EXPECT_EQ(a.find(c.data(), 9, 0), 9u);
EXPECT_EQ(a.find(c.data(), absl::string_view::npos, 0),
absl::string_view::npos);
EXPECT_EQ(b.find(c.data(), absl::string_view::npos, 0),
absl::string_view::npos);
// empty string nonsense
EXPECT_EQ(d.find(b.data(), 4, 0), absl::string_view::npos);
EXPECT_EQ(e.find(b.data(), 7, 0), absl::string_view::npos);
EXPECT_EQ(a.find(b.data(), 1), absl::string_view::npos);
EXPECT_EQ(a.find(c.data(), 9), 23u);
EXPECT_EQ(a.find(c.data(), absl::string_view::npos), absl::string_view::npos);
EXPECT_EQ(b.find(c.data(), absl::string_view::npos), absl::string_view::npos);
// empty string nonsense
EXPECT_EQ(d.find(b.data(), 4), absl::string_view::npos);
EXPECT_EQ(e.find(b.data(), 7), absl::string_view::npos);
EXPECT_EQ(a.rfind(b), 0u);
EXPECT_EQ(a.rfind(b, 1), 0u);
EXPECT_EQ(a.rfind(c), 23u);
EXPECT_EQ(a.rfind(c, 22), absl::string_view::npos);
EXPECT_EQ(a.rfind(c, 1), absl::string_view::npos);
EXPECT_EQ(a.rfind(c, 0), absl::string_view::npos);
EXPECT_EQ(b.rfind(c), absl::string_view::npos);
EXPECT_EQ(b.rfind(c, 0), absl::string_view::npos);
EXPECT_EQ(a.rfind(d), std::string(a).rfind(std::string()));
EXPECT_EQ(a.rfind(e), std::string(a).rfind(std::string()));
EXPECT_EQ(a.rfind(d, 12), 12u);
EXPECT_EQ(a.rfind(e, 17), 17u);
EXPECT_EQ(a.rfind(g), absl::string_view::npos);
EXPECT_EQ(d.rfind(b), absl::string_view::npos);
EXPECT_EQ(e.rfind(b), absl::string_view::npos);
EXPECT_EQ(d.rfind(b, 4), absl::string_view::npos);
EXPECT_EQ(e.rfind(b, 7), absl::string_view::npos);
// empty string nonsense
EXPECT_EQ(d.rfind(d, 4), std::string().rfind(std::string()));
EXPECT_EQ(e.rfind(d, 7), std::string().rfind(std::string()));
EXPECT_EQ(d.rfind(e, 4), std::string().rfind(std::string()));
EXPECT_EQ(e.rfind(e, 7), std::string().rfind(std::string()));
EXPECT_EQ(d.rfind(d), std::string().rfind(std::string()));
EXPECT_EQ(e.rfind(d), std::string().rfind(std::string()));
EXPECT_EQ(d.rfind(e), std::string().rfind(std::string()));
EXPECT_EQ(e.rfind(e), std::string().rfind(std::string()));
EXPECT_EQ(g.rfind(
'o'), 8u);
EXPECT_EQ(g.rfind(
'q'), absl::string_view::npos);
EXPECT_EQ(g.rfind(
'o', 8), 8u);
EXPECT_EQ(g.rfind(
'o', 7), 4u);
EXPECT_EQ(g.rfind(
'o', 3), absl::string_view::npos);
EXPECT_EQ(f.rfind(
'\0'), 3u);
EXPECT_EQ(f.rfind(
'\0', 12), 3u);
EXPECT_EQ(f.rfind(
'3'), 2u);
EXPECT_EQ(f.rfind(
'5'), 5u);
// empty string nonsense
EXPECT_EQ(d.rfind(
'o'), absl::string_view::npos);
EXPECT_EQ(e.rfind(
'o'), absl::string_view::npos);
EXPECT_EQ(d.rfind(
'o', 4), absl::string_view::npos);
EXPECT_EQ(e.rfind(
'o', 7), absl::string_view::npos);
EXPECT_EQ(a.rfind(b.data(), 1, 0), 1u);
EXPECT_EQ(a.rfind(c.data(), 22, 0), 22u);
EXPECT_EQ(a.rfind(c.data(), 1, 0), 1u);
EXPECT_EQ(a.rfind(c.data(), 0, 0), 0u);
EXPECT_EQ(b.rfind(c.data(), 0, 0), 0u);
EXPECT_EQ(d.rfind(b.data(), 4, 0), 0u);
EXPECT_EQ(e.rfind(b.data(), 7, 0), 0u);
}
// Continued from STL2
TEST(StringViewTest, STL2FindFirst) {
const absl::string_view a(
"abcdefghijklmnopqrstuvwxyz");
const absl::string_view b(
"abc");
const absl::string_view c(
"xyz");
absl::string_view d(
"foobar");
const absl::string_view e;
const absl::string_view f(
"123"
"\0"
"456",
7);
absl::string_view g(
"xx not found bb");
d = absl::string_view();
EXPECT_EQ(a.find_first_of(b), 0u);
EXPECT_EQ(a.find_first_of(b, 0), 0u);
EXPECT_EQ(a.find_first_of(b, 1), 1u);
EXPECT_EQ(a.find_first_of(b, 2), 2u);
EXPECT_EQ(a.find_first_of(b, 3), absl::string_view::npos);
EXPECT_EQ(a.find_first_of(c), 23u);
EXPECT_EQ(a.find_first_of(c, 23), 23u);
EXPECT_EQ(a.find_first_of(c, 24), 24u);
EXPECT_EQ(a.find_first_of(c, 25), 25u);
EXPECT_EQ(a.find_first_of(c, 26), absl::string_view::npos);
EXPECT_EQ(g.find_first_of(b), 13u);
EXPECT_EQ(g.find_first_of(c), 0u);
EXPECT_EQ(a.find_first_of(f), absl::string_view::npos);
EXPECT_EQ(f.find_first_of(a), absl::string_view::npos);
// empty string nonsense
EXPECT_EQ(a.find_first_of(d), absl::string_view::npos);
EXPECT_EQ(a.find_first_of(e), absl::string_view::npos);
EXPECT_EQ(d.find_first_of(b), absl::string_view::npos);
EXPECT_EQ(e.find_first_of(b), absl::string_view::npos);
EXPECT_EQ(d.find_first_of(d), absl::string_view::npos);
EXPECT_EQ(e.find_first_of(d), absl::string_view::npos);
EXPECT_EQ(d.find_first_of(e), absl::string_view::npos);
EXPECT_EQ(e.find_first_of(e), absl::string_view::npos);
EXPECT_EQ(a.find_first_not_of(b), 3u);
EXPECT_EQ(a.find_first_not_of(c), 0u);
EXPECT_EQ(b.find_first_not_of(a), absl::string_view::npos);
EXPECT_EQ(c.find_first_not_of(a), absl::string_view::npos);
EXPECT_EQ(f.find_first_not_of(a), 0u);
EXPECT_EQ(a.find_first_not_of(f), 0u);
EXPECT_EQ(a.find_first_not_of(d), 0u);
EXPECT_EQ(a.find_first_not_of(e), 0u);
// empty string nonsense
EXPECT_EQ(a.find_first_not_of(d), 0u);
EXPECT_EQ(a.find_first_not_of(e), 0u);
EXPECT_EQ(a.find_first_not_of(d, 1), 1u);
EXPECT_EQ(a.find_first_not_of(e, 1), 1u);
EXPECT_EQ(a.find_first_not_of(d, a.size() - 1), a.size() - 1);
EXPECT_EQ(a.find_first_not_of(e, a.size() - 1), a.size() - 1);
EXPECT_EQ(a.find_first_not_of(d, a.size()), absl::string_view::npos);
EXPECT_EQ(a.find_first_not_of(e, a.size()), absl::string_view::npos);
EXPECT_EQ(a.find_first_not_of(d, absl::string_view::npos),
absl::string_view::npos);
EXPECT_EQ(a.find_first_not_of(e, absl::string_view::npos),
absl::string_view::npos);
EXPECT_EQ(d.find_first_not_of(a), absl::string_view::npos);
EXPECT_EQ(e.find_first_not_of(a), absl::string_view::npos);
EXPECT_EQ(d.find_first_not_of(d), absl::string_view::npos);
EXPECT_EQ(e.find_first_not_of(d), absl::string_view::npos);
EXPECT_EQ(d.find_first_not_of(e), absl::string_view::npos);
EXPECT_EQ(e.find_first_not_of(e), absl::string_view::npos);
absl::string_view h(
"====");
EXPECT_EQ(h.find_first_not_of(
'='), absl::string_view::npos);
EXPECT_EQ(h.find_first_not_of(
'=', 3), absl::string_view::npos);
EXPECT_EQ(h.find_first_not_of(
'\0'), 0u);
EXPECT_EQ(g.find_first_not_of(
'x'), 2u);
EXPECT_EQ(f.find_first_not_of(
'\0'), 0u);
EXPECT_EQ(f.find_first_not_of(
'\0', 3), 4u);
EXPECT_EQ(f.find_first_not_of(
'\0', 2), 2u);
// empty string nonsense
EXPECT_EQ(d.find_first_not_of(
'x'), absl::string_view::npos);
EXPECT_EQ(e.find_first_not_of(
'x'), absl::string_view::npos);
EXPECT_EQ(d.find_first_not_of(
'\0'), absl::string_view::npos);
EXPECT_EQ(e.find_first_not_of(
'\0'), absl::string_view::npos);
}
// Continued from STL2
TEST(StringViewTest, STL2FindLast) {
const absl::string_view a(
"abcdefghijklmnopqrstuvwxyz");
const absl::string_view b(
"abc");
const absl::string_view c(
"xyz");
absl::string_view d(
"foobar");
const absl::string_view e;
const absl::string_view f(
"123"
"\0"
"456",
7);
absl::string_view g(
"xx not found bb");
absl::string_view h(
"====");
absl::string_view i(
"56");
d = absl::string_view();
EXPECT_EQ(h.find_last_of(a), absl::string_view::npos);
EXPECT_EQ(g.find_last_of(a), g.size() - 1);
EXPECT_EQ(a.find_last_of(b), 2u);
EXPECT_EQ(a.find_last_of(c), a.size() - 1);
EXPECT_EQ(f.find_last_of(i), 6u);
EXPECT_EQ(a.find_last_of(
'a'), 0u);
EXPECT_EQ(a.find_last_of(
'b'), 1u);
EXPECT_EQ(a.find_last_of(
'z'), 25u);
EXPECT_EQ(a.find_last_of(
'a', 5), 0u);
EXPECT_EQ(a.find_last_of(
'b', 5), 1u);
EXPECT_EQ(a.find_last_of(
'b', 0), absl::string_view::npos);
EXPECT_EQ(a.find_last_of(
'z', 25), 25u);
EXPECT_EQ(a.find_last_of(
'z', 24), absl::string_view::npos);
EXPECT_EQ(f.find_last_of(i, 5), 5u);
EXPECT_EQ(f.find_last_of(i, 6), 6u);
EXPECT_EQ(f.find_last_of(a, 4), absl::string_view::npos);
// empty string nonsense
EXPECT_EQ(f.find_last_of(d), absl::string_view::npos);
EXPECT_EQ(f.find_last_of(e), absl::string_view::npos);
EXPECT_EQ(f.find_last_of(d, 4), absl::string_view::npos);
EXPECT_EQ(f.find_last_of(e, 4), absl::string_view::npos);
EXPECT_EQ(d.find_last_of(d), absl::string_view::npos);
EXPECT_EQ(d.find_last_of(e), absl::string_view::npos);
EXPECT_EQ(e.find_last_of(d), absl::string_view::npos);
EXPECT_EQ(e.find_last_of(e), absl::string_view::npos);
EXPECT_EQ(d.find_last_of(f), absl::string_view::npos);
EXPECT_EQ(e.find_last_of(f), absl::string_view::npos);
EXPECT_EQ(d.find_last_of(d, 4), absl::string_view::npos);
EXPECT_EQ(d.find_last_of(e, 4), absl::string_view::npos);
EXPECT_EQ(e.find_last_of(d, 4), absl::string_view::npos);
EXPECT_EQ(e.find_last_of(e, 4), absl::string_view::npos);
EXPECT_EQ(d.find_last_of(f, 4), absl::string_view::npos);
EXPECT_EQ(e.find_last_of(f, 4), absl::string_view::npos);
EXPECT_EQ(a.find_last_not_of(b), a.size() - 1);
EXPECT_EQ(a.find_last_not_of(c), 22u);
EXPECT_EQ(b.find_last_not_of(a), absl::string_view::npos);
EXPECT_EQ(b.find_last_not_of(b), absl::string_view::npos);
EXPECT_EQ(f.find_last_not_of(i), 4u);
EXPECT_EQ(a.find_last_not_of(c, 24), 22u);
EXPECT_EQ(a.find_last_not_of(b, 3), 3u);
EXPECT_EQ(a.find_last_not_of(b, 2), absl::string_view::npos);
// empty string nonsense
EXPECT_EQ(f.find_last_not_of(d), f.size() - 1);
EXPECT_EQ(f.find_last_not_of(e), f.size() - 1);
EXPECT_EQ(f.find_last_not_of(d, 4), 4u);
EXPECT_EQ(f.find_last_not_of(e, 4), 4u);
EXPECT_EQ(d.find_last_not_of(d), absl::string_view::npos);
EXPECT_EQ(d.find_last_not_of(e), absl::string_view::npos);
EXPECT_EQ(e.find_last_not_of(d), absl::string_view::npos);
EXPECT_EQ(e.find_last_not_of(e), absl::string_view::npos);
EXPECT_EQ(d.find_last_not_of(f), absl::string_view::npos);
EXPECT_EQ(e.find_last_not_of(f), absl::string_view::npos);
EXPECT_EQ(d.find_last_not_of(d, 4), absl::string_view::npos);
EXPECT_EQ(d.find_last_not_of(e, 4), absl::string_view::npos);
EXPECT_EQ(e.find_last_not_of(d, 4), absl::string_view::npos);
EXPECT_EQ(e.find_last_not_of(e, 4), absl::string_view::npos);
EXPECT_EQ(d.find_last_not_of(f, 4), absl::string_view::npos);
EXPECT_EQ(e.find_last_not_of(f, 4), absl::string_view::npos);
EXPECT_EQ(h.find_last_not_of(
'x'), h.size() - 1);
EXPECT_EQ(h.find_last_not_of(
'='), absl::string_view::npos);
EXPECT_EQ(b.find_last_not_of(
'c'), 1u);
EXPECT_EQ(h.find_last_not_of(
'x', 2), 2u);
EXPECT_EQ(h.find_last_not_of(
'=', 2), absl::string_view::npos);
EXPECT_EQ(b.find_last_not_of(
'b', 1), 0u);
// empty string nonsense
EXPECT_EQ(d.find_last_not_of(
'x'), absl::string_view::npos);
EXPECT_EQ(e.find_last_not_of(
'x'), absl::string_view::npos);
EXPECT_EQ(d.find_last_not_of(
'\0'), absl::string_view::npos);
EXPECT_EQ(e.find_last_not_of(
'\0'), absl::string_view::npos);
}
// Continued from STL2
TEST(StringViewTest, STL2Substr) {
const absl::string_view a(
"abcdefghijklmnopqrstuvwxyz");
const absl::string_view b(
"abc");
const absl::string_view c(
"xyz");
absl::string_view d(
"foobar");
const absl::string_view e;
d = absl::string_view();
EXPECT_EQ(a.substr(0, 3), b);
EXPECT_EQ(a.substr(23), c);
EXPECT_EQ(a.substr(23, 3), c);
EXPECT_EQ(a.substr(23, 99), c);
EXPECT_EQ(a.substr(0), a);
EXPECT_EQ(a.substr(), a);
EXPECT_EQ(a.substr(3, 2),
"de");
// empty string nonsense
EXPECT_EQ(d.substr(0, 99), e);
// use of npos
EXPECT_EQ(a.substr(0, absl::string_view::npos), a);
EXPECT_EQ(a.substr(23, absl::string_view::npos), c);
// throw exception
#ifdef ABSL_HAVE_EXCEPTIONS
EXPECT_THROW((
void)a.substr(99, 2), std::out_of_range);
#else
ABSL_EXPECT_DEATH_IF_SUPPORTED((
void)a.substr(99, 2),
"absl::string_view::substr");
#endif
}
TEST(StringViewTest, TruncSubstr) {
const absl::string_view hi(
"hi");
EXPECT_EQ(
"", absl::ClippedSubstr(hi, 0, 0));
EXPECT_EQ(
"h", absl::ClippedSubstr(hi, 0, 1));
EXPECT_EQ(
"hi", absl::ClippedSubstr(hi, 0));
EXPECT_EQ(
"i", absl::ClippedSubstr(hi, 1));
EXPECT_EQ(
"", absl::ClippedSubstr(hi, 2));
EXPECT_EQ(
"", absl::ClippedSubstr(hi, 3));
// truncation
EXPECT_EQ(
"", absl::ClippedSubstr(hi, 3, 2));
// truncation
}
TEST(StringViewTest, UTF8) {
std::string utf8 =
"\u00E1";
std::string utf8_twice = utf8 +
" " + utf8;
size_t utf8_len = strlen(utf8.data());
EXPECT_EQ(utf8_len, absl::string_view(utf8_twice).find_first_of(
" "));
EXPECT_EQ(utf8_len, absl::string_view(utf8_twice).find_first_of(
" \t"));
}
TEST(StringViewTest, FindConformance) {
struct {
std::string haystack;
std::string needle;
} specs[] = {
{
"",
""},
{
"",
"a"},
{
"a",
""},
{
"a",
"a"},
{
"a",
"b"},
{
"aa",
""},
{
"aa",
"a"},
{
"aa",
"b"},
{
"ab",
"a"},
{
"ab",
"b"},
{
"abcd",
""},
{
"abcd",
"a"},
{
"abcd",
"d"},
{
"abcd",
"ab"},
{
"abcd",
"bc"},
{
"abcd",
"cd"},
{
"abcd",
"abcd"},
};
for (
const auto& s : specs) {
SCOPED_TRACE(s.haystack);
SCOPED_TRACE(s.needle);
std::string st = s.haystack;
absl::string_view sp = s.haystack;
for (size_t i = 0; i <= sp.size(); ++i) {
size_t pos = (i == sp.size()) ? absl::string_view::npos : i;
SCOPED_TRACE(pos);
EXPECT_EQ(sp.find(s.needle, pos),
st.find(s.needle, pos));
EXPECT_EQ(sp.rfind(s.needle, pos),
st.rfind(s.needle, pos));
EXPECT_EQ(sp.find_first_of(s.needle, pos),
st.find_first_of(s.needle, pos));
EXPECT_EQ(sp.find_first_not_of(s.needle, pos),
st.find_first_not_of(s.needle, pos));
EXPECT_EQ(sp.find_last_of(s.needle, pos),
st.find_last_of(s.needle, pos));
EXPECT_EQ(sp.find_last_not_of(s.needle, pos),
st.find_last_not_of(s.needle, pos));
}
}
}
TEST(StringViewTest, Remove) {
absl::string_view a(
"foobar");
std::string s1(
"123");
s1 +=
'\0';
s1 +=
"456";
absl::string_view e;
std::string s2;
// remove_prefix
absl::string_view c(a);
c.remove_prefix(3);
EXPECT_EQ(c,
"bar");
c = a;
c.remove_prefix(0);
EXPECT_EQ(c, a);
c.remove_prefix(c.size());
EXPECT_EQ(c, e);
// remove_suffix
c = a;
c.remove_suffix(3);
EXPECT_EQ(c,
"foo");
c = a;
c.remove_suffix(0);
EXPECT_EQ(c, a);
c.remove_suffix(c.size());
EXPECT_EQ(c, e);
}
TEST(StringViewTest, Set) {
absl::string_view a(
"foobar");
absl::string_view empty;
absl::string_view b;
// set
b = absl::string_view(
"foobar", 6);
EXPECT_EQ(b, a);
b = absl::string_view(
"foobar", 0);
EXPECT_EQ(b, empty);
b = absl::string_view(
"foobar", 7);
EXPECT_NE(b, a);
b = absl::string_view(
"foobar");
EXPECT_EQ(b, a);
}
TEST(StringViewTest, FrontBack) {
static const char arr[] =
"abcd";
const absl::string_view csp(arr, 4);
EXPECT_EQ(&arr[0], &csp.front());
EXPECT_EQ(&arr[3], &csp.back());
}
TEST(StringViewTest, FrontBackSingleChar) {
static const char c =
'a';
const absl::string_view csp(&c, 1);
EXPECT_EQ(&c, &csp.front());
EXPECT_EQ(&c, &csp.back());
}
TEST(StringViewTest, FrontBackEmpty) {
#ifndef ABSL_USES_STD_STRING_VIEW
#if !
defined(NDEBUG) || ABSL_OPTION_HARDENED
// Abseil's string_view implementation has debug assertions that check that
// front() and back() are not called on an empty string_view.
absl::string_view sv;
ABSL_EXPECT_DEATH_IF_SUPPORTED(sv.front(),
"");
ABSL_EXPECT_DEATH_IF_SUPPORTED(sv.back(),
"");
#endif
#endif
}
// `std::string_view::string_view(const char*)` calls
// `std::char_traits<char>::length(const char*)` to get the string length. In
// libc++, it doesn't allow `nullptr` in the constexpr context, with the error
// "read of dereferenced null pointer is not allowed in a constant expression".
// At run time, the behavior of `std::char_traits::length()` on `nullptr` is
// undefined by the standard and usually results in crash with libc++.
// GCC also started rejected this in libstdc++ starting in GCC9.
// In MSVC, creating a constexpr string_view from nullptr also triggers an
// "unevaluable pointer value" error. This compiler implementation conforms
// to the standard, but `absl::string_view` implements a different
// behavior for historical reasons. We work around tests that construct
// `string_view` from `nullptr` when using libc++.
#if !
defined(ABSL_USES_STD_STRING_VIEW) || \
(!(
defined(_GLIBCXX_RELEASE) && _GLIBCXX_RELEASE >= 9) && \
!
defined(_LIBCPP_VERSION) && !
defined(_MSC_VER))
#define ABSL_HAVE_STRING_VIEW_FROM_NULLPTR 1
#endif
TEST(StringViewTest, NULLInput) {
absl::string_view s;
EXPECT_EQ(s.data(), nullptr);
EXPECT_EQ(s.size(), 0u);
#ifdef ABSL_HAVE_STRING_VIEW_FROM_NULLPTR
// The `str` parameter is annotated nonnull, but we want to test the defensive
// null check. Use a variable instead of passing nullptr directly to avoid a
// `-Wnonnull` warning.
char* null_str = nullptr;
s = absl::string_view(null_str);
EXPECT_EQ(s.data(), nullptr);
EXPECT_EQ(s.size(), 0u);
// .ToString() on a absl::string_view with nullptr should produce the empty
// string.
EXPECT_EQ(
"", std::string(s));
#endif // ABSL_HAVE_STRING_VIEW_FROM_NULLPTR
}
TEST(StringViewTest, Comparisons2) {
// The `compare` member has 6 overloads (v: string_view, s: const char*):
// (1) compare(v)
// (2) compare(pos1, count1, v)
// (3) compare(pos1, count1, v, pos2, count2)
// (4) compare(s)
// (5) compare(pos1, count1, s)
// (6) compare(pos1, count1, s, count2)
absl::string_view abc(
"abcdefghijklmnopqrstuvwxyz");
// check comparison operations on strings longer than 4 bytes.
EXPECT_EQ(abc, absl::string_view(
"abcdefghijklmnopqrstuvwxyz"));
EXPECT_EQ(abc.compare(absl::string_view(
"abcdefghijklmnopqrstuvwxyz")), 0);
EXPECT_LT(abc, absl::string_view(
"abcdefghijklmnopqrstuvwxzz"));
EXPECT_LT(abc.compare(absl::string_view(
"abcdefghijklmnopqrstuvwxzz")), 0);
EXPECT_GT(abc, absl::string_view(
"abcdefghijklmnopqrstuvwxyy"));
EXPECT_GT(abc.compare(absl::string_view(
"abcdefghijklmnopqrstuvwxyy")), 0);
// The "substr" variants of `compare`.
absl::string_view digits(
"0123456789");
auto npos = absl::string_view::npos;
// Taking string_view
EXPECT_EQ(digits.compare(3, npos, absl::string_view(
"3456789")), 0);
// 2
EXPECT_EQ(digits.compare(3, 4, absl::string_view(
"3456")), 0);
// 2
EXPECT_EQ(digits.compare(10, 0, absl::string_view()), 0);
// 2
EXPECT_EQ(digits.compare(3, 4, absl::string_view(
"0123456789"), 3, 4),
0);
// 3
EXPECT_LT(digits.compare(3, 4, absl::string_view(
"0123456789"), 3, 5),
0);
// 3
EXPECT_LT(digits.compare(0, npos, absl::string_view(
"0123456789"), 3, 5),
0);
// 3
// Taking const char*
EXPECT_EQ(digits.compare(3, 4,
"3456"), 0);
// 5
EXPECT_EQ(digits.compare(3, npos,
"3456789"), 0);
// 5
EXPECT_EQ(digits.compare(10, 0,
""), 0);
// 5
EXPECT_EQ(digits.compare(3, 4,
"0123456789", 3, 4), 0);
// 6
EXPECT_LT(digits.compare(3, 4,
"0123456789", 3, 5), 0);
// 6
EXPECT_LT(digits.compare(0, npos,
"0123456789", 3, 5), 0);
// 6
}
TEST(StringViewTest, At) {
absl::string_view abc =
"abc";
EXPECT_EQ(abc.at(0),
'a');
EXPECT_EQ(abc.at(1),
'b');
EXPECT_EQ(abc.at(2),
'c');
#ifdef ABSL_HAVE_EXCEPTIONS
EXPECT_THROW((
void)abc.at(3), std::out_of_range);
#else
ABSL_EXPECT_DEATH_IF_SUPPORTED((
void)abc.at(3),
"absl::string_view::at");
#endif
}
#if ABSL_INTERNAL_CPLUSPLUS_LANG >= 202002L
TEST(StringViewTest, StartsWith) {
const absl::string_view a(
"foobar");
const absl::string_view b(
"123\0abc", 7);
const absl::string_view e;
EXPECT_TRUE(a.starts_with(a));
EXPECT_TRUE(a.starts_with(
"foo"));
EXPECT_TRUE(a.starts_with(
'f'));
EXPECT_TRUE(a.starts_with(e));
EXPECT_TRUE(b.starts_with(b));
EXPECT_TRUE(b.starts_with(
'1'));
EXPECT_TRUE(b.starts_with(e));
EXPECT_TRUE(e.starts_with(
""));
EXPECT_FALSE(a.starts_with(b));
EXPECT_FALSE(b.starts_with(a));
EXPECT_FALSE(e.starts_with(a));
EXPECT_FALSE(a.starts_with(
'r'));
EXPECT_FALSE(a.starts_with(
'\0'));
EXPECT_FALSE(e.starts_with(
'r'));
EXPECT_FALSE(e.starts_with(
'\0'));
// Test that constexpr compiles.
constexpr absl::string_view kFooBar(
"foobar");
constexpr absl::string_view kFoo(
"foo");
constexpr absl::string_view kBar(
"bar");
constexpr
bool k1 = kFooBar.starts_with(kFoo);
EXPECT_TRUE(k1);
constexpr
bool k2 = kFooBar.starts_with(kBar);
EXPECT_FALSE(k2);
constexpr
bool k3 = kFooBar.starts_with(
'f');
EXPECT_TRUE(k3);
constexpr
bool k4 = kFooBar.starts_with(
"fo");
EXPECT_TRUE(k4);
}
TEST(StringViewTest, EndsWith) {
const absl::string_view a(
"foobar");
const absl::string_view b(
"123\0abc", 7);
const absl::string_view e;
EXPECT_TRUE(a.ends_with(a));
EXPECT_TRUE(a.ends_with(
'r'));
EXPECT_TRUE(a.ends_with(
"bar"));
EXPECT_TRUE(a.ends_with(e));
EXPECT_TRUE(b.ends_with(b));
EXPECT_TRUE(b.ends_with(
'c'));
EXPECT_TRUE(b.ends_with(e));
EXPECT_TRUE(e.ends_with(
""));
EXPECT_FALSE(a.ends_with(b));
EXPECT_FALSE(b.ends_with(a));
EXPECT_FALSE(e.ends_with(a));
EXPECT_FALSE(a.ends_with(
'f'));
EXPECT_FALSE(a.ends_with(
'\0'));
EXPECT_FALSE(e.ends_with(
'r'));
EXPECT_FALSE(e.ends_with(
'\0'));
// Test that constexpr compiles.
constexpr absl::string_view kFooBar(
"foobar");
constexpr absl::string_view kFoo(
"foo");
constexpr absl::string_view kBar(
"bar");
constexpr
bool k1 = kFooBar.ends_with(kFoo);
EXPECT_FALSE(k1);
constexpr
bool k2 = kFooBar.ends_with(kBar);
EXPECT_TRUE(k2);
constexpr
bool k3 = kFooBar.ends_with(
'r');
EXPECT_TRUE(k3);
constexpr
bool k4 = kFooBar.ends_with(
"ar");
EXPECT_TRUE(k4);
}
#endif // ABSL_INTERNAL_CPLUSPLUS_LANG >= 202002L
struct MyCharAlloc : std::allocator<
char> {};
TEST(StringViewTest, ExplicitConversionOperator) {
absl::string_view sp =
"hi";
EXPECT_EQ(sp, std::string(sp));
}
TEST(StringViewTest, NullSafeStringView) {
{
absl::string_view s = absl::NullSafeStringView(nullptr);
EXPECT_EQ(nullptr, s.data());
EXPECT_EQ(0u, s.size());
EXPECT_EQ(absl::string_view(), s);
}
{
static const char kHi[] =
"hi";
absl::string_view s = absl::NullSafeStringView(kHi);
EXPECT_EQ(kHi, s.data());
EXPECT_EQ(strlen(kHi), s.size());
EXPECT_EQ(absl::string_view(
"hi"), s);
}
}
TEST(StringViewTest, ConstexprNullSafeStringView) {
{
constexpr absl::string_view s = absl::NullSafeStringView(nullptr);
EXPECT_EQ(nullptr, s.data());
EXPECT_EQ(0u, s.size());
EXPECT_EQ(absl::string_view(), s);
}
{
static constexpr
char kHi[] =
"hi";
absl::string_view s = absl::NullSafeStringView(kHi);
EXPECT_EQ(kHi, s.data());
EXPECT_EQ(strlen(kHi), s.size());
EXPECT_EQ(absl::string_view(
"hi"), s);
}
{
constexpr absl::string_view s = absl::NullSafeStringView(
"hello");
EXPECT_EQ(s.size(), 5u);
EXPECT_EQ(
"hello", s);
}
}
TEST(StringViewTest, ConstexprCompiles) {
constexpr absl::string_view sp;
// With `-Wnonnull` turned on, there is no way to test the defensive null
// check in the `string_view(const char*)` constructor in a constexpr context,
// as the argument needs to be constexpr. The compiler will therefore always
// know at compile time that the argument is nullptr and complain because the
// parameter is annotated nonnull. We hence turn the warning off for this
// test.
#if defined(__clang__)
#pragma clang diagnostic push
#pragma clang diagnostic ignored
"-Wnonnull"
#endif
#ifdef ABSL_HAVE_STRING_VIEW_FROM_NULLPTR
constexpr absl::string_view cstr(nullptr);
#endif
#if defined(__clang__)
#pragma clang diagnostic pop
#endif
constexpr absl::string_view cstr_len(
"cstr", 4);
#if defined(ABSL_USES_STD_STRING_VIEW)
// In libstdc++ (as of 7.2), `std::string_view::string_view(const char*)`
// calls `std::char_traits<char>::length(const char*)` to get the string
// length, but it is not marked constexpr yet. See GCC bug:
// https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78156
// Also, there is a LWG issue that adds constexpr to length() which was just
// resolved 2017-06-02. See
// http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2232
// TODO(zhangxy): Update the condition when libstdc++ adopts the constexpr
// length().
#if !
defined(__GLIBCXX__)
#define ABSL_HAVE_CONSTEXPR_STRING_VIEW_FROM_CSTR 1
#endif // !__GLIBCXX__
#else // ABSL_USES_STD_STRING_VIEW
// This duplicates the check for __builtin_strlen in the header.
#if ABSL_HAVE_BUILTIN(__builtin_strlen) || \
(
defined(__GNUC__) && !
defined(__clang__))
#define ABSL_HAVE_CONSTEXPR_STRING_VIEW_FROM_CSTR 1
#elif defined(__GNUC__)
// GCC or clang
#error GCC/clang should have constexpr string_view.
#endif
// MSVC 2017+ should be able to construct a constexpr string_view from a cstr.
#if defined(_MSC_VER) && _MSC_VER >= 1910
#define ABSL_HAVE_CONSTEXPR_STRING_VIEW_FROM_CSTR 1
#endif
#endif // ABSL_USES_STD_STRING_VIEW
#ifdef ABSL_HAVE_CONSTEXPR_STRING_VIEW_FROM_CSTR
constexpr absl::string_view cstr_strlen(
"foo");
EXPECT_EQ(cstr_strlen.length(), 3u);
constexpr absl::string_view cstr_strlen2 =
"bar";
EXPECT_EQ(cstr_strlen2,
"bar");
#if ABSL_HAVE_BUILTIN(__builtin_memcmp) || \
(
defined(__GNUC__) && !
defined(__clang__))
#define ABSL_HAVE_CONSTEXPR_STRING_VIEW_COMPARISON 1
#endif
#ifdef ABSL_HAVE_CONSTEXPR_STRING_VIEW_COMPARISON
constexpr absl::string_view foo =
"foo";
constexpr absl::string_view bar =
"bar";
constexpr
bool foo_eq_bar = foo == bar;
constexpr
bool foo_ne_bar = foo != bar;
constexpr
bool foo_lt_bar = foo < bar;
constexpr
bool foo_le_bar = foo <= bar;
constexpr
bool foo_gt_bar = foo > bar;
constexpr
bool foo_ge_bar = foo >= bar;
constexpr
int foo_compare_bar = foo.compare(bar);
EXPECT_FALSE(foo_eq_bar);
EXPECT_TRUE(foo_ne_bar);
EXPECT_FALSE(foo_lt_bar);
EXPECT_FALSE(foo_le_bar);
EXPECT_TRUE(foo_gt_bar);
EXPECT_TRUE(foo_ge_bar);
EXPECT_GT(foo_compare_bar, 0);
#endif
#endif
#if !
defined(__clang__) || 3 < __clang_major__ || \
(3 == __clang_major__ && 4 < __clang_minor__)
// older clang versions (< 3.5) complain that:
// "cannot perform pointer arithmetic on null pointer"
constexpr absl::string_view::iterator const_begin_empty = sp.begin();
constexpr absl::string_view::iterator const_end_empty = sp.end();
EXPECT_EQ(const_begin_empty, const_end_empty);
#ifdef ABSL_HAVE_STRING_VIEW_FROM_NULLPTR
constexpr absl::string_view::iterator const_begin_nullptr = cstr.begin();
constexpr absl::string_view::iterator const_end_nullptr = cstr.end();
EXPECT_EQ(const_begin_nullptr, const_end_nullptr);
#endif // ABSL_HAVE_STRING_VIEW_FROM_NULLPTR
#endif // !defined(__clang__) || ...
constexpr absl::string_view::iterator const_begin = cstr_len.begin();
constexpr absl::string_view::iterator const_end = cstr_len.end();
constexpr absl::string_view::size_type const_size = cstr_len.size();
constexpr absl::string_view::size_type const_length = cstr_len.length();
static_assert(const_begin + const_size == const_end,
"pointer arithmetic check");
static_assert(const_begin + const_length == const_end,
"pointer arithmetic check");
#ifndef _MSC_VER
// MSVC has bugs doing constexpr pointer arithmetic.
// https://developercommunity.visualstudio.com/content/problem/482192/bad-pointer-arithmetic-in-constepxr-2019-rc1-svc1.html
EXPECT_EQ(const_begin + const_size, const_end);
EXPECT_EQ(const_begin + const_length, const_end);
#endif
constexpr
bool isempty = sp.empty();
EXPECT_TRUE(isempty);
constexpr
const char c = cstr_len[2];
EXPECT_EQ(c,
't');
constexpr
const char cfront = cstr_len.front();
constexpr
const char cback = cstr_len.back();
EXPECT_EQ(cfront,
'c');
EXPECT_EQ(cback,
'r');
constexpr
const char* np = sp.data();
constexpr
const char* cstr_ptr = cstr_len.data();
EXPECT_EQ(np, nullptr);
EXPECT_NE(cstr_ptr, nullptr);
constexpr size_t sp_npos = sp.npos;
EXPECT_EQ(sp_npos,
static_cast<size_t>(-1));
}
constexpr
char ConstexprMethodsHelper() {
#if defined(__cplusplus) && __cplusplus >= 201402L
absl::string_view str(
"123", 3);
str.remove_prefix(1);
str.remove_suffix(1);
absl::string_view bar;
str.swap(bar);
return bar.front();
#else
return '2';
#endif
}
TEST(StringViewTest, ConstexprMethods) {
// remove_prefix, remove_suffix, swap
static_assert(ConstexprMethodsHelper() ==
'2',
"");
// substr
constexpr absl::string_view foobar(
"foobar", 6);
constexpr absl::string_view foo = foobar.substr(0, 3);
constexpr absl::string_view bar = foobar.substr(3);
EXPECT_EQ(foo,
"foo");
EXPECT_EQ(bar,
"bar");
}
TEST(StringViewTest, Noexcept) {
EXPECT_TRUE((std::is_nothrow_constructible<absl::string_view,
const std::string&>::value));
EXPECT_TRUE((std::is_nothrow_constructible<absl::string_view,
const std::string&>::value));
EXPECT_TRUE(std::is_nothrow_constructible<absl::string_view>::value);
constexpr absl::string_view sp;
EXPECT_TRUE(noexcept(sp.begin()));
EXPECT_TRUE(noexcept(sp.end()));
EXPECT_TRUE(noexcept(sp.cbegin()));
EXPECT_TRUE(noexcept(sp.cend()));
EXPECT_TRUE(noexcept(sp.rbegin()));
EXPECT_TRUE(noexcept(sp.rend()));
EXPECT_TRUE(noexcept(sp.crbegin()));
EXPECT_TRUE(noexcept(sp.crend()));
EXPECT_TRUE(noexcept(sp.size()));
EXPECT_TRUE(noexcept(sp.length()));
EXPECT_TRUE(noexcept(sp.empty()));
EXPECT_TRUE(noexcept(sp.data()));
EXPECT_TRUE(noexcept(sp.compare(sp)));
EXPECT_TRUE(noexcept(sp.find(sp)));
EXPECT_TRUE(noexcept(sp.find(
'f')));
EXPECT_TRUE(noexcept(sp.rfind(sp)));
EXPECT_TRUE(noexcept(sp.rfind(
'f')));
EXPECT_TRUE(noexcept(sp.find_first_of(sp)));
EXPECT_TRUE(noexcept(sp.find_first_of(
'f')));
EXPECT_TRUE(noexcept(sp.find_last_of(sp)));
EXPECT_TRUE(noexcept(sp.find_last_of(
'f')));
EXPECT_TRUE(noexcept(sp.find_first_not_of(sp)));
EXPECT_TRUE(noexcept(sp.find_first_not_of(
'f')));
EXPECT_TRUE(noexcept(sp.find_last_not_of(sp)));
EXPECT_TRUE(noexcept(sp.find_last_not_of(
'f')));
}
TEST(StringViewTest, BoundsCheck) {
#ifndef ABSL_USES_STD_STRING_VIEW
#if !
defined(NDEBUG) || ABSL_OPTION_HARDENED
// Abseil's string_view implementation has bounds-checking in debug mode.
absl::string_view h =
"hello";
ABSL_EXPECT_DEATH_IF_SUPPORTED(h[5],
"");
ABSL_EXPECT_DEATH_IF_SUPPORTED(h[
static_cast<size_t>(-1)],
"");
#endif
#endif
}
TEST(ComparisonOpsTest, StringCompareNotAmbiguous) {
EXPECT_EQ(
"hello", std::string(
"hello"));
EXPECT_LT(
"hello", std::string(
"world"));
}
TEST(ComparisonOpsTest, HeterogeneousStringViewEquals) {
EXPECT_EQ(absl::string_view(
"hello"), std::string(
"hello"));
EXPECT_EQ(
"hello", absl::string_view(
"hello"));
}
TEST(FindOneCharTest, EdgeCases) {
absl::string_view a(
"xxyyyxx");
// Set a = "xyyyx".
a.remove_prefix(1);
a.remove_suffix(1);
EXPECT_EQ(0u, a.find(
'x'));
EXPECT_EQ(0u, a.find(
'x', 0));
EXPECT_EQ(4u, a.find(
'x', 1));
EXPECT_EQ(4u, a.find(
'x', 4));
EXPECT_EQ(absl::string_view::npos, a.find(
'x', 5));
EXPECT_EQ(4u, a.rfind(
'x'));
EXPECT_EQ(4u, a.rfind(
'x', 5));
EXPECT_EQ(4u, a.rfind(
'x', 4));
EXPECT_EQ(0u, a.rfind(
'x', 3));
EXPECT_EQ(0u, a.rfind(
'x', 0));
// Set a = "yyy".
a.remove_prefix(1);
a.remove_suffix(1);
EXPECT_EQ(absl::string_view::npos, a.find(
'x'));
EXPECT_EQ(absl::string_view::npos, a.rfind(
'x'));
}
#ifndef ABSL_HAVE_THREAD_SANITIZER
// Allocates too much memory for tsan.
TEST(HugeStringView, TwoPointTwoGB) {
if (
sizeof(size_t) <= 4)
return;
// Try a huge string piece.
const size_t size = size_t{2200} * 1000 * 1000;
std::string s(size,
'a');
absl::string_view sp(s);
EXPECT_EQ(size, sp.length());
sp.remove_prefix(1);
EXPECT_EQ(size - 1, sp.length());
sp.remove_suffix(2);
EXPECT_EQ(size - 1 - 2, sp.length());
}
#endif // ABSL_HAVE_THREAD_SANITIZER
#if !
defined(NDEBUG) && !
defined(ABSL_USES_STD_STRING_VIEW)
TEST(NonNegativeLenTest, NonNegativeLen) {
ABSL_EXPECT_DEATH_IF_SUPPORTED(
absl::string_view(
"xyz",
static_cast<size_t>(-1)),
"len <= kMaxSize");
}
TEST(LenExceedsMaxSizeTest, LenExceedsMaxSize) {
auto max_size = absl::string_view().max_size();
// This should construct ok (although the view itself is obviously invalid).
absl::string_view ok_view(
"", max_size);
// Adding one to the max should trigger an assertion.
ABSL_EXPECT_DEATH_IF_SUPPORTED(absl::string_view(
"", max_size + 1),
"len <= kMaxSize");
}
#endif // !defined(NDEBUG) && !defined(ABSL_USES_STD_STRING_VIEW)
class StringViewStreamTest :
public ::testing::Test {
public:
// Set negative 'width' for right justification.
template <
typename T>
std::string Pad(
const T& s,
int width,
char fill = 0) {
std::ostringstream oss;
if (fill != 0) {
oss << std::setfill(fill);
}
if (width < 0) {
width = -width;
oss << std::right;
}
oss << std::setw(width) << s;
return oss.str();
}
};
TEST_F(StringViewStreamTest, Padding) {
std::string s(
"hello");
absl::string_view sp(s);
for (
int w = -64; w < 64; ++w) {
SCOPED_TRACE(w);
EXPECT_EQ(Pad(s, w), Pad(sp, w));
}
for (
int w = -64; w < 64; ++w) {
SCOPED_TRACE(w);
EXPECT_EQ(Pad(s, w,
'#'), Pad(sp, w,
'#'));
}
}
TEST_F(StringViewStreamTest, ResetsWidth) {
// Width should reset after one formatted write.
// If we weren't resetting width after formatting the string_view,
// we'd have width=5 carrying over to the printing of the "]",
// creating "[###hi####]".
std::string s =
"hi";
absl::string_view sp = s;
{
std::ostringstream oss;
oss <<
"[" << std::setfill(
'#') << std::setw(5) << s <<
"]";
ASSERT_EQ(
"[###hi]", oss.str());
}
{
std::ostringstream oss;
oss <<
"[" << std::setfill(
'#') << std::setw(5) << sp <<
"]";
EXPECT_EQ(
"[###hi]", oss.str());
}
}
}
// namespace