is_array_of_t.h

Go to the documentation of this file.

/**
 
    @file      is_array_of_t.h
    @author    Khrapov
    @date      20.12.2022
    @copyright © Nick Khrapov, 2022. All right reserved.
 
**/
#pragma once
 
#include <cstddef>
#include <type_traits>
 
namespace qx
{
 
// clang-format off
 
/**
    @struct  is_array_of_t
    @details Check if array_t is an array of T
    @tparam  array_t - possible array type
    @tparam  T       - array element type
**/
template <class array_t, class T> struct is_array_of_t                       : std::false_type { };
                                   
template <class T>           struct is_array_of_t<               T[],     T> : std::true_type  { };
template <class T>           struct is_array_of_t<const          T[],     T> : std::true_type  { };
template <class T>           struct is_array_of_t<      volatile T[],     T> : std::true_type  { };
template <class T>           struct is_array_of_t<const volatile T[],     T> : std::true_type  { };
                                                                                               
template <class T, size_t N> struct is_array_of_t<               T[N],    T> : std::true_type  { };
template <class T, size_t N> struct is_array_of_t<const          T[N],    T> : std::true_type  { };
template <class T, size_t N> struct is_array_of_t<      volatile T[N],    T> : std::true_type  { };
template <class T, size_t N> struct is_array_of_t<const volatile T[N],    T> : std::true_type  { };
                                                                                               
template <class T, size_t N> struct is_array_of_t<               T(&)[N], T> : std::true_type  { };
template <class T, size_t N> struct is_array_of_t<const          T(&)[N], T> : std::true_type  { };
template <class T, size_t N> struct is_array_of_t<      volatile T(&)[N], T> : std::true_type  { };
template <class T, size_t N> struct is_array_of_t<const volatile T(&)[N], T> : std::true_type  { };
 
// clang-format on
 
template<class array_t, class T>
constexpr bool is_array_of_t_v = is_array_of_t<array_t, T>::value;
 
} // namespace qx