scalar.hpp

Go to the documentation of this file.

#ifndef EAGINE_MATH_SCALAR_HPP
#define EAGINE_MATH_SCALAR_HPP
 
#include "../type_identity.hpp"
#include "../vect/data.hpp"
#include "../vect/fill.hpp"
#include "fwd.hpp"
#include <type_traits>
 
namespace eagine::math {
//------------------------------------------------------------------------------
template <typename T, int N, bool V>
struct scalar {
    using type = scalar;
 
    using value_type = T;
 
    using is_vectorized = vect::has_vect_data_t<T, N, V>;
 
    using data_type =
      std::conditional_t<is_vectorized::value, vect::data_t<T, N, V>, T>;
 
    data_type _v;
 
    using scalar_param = const scalar&;
 
    static constexpr auto _from(data_type v) noexcept {
        return scalar{v};
    }
 
    static constexpr auto _make(T v, std::true_type) noexcept {
        return scalar{vect::fill<T, N, V>::apply(v)};
    }
 
    static constexpr auto _make(T v, std::false_type) noexcept {
        return scalar{v};
    }
 
    static constexpr auto make(T v) noexcept {
        return _make(v, is_vectorized());
    }
 
    constexpr auto _get(std::true_type) const noexcept -> T {
        return _v[0];
    }
 
    constexpr auto _get(std::false_type) const noexcept -> T {
        return _v;
    }
 
    constexpr operator T() const noexcept {
        return _get(is_vectorized());
    }
 
    auto operator=(T v) noexcept -> scalar& {
        return *this = make(v);
    }
};
//------------------------------------------------------------------------------
} // namespace eagine::math
 
#endif // EAGINE_MATH_SCALAR_HPP