boost/mpl/negate.hpp

   1
   2 #ifndef BOOST_MPL_NEGATE_HPP_INCLUDED
   3 #define BOOST_MPL_NEGATE_HPP_INCLUDED
   4
   5 // Copyright Aleksey Gurtovoy 2000-2004
   6 //
   7 // Distributed under the Boost Software License, Version 1.0.
   8 // (See accompanying file LICENSE_1_0.txt or copy at
   9 // http://www.boost.org/LICENSE_1_0.txt)
  10 //
  11 // See http://www.boost.org/libs/mpl for documentation.
  12
  13 // $Id: negate.hpp 49267 2008-10-11 06:19:02Z agurtovoy $
  14 // $Date: 2008-10-10 23:19:02 -0700 (Fri, 10 Oct 2008) $
  15 // $Revision: 49267 $
  16
  17 #include <boost/mpl/integral_c.hpp>
  18 #include <boost/mpl/aux_/msvc_eti_base.hpp>
  19 #include <boost/mpl/aux_/na_spec.hpp>
  20 #include <boost/mpl/aux_/lambda_support.hpp>
  21 #include <boost/mpl/aux_/config/eti.hpp>
  22 #include <boost/mpl/aux_/config/integral.hpp>
  23 #include <boost/mpl/aux_/config/static_constant.hpp>
  24
  25 namespace boost { namespace mpl {
  26
  27 template< typename Tag > struct negate_impl;
  28
  29 template< typename T > struct negate_tag
  30 {
  31     typedef typename T::tag type;
  32 };
  33
  34 template<
  35       typename BOOST_MPL_AUX_NA_PARAM(N)
  36     >
  37 struct negate
  38 #if !defined(BOOST_MPL_CFG_MSVC_ETI_BUG)
  39     : negate_impl<
  40           typename negate_tag<N>::type
  41         >::template apply<N>::type
  42 #else
  43     : aux::msvc_eti_base< typename apply_wrap1<
  44           negate_impl< typename negate_tag<N>::type >
  45         , N
  46         >::type >::type
  47 #endif
  48 {
  49     BOOST_MPL_AUX_LAMBDA_SUPPORT(1, negate, (N))
  50 };
  51
  52 BOOST_MPL_AUX_NA_SPEC(1, negate)
  53
  54
  55 #if defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC)
  56 namespace aux {
  57 template< typename T, T n > struct negate_wknd
  58 {
  59     BOOST_STATIC_CONSTANT(T, value = -n);
  60     typedef integral_c<T,value> type;
  61 };
  62 }
  63 #endif
  64
  65 template<>
  66 struct negate_impl<integral_c_tag>
  67 {
  68 #if defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC)
  69     template< typename N > struct apply
  70         : aux::negate_wknd< typename N::value_type, N::value >
  71 #else
  72     template< typename N > struct apply
  73         : integral_c< typename N::value_type, (-N::value) >
  74 #endif
  75     {
  76     };
  77 };
  78
  79 }}
  80
  81 #endif // BOOST_MPL_NEGATE_HPP_INCLUDED