File type_traits.h

File List > common > type_traits.h

Go to the documentation of this file

#pragma once
#include <type_traits>
#include <Eigen/Core>

namespace uipc
{
template <typename T, typename DstT>
struct propagate_const
{
  private:
    using DstT_ = std::remove_cv_t<DstT>;

  public:
    using type = std::conditional_t<std::is_const_v<T>, const DstT_, DstT_>;
};

template <typename T, typename DstT>
using propagate_const_t = typename propagate_const<T, DstT>::type;


template <typename Sig>
struct signature;

template <typename R, typename... Args>
struct signature<R(Args...)>
{
    using type = std::tuple<R, Args...>;
};

template <typename R, typename... Args>
struct signature<R (*)(Args...)> : signature<R(Args...)>
{
};

template <typename R, typename... Args>
struct signature<R (&)(Args...)> : signature<R(Args...)>
{
};

template <typename R, typename C, typename... Args>
struct signature<R (C::*)(Args...)> : signature<R(Args...)>
{
};

template <typename R, typename C, typename... Args>
struct signature<R (C::*)(Args...) const> : signature<R(Args...)>
{
};

template <typename R, typename C, typename... Args>
struct signature<R (C::*)(Args...) volatile> : signature<R(Args...)>
{
};

template <typename R, typename C, typename... Args>
struct signature<R (C::*)(Args...) const volatile> : signature<R(Args...)>
{
};

template <typename R, typename C, typename... Args>
struct signature<R (C::*)(Args...) &&> : signature<R(Args...)>
{
};

template <typename Sig>
using signature_t = typename signature<Sig>::type;


template <typename MatrixT>
class is_matrix : public std::false_type
{
};

template <typename MatrixT>
inline constexpr bool is_matrix_v = is_matrix<MatrixT>::value;

template <typename Scalar, int Rows, int Cols, int Options, int MaxRows, int MaxCols>
class is_matrix<Eigen::Matrix<Scalar, Rows, Cols, Options, MaxRows, MaxCols>>
    : public std::true_type
{
};
}  // namespace uipc