A concept matching all units associated with the provided quantity spec

Synopsis

Declared in <mp‐units/framework/unit_concepts.h>

template<
    typename U,
    auto QS>
concept UnitOf = MP_UNITS_ASSOCIATED_UNIT<U> && QuantitySpec<MP_UNITS_REMOVE_CONST(decltype(QS))> &&
  (implicitly_convertible(get_quantity_spec(U{}), QS) ||
   (unsatisfied<"Unit '{}' is associated with quantity of kind '{}' which is not convertible to the '{}' quantity">(
     U{}, type_name(get_quantity_spec(U{})._quantity_spec_), type_name(QS))));

Description

Satisfied by all units for which an associated quantity spec is implicitly convertible to the provided QS value.

Created with MrDocs