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

Classifying S and T as either integral or float, this MPL's Integral Constant indicates the combination of these attributes.
將 S 和 T 分類為整型的或浮點的，這個 MPL 整型常量 表示了這些屬性的組合。

Its ::value is of enumeration type boost::numeric::int_float_mixture_enum
Its ::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

Classifying S and T as either signed or unsigned, this MPL's Integral Constant indicates the combination of these attributes.
將 S 和 T 分類為有符號的或無符號的，這個 MPL 整型常量 表示了這些屬性的組合。

Its ::value is of enumeration type boost::numeric::sign_mixture_enum
Its ::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

Classifying S and T as either user-defined or builtin, this MPL's Integral Constant indicates the combination of these attributes.
將 S 和 T 分類為用戶自定義的或內建的，這個 MPL 整型常量 表示了這些屬性的組合。

Its ::value is of enumeration type boost::numeric::udt_builtin_mixture_enum
Its ::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

Indicates if the range of the target type T is a subset of the range of the source type S. That is: if there are some source values which fall out of the Target type's range.
指明目標類型 T 的範圍是否為源類型 S 的範圍的子集。即：是否有一些源類型的值在目標類型範圍以外。

It is a boolean MPL's Integral Constant .
它是一個布爾 MPL 整型常量。

It does not indicate if a particular conversion is effectively out of range; it indicates that some conversion might be out of range because not all the source values are representable as Target type.
它並不能指明某個特定的轉換是否超出範圍；它只是指明有些轉換可能會超出範圍，因為不是所有源類型的值都可以表示為目標類型。

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

This traits class indicates some properties of a numeric conversion direction: from a source type S to a target type T. It does not indicate the properties of a specific conversion, but of the conversion direction. See Definitions for details.
這個 traits 類表示一個 數字轉換 方向：從源類型 S 到目標類型 T 的一些屬性。它不表示某個特定轉換的屬性，而是表示轉換方向的屬性。詳情請見 定義。 

The traits class provides the following MPL's Integral Constant \s of enumeration type. They express the combination of certain attributes of the Source and Target types (thus they are call mixture):
這個 traits 類提供以下枚舉類型的 MPL 整型常量。它們表示了源類型和目標類型的特定屬性的組合(因此稱為混合的)：

The traits class provides the following MPL's Integral Constant \s of boolean type which indicates indirectly the relation between the Source and Target ranges (see Definitions for details).
這個 traits 類提供以下布爾類型的 MPL 整型常量，間接地表示源類型範圍和目標類型範圍間的關係(詳見 定義)。

The traits class provides the following types. They are the Source and Target types classified and qualified for different purposes.
這個 traits 類提供以下類型。它們根據不同目的對源類型和目標類型進行分類和限定。