Line data    Source code

       1            0 : // Distributed under the MIT License.
       2              : // See LICENSE.txt for details.
       3              : 
       4              : #pragma once
       5              : 
       6              : #include <type_traits>
       7              : 
       8              : namespace tt {
       9              : /// @{
      10              : /*!
      11              :  * \ingroup TypeTraitsGroup
      12              :  * \brief Check if `I` is an integer type (non-bool, non-character), unlike
      13              :  * std::is_integral
      14              :  *
      15              :  * \details
      16              :  * Inherits from `std::true_type` if `I` is a `short`, `unsigned short`,
      17              :  * `int`, `unsigned int`, `long`, `unsigned long`, `long long`, or
      18              :  * `unsigned long long`, otherwise inherits from `std::false_type`.
      19              :  *
      20              :  * \usage
      21              :  * For any type `I`,
      22              :  * \code
      23              :  * using result = tt::is_integer<I>;
      24              :  * \endcode
      25              :  * \metareturns
      26              :  * std::bool_constant
      27              :  *
      28              :  * \example
      29              :  * \snippet Test_IsInteger.cpp is_integer_example
      30              :  * \see std::is_integral std::is_arithmetic std::is_floating_point
      31              :  */
      32              : template <typename I>
      33            1 : struct is_integer : std::false_type {};
      34              : 
      35              : /// \cond HIDDEN_SYMBOLS
      36              : template <>
      37              : struct is_integer<short> : std::true_type {};
      38              : 
      39              : template <>
      40              : struct is_integer<unsigned short> : std::true_type {};
      41              : 
      42              : template <>
      43              : struct is_integer<int> : std::true_type {};
      44              : 
      45              : template <>
      46              : struct is_integer<unsigned int> : std::true_type {};
      47              : 
      48              : template <>
      49              : struct is_integer<long> : std::true_type {};
      50              : 
      51              : template <>
      52              : struct is_integer<unsigned long> : std::true_type {};
      53              : 
      54              : template <>
      55              : struct is_integer<long long> : std::true_type {};
      56              : 
      57              : template <>
      58              : struct is_integer<unsigned long long> : std::true_type {};
      59              : /// \endcond
      60              : 
      61              : /// \see is_integer
      62              : template <typename T>
      63            1 : constexpr bool is_integer_v = is_integer<T>::value;
      64              : /// @}
      65              : }  // namespace tt