1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // <string_view>
10 //   ... manipulating sequences of any non-array trivial standard-layout types.
11 
12 #include <string>
13 #include "../basic.string/test_traits.h"
14 
15 struct NotTrivial {
16     NotTrivial() : value(3) {}
17     int value;
18 };
19 
20 struct NotStandardLayout {
21 public:
22     NotStandardLayout() : one(1), two(2) {}
23     int sum() const { return one + two; } // silences "unused field 'two' warning"
24     int one;
25 private:
26     int two;
27 };
28 
29 int main(int, char**)
30 {
31     {
32 //  array
33     typedef char C[3];
34     static_assert(std::is_array<C>::value, "");
35     std::basic_string_view<C, test_traits<C> > sv;
36 //  expected-error-re@string_view:* {{static_assert failed{{.*}} "Character type of basic_string_view must not be an array"}}
37     }
38 
39     {
40 //  not trivial
41     static_assert(!std::is_trivial<NotTrivial>::value, "");
42     std::basic_string_view<NotTrivial, test_traits<NotTrivial> > sv;
43 //  expected-error-re@string_view:* {{static_assert failed{{.*}} "Character type of basic_string_view must be trivial"}}
44     }
45 
46     {
47 //  not standard layout
48     static_assert(!std::is_standard_layout<NotStandardLayout>::value, "");
49     std::basic_string_view<NotStandardLayout, test_traits<NotStandardLayout> > sv;
50 //  expected-error-re@string_view:* {{static_assert failed{{.*}} "Character type of basic_string_view must be standard-layout"}}
51     }
52 
53   return 0;
54 }
55