boostorg/static_assert
1
0
Fork 1
mirror of https://github.com/boostorg/static_assert.git synced 2025-07-24 17:57:21 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge minor change from Trunk.

Browse Source 
[SVN r43358]
This commit is contained in:
John Maddock
2008-02-21 16:51:41 +00:00
parent 3b702727b9
commit 481c2efbac
1 changed files with 12 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
doc/static_assert.qbk
View File

@ -15,6 +15,10 @@
[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)`,
@ -94,12 +98,17 @@ 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 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...
typedef typename std::iterator_traits< RandomAccessIterator >::iterator_category cat; typedef typename std::iterator_traits<
BOOST_STATIC_ASSERT((boost::is_convertible<cat, const std::random_access_iterator_tag&>::value)); RandomAccessIterator >::iterator_category cat;
BOOST_STATIC_ASSERT(
(boost::is_convertible<
cat,
const std::random_access_iterator_tag&>::value));
// //
// detail goes here... // detail goes here...
return from; return from;