1 // -*- C++ -*-
2 //===----------------------------------------------------------------------===//
3 //
4 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5 // See https://llvm.org/LICENSE.txt for license information.
6 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //
8 //===----------------------------------------------------------------------===//
9 
10 // UNSUPPORTED: c++98, c++03, c++11
11 // UNSUPPORTED: clang-3.3, clang-3.4, clang-3.5, clang-3.6, clang-3.7, clang-3.8, clang-3.9
12 // UNSUPPORTED: apple-clang-6, apple-clang-7, apple-clang-8
13 // Note: libc++ supports string_view before C++17, but literals were introduced in C++14
14 
15 #include <string_view>
16 #include <cassert>
17 
18 #include "test_macros.h"
19 
20 #if defined(__cpp_lib_char8_t) && __cpp_lib_char8_t >= 201811L
21     typedef std::u8string_view u8string_view;
22 #else
23     typedef std::string_view   u8string_view;
24 #endif
25 
26 int main(int, char**)
27 {
28     using namespace std::literals::string_view_literals;
29 
30     static_assert ( std::is_same<decltype(   "Hi"sv), std::string_view>::value, "" );
31     static_assert ( std::is_same<decltype( u8"Hi"sv), u8string_view>::value, "" );
32     static_assert ( std::is_same<decltype(  L"Hi"sv), std::wstring_view>::value, "" );
33     static_assert ( std::is_same<decltype(  u"Hi"sv), std::u16string_view>::value, "" );
34     static_assert ( std::is_same<decltype(  U"Hi"sv), std::u32string_view>::value, "" );
35 
36     std::string_view foo;
37     std::wstring_view Lfoo;
38     u8string_view u8foo;
39     std::u16string_view ufoo;
40     std::u32string_view Ufoo;
41 
42 
43     foo  =    ""sv;     assert(  foo.size() == 0);
44     u8foo = u8""sv;     assert(u8foo.size() == 0);
45     Lfoo  =  L""sv;     assert( Lfoo.size() == 0);
46     ufoo  =  u""sv;     assert( ufoo.size() == 0);
47     Ufoo  =  U""sv;     assert( Ufoo.size() == 0);
48 
49     foo   =   " "sv;    assert(  foo.size() == 1);
50     u8foo = u8" "sv;    assert(u8foo.size() == 1);
51     Lfoo  =  L" "sv;    assert( Lfoo.size() == 1);
52     ufoo  =  u" "sv;    assert( ufoo.size() == 1);
53     Ufoo  =  U" "sv;    assert( Ufoo.size() == 1);
54 
55     foo   =   "ABC"sv;  assert(  foo ==   "ABC");   assert(  foo == std::string_view   (  "ABC"));
56     u8foo = u8"ABC"sv;  assert(u8foo == u8"ABC");   assert(u8foo == u8string_view      (u8"ABC"));
57     Lfoo  =  L"ABC"sv;  assert( Lfoo ==  L"ABC");   assert( Lfoo == std::wstring_view  ( L"ABC"));
58     ufoo  =  u"ABC"sv;  assert( ufoo ==  u"ABC");   assert( ufoo == std::u16string_view( u"ABC"));
59     Ufoo  =  U"ABC"sv;  assert( Ufoo ==  U"ABC");   assert( Ufoo == std::u32string_view( U"ABC"));
60 
61     static_assert(  "ABC"sv.size() == 3, "");
62     static_assert(u8"ABC"sv.size() == 3, "");
63     static_assert( L"ABC"sv.size() == 3, "");
64     static_assert( u"ABC"sv.size() == 3, "");
65     static_assert( U"ABC"sv.size() == 3, "");
66 
67     static_assert(noexcept(  "ABC"sv), "");
68     static_assert(noexcept(u8"ABC"sv), "");
69     static_assert(noexcept( L"ABC"sv), "");
70     static_assert(noexcept( u"ABC"sv), "");
71     static_assert(noexcept( U"ABC"sv), "");
72 
73   return 0;
74 }
75