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 // <array> 10 11 // const T* data() const; 12 13 #include <array> 14 #include <cassert> 15 #include <cstddef> // for std::max_align_t 16 17 #include "test_macros.h" 18 19 // std::array is explicitly allowed to be initialized with A a = { init-list };. 20 // Disable the missing braces warning for this reason. 21 #include "disable_missing_braces_warning.h" 22 23 struct NoDefault { 24 TEST_CONSTEXPR NoDefault(int) { } 25 }; 26 27 #if TEST_STD_VER < 11 28 struct natural_alignment { 29 long t1; 30 long long t2; 31 double t3; 32 long double t4; 33 }; 34 #endif 35 36 TEST_CONSTEXPR_CXX17 bool tests() 37 { 38 { 39 typedef double T; 40 typedef std::array<T, 3> C; 41 const C c = {1, 2, 3.5}; 42 const T* p = c.data(); 43 assert(p[0] == 1); 44 assert(p[1] == 2); 45 assert(p[2] == 3.5); 46 } 47 { 48 typedef double T; 49 typedef std::array<T, 0> C; 50 const C c = {}; 51 const T* p = c.data(); 52 (void)p; 53 } 54 { 55 typedef NoDefault T; 56 typedef std::array<T, 0> C; 57 const C c = {}; 58 const T* p = c.data(); 59 (void)p; 60 } 61 { 62 std::array<int, 5> const c = {0, 1, 2, 3, 4}; 63 assert(c.data() == &c[0]); 64 assert(*c.data() == c[0]); 65 } 66 67 return true; 68 } 69 70 int main(int, char**) 71 { 72 tests(); 73 #if TEST_STD_VER >= 17 74 static_assert(tests(), ""); 75 #endif 76 77 // Test the alignment of data() 78 { 79 #if TEST_STD_VER < 11 80 typedef natural_alignment T; 81 #else 82 typedef std::max_align_t T; 83 #endif 84 typedef std::array<T, 0> C; 85 const C c = {}; 86 const T* p = c.data(); 87 std::uintptr_t pint = reinterpret_cast<std::uintptr_t>(p); 88 assert(pint % TEST_ALIGNOF(T) == 0); 89 } 90 91 return 0; 92 } 93