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 #ifndef _LIBCPP___TYPE_TRAITS_DATASIZEOF_H
10 #define _LIBCPP___TYPE_TRAITS_DATASIZEOF_H
11 
12 #include <__config>
13 #include <__type_traits/is_class.h>
14 #include <__type_traits/is_final.h>
15 #include <cstddef>
16 
17 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
18 #  pragma GCC system_header
19 #endif
20 
21 // This trait provides the size of a type excluding any tail padding.
22 //
23 // It is useful in contexts where performing an operation using the full size of the class (including padding) may
24 // have unintended side effects, such as overwriting a derived class' member when writing the tail padding of a class
25 // through a pointer-to-base.
26 
27 _LIBCPP_BEGIN_NAMESPACE_STD
28 
29 template <class _Tp>
30 struct __libcpp_datasizeof {
31 #if __has_cpp_attribute(__no_unique_address__)
32   template <class = char>
33   struct _FirstPaddingByte {
34     [[__no_unique_address__]] _Tp __v_;
35     char __first_padding_byte_;
36   };
37 #else
38   template <bool = __libcpp_is_final<_Tp>::value || !is_class<_Tp>::value>
39   struct _FirstPaddingByte : _Tp {
40     char __first_padding_byte_;
41   };
42 
43   template <>
44   struct _FirstPaddingByte<true> {
45     _Tp __v_;
46     char __first_padding_byte_;
47   };
48 #endif
49 
50   static const size_t value = offsetof(_FirstPaddingByte<>, __first_padding_byte_);
51 };
52 
53 _LIBCPP_END_NAMESPACE_STD
54 
55 #endif // _LIBCPP___TYPE_TRAITS_DATASIZEOF_H
56