TypeTraits.h

Go to the documentation of this file.

#ifndef PROTEUS_FRONTEND_TYPETRAITS_H
#define PROTEUS_FRONTEND_TYPETRAITS_H
 
#include <type_traits>
 
namespace proteus {
 
// Type alias to remove cv-qualifiers and references (C++17 equivalent of
// C++20's std::remove_cvref_t).
template <typename T>
using remove_cvref_t = std::remove_cv_t<std::remove_reference_t<T>>;
 
// NOLINTBEGIN(readability-identifier-naming)
 
// True if T (after removing references) is an arithmetic type.
template <typename T>
inline constexpr bool is_arithmetic_unref_v =
    std::is_arithmetic_v<std::remove_reference_t<T>>;
 
// True if T (after removing references) is a pointer type.
template <typename T>
inline constexpr bool is_pointer_unref_v =
    std::is_pointer_v<std::remove_reference_t<T>>;
 
// True if T is a scalar arithmetic type (not a pointer or array).
// Used for the primary Var specialization for numeric types.
template <typename T>
inline constexpr bool is_scalar_arithmetic_v =
    std::is_arithmetic_v<std::remove_reference_t<T>> &&
    !std::is_pointer_v<std::remove_reference_t<T>> &&
    !std::is_array_v<std::remove_reference_t<T>>;
 
// True if T (after removing cv-qualifiers and references) is mutable.
template <typename T>
inline constexpr bool is_mutable_v =
    !std::is_const_v<std::remove_reference_t<T>>;
 
// NOLINTEND(readability-identifier-naming)
 
} // namespace proteus
 
#endif // PROTEUS_FRONTEND_TYPETRAITS_H