mirror of
https://github.com/boostorg/static_assert.git
synced 2025-06-28 21:41:09 +02:00
Compare commits
6 Commits
boost-1.25
...
svn-branch
Author | SHA1 | Date | |
---|---|---|---|
46b4482b2f | |||
9d3c2ed75f | |||
38b5799e33 | |||
22bb032a79 | |||
f2725b11af | |||
3ab5f7708e |
8
Jamfile
8
Jamfile
@ -2,15 +2,15 @@ subproject libs/static_assert ;
|
|||||||
|
|
||||||
|
|
||||||
unit-test static_assert_test : static_assert_test.cpp
|
unit-test static_assert_test : static_assert_test.cpp
|
||||||
: <include>$(BOOST_ROOT) : ;
|
: <sysinclude>$(BOOST_ROOT) : ;
|
||||||
|
|
||||||
unit-test static_assert_example_1 : static_assert_example_1.cpp
|
unit-test static_assert_example_1 : static_assert_example_1.cpp
|
||||||
: <include>$(BOOST_ROOT) : ;
|
: <sysinclude>$(BOOST_ROOT) : ;
|
||||||
|
|
||||||
unit-test static_assert_example_2 : static_assert_example_2.cpp
|
unit-test static_assert_example_2 : static_assert_example_2.cpp
|
||||||
: <include>$(BOOST_ROOT) : ;
|
: <sysinclude>$(BOOST_ROOT) : ;
|
||||||
|
|
||||||
unit-test static_assert_example_3 : static_assert_example_3.cpp
|
unit-test static_assert_example_3 : static_assert_example_3.cpp
|
||||||
: <include>$(BOOST_ROOT) : ;
|
: <sysinclude>$(BOOST_ROOT) : ;
|
||||||
|
|
||||||
|
|
||||||
|
@ -8,8 +8,8 @@
|
|||||||
|
|
||||||
/*
|
/*
|
||||||
Revision history:
|
Revision history:
|
||||||
02 August 2000
|
02 August 2000
|
||||||
Initial version.
|
Initial version.
|
||||||
*/
|
*/
|
||||||
|
|
||||||
#ifndef BOOST_STATIC_ASSERT_HPP
|
#ifndef BOOST_STATIC_ASSERT_HPP
|
||||||
|
@ -131,7 +131,7 @@ argument, we can achieve this using something like this:</p>
|
|||||||
<pre>#include <climits>
|
<pre>#include <climits>
|
||||||
#include <boost/static_assert.hpp>
|
#include <boost/static_assert.hpp>
|
||||||
|
|
||||||
Template <class UnsignedInt>template <class UnsignedInt>
|
template <class UnsignedInt>
|
||||||
class myclass
|
class myclass
|
||||||
{
|
{
|
||||||
private:
|
private:
|
||||||
|
@ -26,11 +26,11 @@ RandomAccessIterator foo(RandomAccessIterator from, RandomAccessIterator to)
|
|||||||
|
|
||||||
int main()
|
int main()
|
||||||
{
|
{
|
||||||
std::deque<int> d;
|
std::deque<int> d;
|
||||||
std::list<int> l;
|
std::list<int> l;
|
||||||
foo(d.begin(), d.end()); // OK
|
foo(d.begin(), d.end()); // OK
|
||||||
//foo(l.begin(), l.end()); // error
|
//foo(l.begin(), l.end()); // error
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@ -23,7 +23,7 @@ struct Bob
|
|||||||
char c;
|
char c;
|
||||||
int f()
|
int f()
|
||||||
{
|
{
|
||||||
#ifndef BOOST_MSVC // broken sizeof in VC6
|
#if !defined(BOOST_MSVC) || BOOST_MSVC > 1200 // broken sizeof in VC6
|
||||||
BOOST_STATIC_ASSERT(sizeof(x) == 4);
|
BOOST_STATIC_ASSERT(sizeof(x) == 4);
|
||||||
BOOST_STATIC_ASSERT(sizeof(c) == 1);
|
BOOST_STATIC_ASSERT(sizeof(c) == 1);
|
||||||
BOOST_STATIC_ASSERT((sizeof(x) == sizeof(c))); // should not compile
|
BOOST_STATIC_ASSERT((sizeof(x) == sizeof(c))); // should not compile
|
||||||
|
@ -12,12 +12,12 @@
|
|||||||
#include <boost/static_assert.hpp>
|
#include <boost/static_assert.hpp>
|
||||||
#include <boost/type_traits.hpp>
|
#include <boost/type_traits.hpp>
|
||||||
|
|
||||||
template <class RandonAccessIterator >
|
template <class RandomAccessIterator >
|
||||||
RandonAccessIterator foo(RandonAccessIterator from, RandonAccessIterator)
|
RandomAccessIterator foo(RandomAccessIterator from, RandomAccessIterator)
|
||||||
{
|
{
|
||||||
// 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< RandonAccessIterator >::iterator_category cat;
|
typedef typename std::iterator_traits< RandomAccessIterator >::iterator_category cat;
|
||||||
BOOST_STATIC_ASSERT((boost::is_convertible<cat*, std::random_access_iterator_tag*>::value));
|
BOOST_STATIC_ASSERT((boost::is_convertible<cat*, std::random_access_iterator_tag*>::value));
|
||||||
//
|
//
|
||||||
// detail goes here...
|
// detail goes here...
|
||||||
@ -26,11 +26,11 @@ RandonAccessIterator foo(RandonAccessIterator from, RandonAccessIterator)
|
|||||||
|
|
||||||
int main()
|
int main()
|
||||||
{
|
{
|
||||||
std::deque<int> d;
|
std::deque<int> d;
|
||||||
std::list<int> l;
|
std::list<int> l;
|
||||||
foo(d.begin(), d.end()); // OK
|
foo(d.begin(), d.end()); // OK
|
||||||
foo(l.begin(), l.end()); // error
|
foo(l.begin(), l.end()); // error
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user