conversion_traits<> traits class

namespace boost { namespace numeric {
    enum int_float_mixture_enum
    {
       integral_to_integral
      ,integral_to_float
      ,float_to_integral
      ,float_to_float
    } ;
} } // namespace boost::numeric

namespace boost { namespace numeric {
enum sign_mixture_enum
{
   unsigned_to_unsigned
  ,signed_to_signed
  ,signed_to_unsigned
  ,unsigned_to_signed
} ;
} } // namespace boost::numeric

namespace boost { namespace numeric {
    enum udt_builtin_mixture_enum
    {
       builtin_to_builtin
      ,builtin_to_udt
      ,udt_to_builtin
      ,udt_to_udt
    } ;
} } // namespace boost::numeric

namespace boost { namespace numeric {
    template <class T, class S>
    struct int_float_mixture : mpl::integral_c<int_float_mixture_enum, impl-def-value> {} ;
} } // namespace boost::numeric

Классифицируя<S>и<T>как интегральные или плавающие, этаИнтегральная постоянная MPLуказывает на комбинацию этих атрибутов.

Его<::value>является перечислением типа<boost::numeric::int_float_mixture_enum>

namespace boost { namespace numeric {
    template <class T, class S>
    struct sign_mixture : mpl::integral_c<sign_mixture_enum, impl-def-value> {} ;
} } // namespace boost::numeric

Классифицируя<S>и<T>как подписанные или неподписанные, этаинтегральная постоянная MPLуказывает на сочетание этих атрибутов.

Его<::value>тип перечисления<boost::numeric::sign_mixture_enum>

namespace boost { namespace numeric {
    template <class T, class S>
    struct udt_builtin_mixture : mpl::integral_c<udt_builtin__mixture_enum, impl-def-value> {} ;
} } // namespace boost::numeric

Классифицируя<S>и<T>как определяемые пользователем или встроенные, этаинтегральная постоянная MPLуказывает на комбинацию этих атрибутов.

Его<::value>тип перечисления<boost::numeric::udt_builtin_mixture_enum>

namespace boost { namespace numeric {
    template <class T, class S>
    struct is_subranged : mpl::bool_<impl-def-value> {} ;
} } // namespace boost::numeric

Указывает, является ли диапазон целевого типа<T>подмножеством диапазона типа источника<S>. То есть, если есть некоторые исходные значения, которые выпадают из диапазона целевого типа.

Это интегральная константаMPL.

Он не указывает, является ли конкретное преобразование фактически вне диапазона; он указывает на то, что некоторое преобразование может быть вне диапазона, поскольку не все исходные значения представляются в виде целевого типа.

namespace boost { namespace numeric {
    template <class T, class S>
    struct conversion_traits
    {
        mpl::integral_c<int_float_mixture_enum  , ...> int_float_mixture ;
        mpl::integral_c<sign_mixture_enum       , ...> sign_mixture;
        mpl::integral_c<udt_builtin_mixture_enum, ...> udt_builtin_mixture ;
        mpl::bool_<...> subranged ;
        mpl::bool_<...> trivial ;
        typedef T target_type   ;
        typedef S source_type   ;
        typedef ... argument_type ;
        typedef ... result_type   ;
        typedef ... supertype     ;
        typedef ... subtype       ;
    } ;
} } // namespace numeric, namespace boost

Этот класс признаков указывает на некоторые свойстванаправления численного преобразования: от типа источника<S>до типа цели<T>. Это не указывает на свойстваконкретногопреобразования, а на направление преобразования. См.Определениядля деталей.

Класс признаков обеспечивает следующуюинтегральную константу MPL. Они выражают комбинацию определенных атрибутов типов Источника и Цели (таким образом, они называются смесью):

Класс признаков обеспечивает следующуюинтегральную константу MPL\s булевого типа, которая косвенно указывает на связь между диапазонами Источника и Цели (см.Определениядля деталей).

Класс признаков обеспечивает следующие типы. Они являются источниками и целевыми типами, классифицированными и квалифицированными для различных целей.