mirror of
https://github.com/boostorg/static_assert.git
synced 2025-06-28 05:21:04 +02:00
Compare commits
1 Commits
svn-branch
...
svn-branch
Author | SHA1 | Date | |
---|---|---|---|
c0b05f7642 |
@ -5,8 +5,6 @@
|
|||||||
|
|
||||||
using quickbook ;
|
using quickbook ;
|
||||||
|
|
||||||
path-constant boost-images : ../../../doc/src/images ;
|
|
||||||
|
|
||||||
xml static_assert : static_assert.qbk ;
|
xml static_assert : static_assert.qbk ;
|
||||||
boostbook standalone
|
boostbook standalone
|
||||||
:
|
:
|
||||||
@ -14,31 +12,9 @@ boostbook standalone
|
|||||||
:
|
:
|
||||||
<xsl:param>nav.layout=none
|
<xsl:param>nav.layout=none
|
||||||
<xsl:param>navig.graphics=0
|
<xsl:param>navig.graphics=0
|
||||||
# PDF Options:
|
|
||||||
# TOC Generation: this is needed for FOP-0.9 and later:
|
|
||||||
<xsl:param>fop1.extensions=0
|
|
||||||
# Or enable this if you're using XEP:
|
|
||||||
<xsl:param>xep.extensions=1
|
|
||||||
# TOC generation: this is needed for FOP 0.2, but must not be set to zero for FOP-0.9!
|
|
||||||
<xsl:param>fop.extensions=0
|
|
||||||
# No indent on body text:
|
|
||||||
<xsl:param>body.start.indent=0pt
|
|
||||||
# Margin size:
|
|
||||||
<xsl:param>page.margin.inner=0.5in
|
|
||||||
# Margin size:
|
|
||||||
<xsl:param>page.margin.outer=0.5in
|
|
||||||
# Yes, we want graphics for admonishments:
|
|
||||||
<xsl:param>admon.graphics=1
|
|
||||||
# Set this one for PDF generation *only*:
|
|
||||||
# default pnd graphics are awful in PDF form,
|
|
||||||
# better use SVG's instead:
|
|
||||||
<format>pdf:<xsl:param>admon.graphics.extension=".svg"
|
|
||||||
<format>pdf:<xsl:param>admon.graphics.path=$(boost-images)/
|
|
||||||
<format>pdf:<xsl:param>boost.url.prefix=http://www.boost.org/doc/libs/release/doc/html
|
|
||||||
;
|
;
|
||||||
|
|
||||||
install html : ../../../doc/html/boostbook.css ;
|
install html : ../../../doc/html/boostbook.css ;
|
||||||
install ../ : ../../../boost.png ;
|
install ../ : ../../../boost.png ;
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
@ -15,10 +15,6 @@
|
|||||||
[last-revision $Date$]
|
[last-revision $Date$]
|
||||||
]
|
]
|
||||||
|
|
||||||
This manual is also available in
|
|
||||||
[@http://svn.boost.org/svn/boost/sandbox/pdf/static_assert/release/static_assert.pdf
|
|
||||||
printer friendly PDF format].
|
|
||||||
|
|
||||||
[section:intro Overview and Tutorial]
|
[section:intro Overview and Tutorial]
|
||||||
|
|
||||||
The header `<boost/static_assert.hpp>` supplies a single macro `BOOST_STATIC_ASSERT(x)`,
|
The header `<boost/static_assert.hpp>` supplies a single macro `BOOST_STATIC_ASSERT(x)`,
|
||||||
@ -98,17 +94,12 @@ the user that the template is being misused.
|
|||||||
#include <boost/type_traits.hpp>
|
#include <boost/type_traits.hpp>
|
||||||
|
|
||||||
template <class RandomAccessIterator >
|
template <class RandomAccessIterator >
|
||||||
RandomAccessIterator foo(RandomAccessIterator from,
|
RandomAccessIterator foo(RandomAccessIterator from, RandomAccessIterator to)
|
||||||
RandomAccessIterator to)
|
|
||||||
{
|
{
|
||||||
// this template can only be used with
|
// this template can only be used with
|
||||||
// random access iterators...
|
// random access iterators...
|
||||||
typedef typename std::iterator_traits<
|
typedef typename std::iterator_traits< RandomAccessIterator >::iterator_category cat;
|
||||||
RandomAccessIterator >::iterator_category cat;
|
BOOST_STATIC_ASSERT((boost::is_convertible<cat, const std::random_access_iterator_tag&>::value));
|
||||||
BOOST_STATIC_ASSERT(
|
|
||||||
(boost::is_convertible<
|
|
||||||
cat,
|
|
||||||
const std::random_access_iterator_tag&>::value));
|
|
||||||
//
|
//
|
||||||
// detail goes here...
|
// detail goes here...
|
||||||
return from;
|
return from;
|
||||||
@ -131,7 +122,7 @@ Suppose we have a template-class that requires an unsigned integral type with
|
|||||||
at least 16-bits of precision as a template argument, we can achieve this
|
at least 16-bits of precision as a template argument, we can achieve this
|
||||||
using something like this:
|
using something like this:
|
||||||
|
|
||||||
#include <limits>
|
#include <climits>
|
||||||
#include <boost/static_assert.hpp>
|
#include <boost/static_assert.hpp>
|
||||||
|
|
||||||
template <class UnsignedInt>
|
template <class UnsignedInt>
|
||||||
|
@ -28,16 +28,6 @@
|
|||||||
# define BOOST_SA_GCC_WORKAROUND
|
# define BOOST_SA_GCC_WORKAROUND
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
//
|
|
||||||
// If the compiler issues warnings about old C style casts,
|
|
||||||
// then enable this:
|
|
||||||
//
|
|
||||||
#if defined(__GNUC__) && ((__GNUC__ > 3) || ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4)))
|
|
||||||
# define BOOST_STATIC_ASSERT_BOOL_CAST( x ) ((x) == 0 ? false : true)
|
|
||||||
#else
|
|
||||||
# define BOOST_STATIC_ASSERT_BOOL_CAST(x) (bool)(x)
|
|
||||||
#endif
|
|
||||||
|
|
||||||
#ifdef BOOST_HAS_STATIC_ASSERT
|
#ifdef BOOST_HAS_STATIC_ASSERT
|
||||||
# define BOOST_STATIC_ASSERT( B ) static_assert(B, #B)
|
# define BOOST_STATIC_ASSERT( B ) static_assert(B, #B)
|
||||||
#else
|
#else
|
||||||
@ -88,14 +78,14 @@ template<int x> struct static_assert_test{};
|
|||||||
#elif defined(BOOST_MSVC)
|
#elif defined(BOOST_MSVC)
|
||||||
#define BOOST_STATIC_ASSERT( B ) \
|
#define BOOST_STATIC_ASSERT( B ) \
|
||||||
typedef ::boost::static_assert_test<\
|
typedef ::boost::static_assert_test<\
|
||||||
sizeof(::boost::STATIC_ASSERTION_FAILURE< BOOST_STATIC_ASSERT_BOOL_CAST ( B ) >)>\
|
sizeof(::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >)>\
|
||||||
BOOST_JOIN(boost_static_assert_typedef_, __COUNTER__)
|
BOOST_JOIN(boost_static_assert_typedef_, __COUNTER__)
|
||||||
#elif defined(BOOST_INTEL_CXX_VERSION) || defined(BOOST_SA_GCC_WORKAROUND)
|
#elif defined(BOOST_INTEL_CXX_VERSION) || defined(BOOST_SA_GCC_WORKAROUND)
|
||||||
// agurt 15/sep/02: a special care is needed to force Intel C++ issue an error
|
// agurt 15/sep/02: a special care is needed to force Intel C++ issue an error
|
||||||
// instead of warning in case of failure
|
// instead of warning in case of failure
|
||||||
# define BOOST_STATIC_ASSERT( B ) \
|
# define BOOST_STATIC_ASSERT( B ) \
|
||||||
typedef char BOOST_JOIN(boost_static_assert_typedef_, __LINE__) \
|
typedef char BOOST_JOIN(boost_static_assert_typedef_, __LINE__) \
|
||||||
[ ::boost::STATIC_ASSERTION_FAILURE< BOOST_STATIC_ASSERT_BOOL_CAST( B ) >::value ]
|
[ ::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >::value ]
|
||||||
#elif defined(__sgi)
|
#elif defined(__sgi)
|
||||||
// special version for SGI MIPSpro compiler
|
// special version for SGI MIPSpro compiler
|
||||||
#define BOOST_STATIC_ASSERT( B ) \
|
#define BOOST_STATIC_ASSERT( B ) \
|
||||||
@ -110,12 +100,12 @@ template<int x> struct static_assert_test{};
|
|||||||
#define BOOST_STATIC_ASSERT( B ) \
|
#define BOOST_STATIC_ASSERT( B ) \
|
||||||
BOOST_STATIC_CONSTANT(int, \
|
BOOST_STATIC_CONSTANT(int, \
|
||||||
BOOST_JOIN(boost_static_assert_test_, __LINE__) = \
|
BOOST_JOIN(boost_static_assert_test_, __LINE__) = \
|
||||||
sizeof(::boost::STATIC_ASSERTION_FAILURE< BOOST_STATIC_ASSERT_BOOL_CAST( B ) >) )
|
sizeof(::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >) )
|
||||||
#else
|
#else
|
||||||
// generic version
|
// generic version
|
||||||
#define BOOST_STATIC_ASSERT( B ) \
|
#define BOOST_STATIC_ASSERT( B ) \
|
||||||
typedef ::boost::static_assert_test<\
|
typedef ::boost::static_assert_test<\
|
||||||
sizeof(::boost::STATIC_ASSERTION_FAILURE< BOOST_STATIC_ASSERT_BOOL_CAST( B ) >)>\
|
sizeof(::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >)>\
|
||||||
BOOST_JOIN(boost_static_assert_typedef_, __LINE__)
|
BOOST_JOIN(boost_static_assert_typedef_, __LINE__)
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
@ -12,7 +12,7 @@
|
|||||||
#include <boost/type_traits.hpp>
|
#include <boost/type_traits.hpp>
|
||||||
|
|
||||||
template <class RandomAccessIterator >
|
template <class RandomAccessIterator >
|
||||||
RandomAccessIterator foo(RandomAccessIterator from, RandomAccessIterator /*to*/)
|
RandomAccessIterator foo(RandomAccessIterator from, RandomAccessIterator to)
|
||||||
{
|
{
|
||||||
// this template can only be used with
|
// this template can only be used with
|
||||||
// random access iterators...
|
// random access iterators...
|
||||||
|
@ -5,7 +5,7 @@
|
|||||||
|
|
||||||
// See http://www.boost.org for most recent version including documentation.
|
// See http://www.boost.org for most recent version including documentation.
|
||||||
|
|
||||||
#include <limits>
|
#include <climits>
|
||||||
#include <boost/limits.hpp>
|
#include <boost/limits.hpp>
|
||||||
#include <boost/static_assert.hpp>
|
#include <boost/static_assert.hpp>
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user