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> 10 // ... manipulating sequences of any non-array trivial standard-layout types. 11 12 #include <string> 13 #include "test_traits.h" 14 15 struct NotTrivial { NotTrivialNotTrivial16 NotTrivial() : value(3) {} 17 int value; 18 }; 19 20 struct NotStandardLayout { 21 public: NotStandardLayoutNotStandardLayout22 NotStandardLayout() : one(1), two(2) {} sumNotStandardLayout23 int sum() const { return one + two; } // silences "unused field 'two' warning" 24 int one; 25 26 private: 27 int two; 28 }; 29 f()30void f() { 31 { 32 // array 33 typedef char C[3]; 34 static_assert(std::is_array<C>::value, ""); 35 std::basic_string<C, test_traits<C> > s; 36 // expected-error-re@string:* {{static assertion failed{{.*}}Character type of basic_string must not be an array}} 37 } 38 39 { 40 // not trivial 41 static_assert(!std::is_trivial<NotTrivial>::value, ""); 42 std::basic_string<NotTrivial, test_traits<NotTrivial> > s; 43 // expected-error-re@string:* {{static assertion failed{{.*}}Character type of basic_string must be trivial}} 44 } 45 46 { 47 // not standard layout 48 static_assert(!std::is_standard_layout<NotStandardLayout>::value, ""); 49 std::basic_string<NotStandardLayout, test_traits<NotStandardLayout> > s; 50 // expected-error-re@string:* {{static assertion failed{{.*}}Character type of basic_string must be standard-layout}} 51 } 52 } 53