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 // <array>
11
12 // const T* data() const;
13
14 #include <array>
15 #include <cassert>
16 #include <cstddef> // for std::max_align_t
17
18 #include "test_macros.h"
19
20 // std::array is explicitly allowed to be initialized with A a = { init-list };.
21 // Disable the missing braces warning for this reason.
22 #include "disable_missing_braces_warning.h"
23
24 struct NoDefault {
NoDefaultNoDefault25 NoDefault(int) {}
26 };
27
main()28 int main()
29 {
30 {
31 typedef double T;
32 typedef std::array<T, 3> C;
33 const C c = {1, 2, 3.5};
34 const T* p = c.data();
35 assert(p[0] == 1);
36 assert(p[1] == 2);
37 assert(p[2] == 3.5);
38 }
39 {
40 typedef double T;
41 typedef std::array<T, 0> C;
42 const C c = {};
43 const T* p = c.data();
44 (void)p; // to placate scan-build
45 }
46 {
47 typedef NoDefault T;
48 typedef std::array<T, 0> C;
49 const C c = {};
50 const T* p = c.data();
51 LIBCPP_ASSERT(p != nullptr);
52 }
53 {
54 typedef std::max_align_t T;
55 typedef std::array<T, 0> C;
56 const C c = {};
57 const T* p = c.data();
58 LIBCPP_ASSERT(p != nullptr);
59 std::uintptr_t pint = reinterpret_cast<std::uintptr_t>(p);
60 assert(pint % TEST_ALIGNOF(std::max_align_t) == 0);
61 }
62 #if TEST_STD_VER > 14
63 {
64 typedef std::array<int, 5> C;
65 constexpr C c1{0,1,2,3,4};
66 constexpr const C c2{0,1,2,3,4};
67
68 static_assert ( c1.data() == &c1[0], "");
69 static_assert ( *c1.data() == c1[0], "");
70 static_assert ( c2.data() == &c2[0], "");
71 static_assert ( *c2.data() == c2[0], "");
72 }
73 #endif
74 }
75