Home | History | Annotate | Download | only in string.view.capacity 
      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 }
    104