| .. Macros/Asserts//BOOST_MPL_ASSERT_NOT |
| |
| BOOST_MPL_ASSERT_NOT |
| ==================== |
| |
| Synopsis |
| -------- |
| |
| .. parsed-literal:: |
| |
| #define BOOST_MPL_ASSERT_NOT( pred ) \\ |
| |unspecified-token-seq| \\ |
| /\*\*/ |
| |
| |
| Description |
| ----------- |
| |
| Generates a compilation error when predicate holds true. |
| |
| |
| Header |
| ------ |
| |
| .. parsed-literal:: |
| |
| #include <boost/mpl/assert.hpp> |
| |
| |
| Parameters |
| ---------- |
| |
| +---------------+-----------------------------------+-------------------------------------------+ |
| | Parameter | Requirement | Description | |
| +===============+===================================+===========================================+ |
| | ``pred`` | Boolean nullary |Metafunction| | A predicate to be asserted to be false. | |
| +---------------+-----------------------------------+-------------------------------------------+ |
| |
| |
| Expression semantics |
| -------------------- |
| |
| For any boolean nullary |Metafunction| ``pred``: |
| |
| |
| .. parsed-literal:: |
| |
| BOOST_MPL_ASSERT_NOT(( pred )); |
| |
| :Return type: |
| None. |
| |
| :Semantics: |
| Generates a compilation error if ``pred::type::value != false``, otherwise |
| has no effect. Note that double parentheses are required even if no commas |
| appear in the condition. |
| |
| When possible within the compiler's diagnostic capabilities, |
| the error message will include the predicate's full type name, and have a |
| general form of: |
| |
| .. parsed-literal:: |
| |
| |...| \*\*\*\*\*\*\*\*\*\*\*\*boost::mpl::not_< pred >::\*\*\*\*\*\*\*\*\*\*\*\* |...| |
| |
| |
| Example |
| ------- |
| |
| :: |
| |
| template< typename T, typename U > struct my |
| { |
| // ... |
| BOOST_MPL_ASSERT_NOT(( is_same< T,U > )); |
| }; |
| |
| my<void,void> test; |
| |
| // In instantiation of `my<void, void>': |
| // instantiated from here |
| // conversion from ` |
| // mpl_::failed************boost::mpl::not_<boost::is_same<void, void> |
| // >::************' to non-scalar type `mpl_::assert<false>' requested |
| |
| |
| See also |
| -------- |
| |
| |Asserts|, |BOOST_MPL_ASSERT|, |BOOST_MPL_ASSERT_MSG|, |BOOST_MPL_ASSERT_RELATION| |
| |
| |
| .. copyright:: Copyright © 2001-2009 Aleksey Gurtovoy and David Abrahams |
| Distributed under the Boost Software License, Version 1.0. (See accompanying |
| file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
