mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-08-03 04:14:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

is_instantiation renamed to is_instantiation_of

Browse Source
This commit is contained in:
Mateusz Pusz
2020-06-29 20:28:10 +02:00
parent 264d6dd9dc
commit 7eccef78a9
3 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/include/units/bits/external/type_traits.h vendored
View File

@@ -46,25 +46,25 @@ struct conditional_impl<true> {
template<bool B, typename T, typename F>
using conditional = detail::conditional_impl<B>::template type<T, F>;
// is_instantiation
// is_instantiation_of
namespace detail {
template<typename T, template<typename...> typename Type>
inline constexpr bool is_instantiation_impl = false;
inline constexpr bool is_instantiation_of_impl = false;
template<typename... Params, template<typename...> typename Type>
inline constexpr bool is_instantiation_impl<Type<Params...>, Type> = true;
inline constexpr bool is_instantiation_of_impl<Type<Params...>, Type> = true;
} // namespace detail
template<typename T, template<typename...> typename Type>
inline constexpr bool is_instantiation = detail::is_instantiation_impl<T, Type>;
inline constexpr bool is_instantiation_of = detail::is_instantiation_of_impl<T, Type>;
// is_derived_from_instantiation
// is_derived_from_instantiation_of
namespace detail {
template<template<typename...> typename Type>
struct is_derived_from_instantiation_impl {
struct is_derived_from_instantiation_of_impl {
template<typename... Params>
static constexpr std::true_type check_base(const Type<Params...>&);
static constexpr std::false_type check_base(...);
@@ -73,6 +73,6 @@ struct is_derived_from_instantiation_impl {
} // namespace detail
template<typename T, template<typename...> typename Type>
inline constexpr bool is_derived_from_instantiation = decltype(detail::is_derived_from_instantiation_impl<Type>::check_base(std::declval<T>()))::value;
inline constexpr bool is_derived_from_instantiation_of = decltype(detail::is_derived_from_instantiation_of_impl<Type>::check_base(std::declval<T>()))::value;
} // namespace units

4
src/include/units/physical/dimensions.h
View File

@@ -30,10 +30,10 @@
namespace units::physical {
template<typename Dim, template<typename...> typename DimTemplate>
concept DimensionOf = Dimension<Dim> && is_derived_from_instantiation<Dim, DimTemplate>;
concept DimensionOf = Dimension<Dim> && is_derived_from_instantiation_of<Dim, DimTemplate>;
template<typename Q, template<typename...> typename DimTemplate>
concept QuantityOf = Quantity<Q> && is_derived_from_instantiation<typename Q::dimension, DimTemplate>;
concept QuantityOf = Quantity<Q> && is_derived_from_instantiation_of<typename Q::dimension, DimTemplate>;
// ------------------------ base dimensions -----------------------------

4
src/include/units/quantity_cast.h
View File

@@ -403,10 +403,10 @@ template<Scalar ToRep, typename D, typename U, typename Rep>
*/
template<typename CastSpec, typename D, typename U, typename Rep>
[[nodiscard]] constexpr auto quantity_point_cast(const quantity_point<D, U, Rep>& qp)
requires is_instantiation<CastSpec, quantity_point> ||
requires is_instantiation_of<CastSpec, quantity_point> ||
requires(quantity<D, U, Rep> q) { quantity_cast<CastSpec>(q); }
{
if constexpr (is_instantiation<CastSpec, quantity_point>)
if constexpr (is_instantiation_of<CastSpec, quantity_point>)
return quantity_point(quantity_cast<typename CastSpec::quantity_type>(qp.relative()));
else
return quantity_point(quantity_cast<CastSpec>(qp.relative()));