remove_extent.hpp

Go to the documentation of this file.

// Copyright 2024, Toyota Motor Corporation
//
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
#ifndef INCLUDE_GUARD_ARENE_BASE_STDLIB_INCLUDE_STDLIB_DETAIL_REMOVE_EXTENT_HPP_
#define INCLUDE_GUARD_ARENE_BASE_STDLIB_INCLUDE_STDLIB_DETAIL_REMOVE_EXTENT_HPP_
 
// parasoft-begin-suppress CERT_CPP-DCL58-a-2 "Part of a standard library implementation"
// parasoft-begin-suppress AUTOSAR-A17_6_1-a-2 "Part of a standard library implementation"
 
// IWYU pragma: private, include <type_traits>
// IWYU pragma: friend "stdlib_detail/.*"
 
#include "stdlib/include/stdlib_detail/cstddef.hpp"
 
namespace std {
/// @brief Removes the first extent from the given array type
/// @tparam T The array type to remove the first extent from
///
/// If @c T is an array of some type @c X, provides static member @c type as an
/// alias to @c X. If @c T is multidimensional array, only the first dimension
/// is removed. Otherwise if @c T is not an array, @c type is an alias to @c T.
///
template <typename T>
class remove_extent {
 public:
  /// @brief The resulting type
  using type = T;
};
 
// NOLINTBEGIN(hicpp-avoid-c-arrays)
 
/// @brief Removes the first extent from the given array type
/// @tparam T The array type to remove the first extent from
///
/// Specialization for array of unknown bound.
///
template <typename T>
class remove_extent<T[]> {
 public:
  /// @brief The resulting type
  using type = T;
};
 
/// @brief Removes the first extent from the given array type
/// @tparam T The array type to remove the first extent from
/// @tparam N array size
///
/// Specialization for array of known bound.
///
template <typename T, size_t N>
class remove_extent<T[N]> {
 public:
  /// @brief The resulting type
  using type = T;
};
 
// NOLINTEND(hicpp-avoid-c-arrays)
 
/// @brief Removes the first extent from the given array type
/// @tparam T The array type to remove the first extent from
///
/// Alias to @c remove_extent<T>::type.
///
template <typename T>
using remove_extent_t = typename remove_extent<T>::type;
 
}  // namespace std
 
#endif  // INCLUDE_GUARD_ARENE_BASE_STDLIB_INCLUDE_STDLIB_DETAIL_REMOVE_EXTENT_HPP_