test/std/strings/string.view/string.view.capacity/capacity.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10
  11 // <string_view>
  12
  13 // [string.view.capacity], capacity
  14 // constexpr size_type size()     const noexcept;
  15 // constexpr size_type length()   const noexcept;
  16 // constexpr size_type max_size() const noexcept;
  17 // constexpr bool empty()         const noexcept;
  18
  19 #include <string_view>
  20 #include <cassert>
  21
  22 #include "test_macros.h"
  23
  24 template<typename SV>
  25 void test1 () {
  26 #if TEST_STD_VER > 11
  27     {
  28     constexpr SV sv1;
  29     static_assert ( sv1.size() == 0, "" );
  30     static_assert ( sv1.empty(), "");
  31     static_assert ( sv1.size() == sv1.length(), "" );
  32     static_assert ( sv1.max_size() > sv1.size(), "");
  33     }
  34 #endif
  35
  36     {
  37     SV sv1;
  38     ASSERT_NOEXCEPT(sv1.size());
  39     ASSERT_NOEXCEPT(sv1.empty());
  40     ASSERT_NOEXCEPT(sv1.max_size());
  41     ASSERT_NOEXCEPT(sv1.length());
  42     assert ( sv1.size() == 0 );
  43     assert ( sv1.empty());
  44     assert ( sv1.size() == sv1.length());
  45     assert ( sv1.max_size() > sv1.size());
  46     }
  47 }
  48
  49 template<typename CharT>
  50 void test2 ( const CharT *s, size_t len ) {
  51     {
  52     std::basic_string_view<CharT> sv1 ( s );
  53     assert ( sv1.size() == len );
  54     assert ( sv1.data() == s );
  55     assert ( sv1.empty() == (len == 0));
  56     assert ( sv1.size() == sv1.length());
  57     assert ( sv1.max_size() > sv1.size());
  58 #if TEST_STD_VER > 14
  59 //  make sure we pick up std::size, too!
  60     assert ( sv1.size() == std::size(sv1));
  61     assert ( sv1.empty() == std::empty(sv1));
  62 #endif
  63     }
  64 }
  65
  66 int main () {
  67     test1<std::string_view> ();
  68 #if defined(__cpp_lib_char8_t) && __cpp_lib_char8_t >= 201811L
  69     test1<std::u8string_view> ();
  70 #endif
  71     test1<std::u16string_view> ();
  72     test1<std::u32string_view> ();
  73     test1<std::wstring_view> ();
  74
  75     test2 ( "ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
  76     test2 ( "ABCDE", 5 );
  77     test2 ( "a", 1 );
  78     test2 ( "", 0 );
  79
  80     test2 ( L"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
  81     test2 ( L"ABCDE", 5 );
  82     test2 ( L"a", 1 );
  83     test2 ( L"", 0 );
  84
  85 #if defined(__cpp_lib_char8_t) && __cpp_lib_char8_t >= 201811L
  86     test2 ( u8"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
  87     test2 ( u8"ABCDE", 5 );
  88     test2 ( u8"a", 1 );
  89     test2 ( u8"", 0 );
  90 #endif
  91
  92 #if TEST_STD_VER >= 11
  93     test2 ( u"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
  94     test2 ( u"ABCDE", 5 );
  95     test2 ( u"a", 1 );
  96     test2 ( u"", 0 );
  97
  98     test2 ( U"ABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDEABCDE", 105 );
  99     test2 ( U"ABCDE", 5 );
 100     test2 ( U"a", 1 );
 101     test2 ( U"", 0 );
 102 #endif
 103 }