File: comparison.pass.cpp

package info (click to toggle)
llvm-toolchain-16 1%3A16.0.6-15~deb12u1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,634,792 kB
  • sloc: cpp: 6,179,261; ansic: 1,216,205; asm: 741,319; python: 196,614; objc: 75,325; f90: 49,640; lisp: 32,396; pascal: 12,286; sh: 9,394; perl: 7,442; ml: 5,494; awk: 3,523; makefile: 2,723; javascript: 1,206; xml: 886; fortran: 581; cs: 573
file content (101 lines) | stat: -rw-r--r-- 3,149 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
//===----------------------------------------------------------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//

// Starting with C++20 the spaceship operator was included. This tests
// comparison in that context, thus doesn't support older language versions.
// These are tested per operator.

// UNSUPPORTED: c++03, c++11, c++14, c++17

// <string>

// template<class charT, class traits, class Allocator>
//   see below operator<=>(const basic_string<charT, traits, Allocator>& lhs,
//                         const basic_string<charT, traits, Allocator>& rhs) noexcept;
// template<class charT, class traits, class Allocator>
//   see below operator<=>(const basic_string<charT, traits, Allocator>& lhs,
//                         const charT* rhs);

#include <string>

#include <array>
#include <cassert>
#include <string_view>

#include "constexpr_char_traits.h"
#include "make_string.h"
#include "test_comparisons.h"
#include "test_macros.h"

#define STR(S) MAKE_STRING(CharT, S)

template <class T, class Ordering = std::strong_ordering>
constexpr void test() {
  AssertOrderAreNoexcept<T>();
  AssertOrderReturn<Ordering, T>();

  using CharT = typename T::value_type;
  AssertOrderReturn<Ordering, T, const CharT*>();

  // sorted values
  std::array v{
      STR(""),
      STR("abc"),
      STR("abcdef"),
      STR("acb"),
  };

  // sorted values with embedded NUL character
  std::array vn{
      STR("abc"),
      STR("abc\0"),
      STR("abc\0def"),
      STR("acb\0"),
  };
  static_assert(v.size() == vn.size());

  for (size_t i = 0; i < v.size(); ++i) {
    for (size_t j = 0; j < v.size(); ++j) {
      assert(testOrder(v[i], v[j], i == j ? Ordering::equivalent : i < j ? Ordering::less : Ordering::greater));

      assert(testOrder(
          v[i],
          std::basic_string<CharT>{v[j]}.c_str(),
          i == j  ? Ordering::equivalent
          : i < j ? Ordering::less
                  : Ordering::greater));

      // NUL test omitted for c-strings since it will fail.
      assert(testOrder(vn[i], vn[j], i == j ? Ordering::equivalent : i < j ? Ordering::less : Ordering::greater));
    }
  }
}

constexpr bool test_all_types() {
  test<std::string>();
  test<std::basic_string<char, constexpr_char_traits<char>>, std::weak_ordering>();
#ifndef TEST_HAS_NO_WIDE_CHARACTERS
  test<std::wstring>();
  test<std::basic_string<wchar_t, constexpr_char_traits<wchar_t>>, std::weak_ordering>();
#endif
  test<std::u8string>();
  test<std::basic_string<char8_t, constexpr_char_traits<char8_t>>, std::weak_ordering>();
  test<std::u16string>();
  test<std::basic_string<char16_t, constexpr_char_traits<char16_t>>, std::weak_ordering>();
  test<std::u32string>();
  test<std::basic_string<char32_t, constexpr_char_traits<char32_t>>, std::weak_ordering>();

  return true;
}

int main(int, char**) {
  test_all_types();
  static_assert(test_all_types());

  return 0;
}