Struct templates for array traits

ArrayTraits.hh

#include <cstddef>

template <typename T>
struct ArrayDimension;

template <typename T, size_t N>
struct ArrayDimension<T[N]>
{
    static constexpr size_t Value = ArrayDimension<T>::Value + 1;
};

template <typename T>
struct ArrayDimension
{
    static constexpr size_t Value = 0;
};

template <typename T>
struct IsArray
{
    static constexpr bool Value = ArrayDimension<T>::Value != 0;
};