This commit was manufactured by cvs2svn to create branch 'RC_1_32_0'.

[SVN r25797]

Jamfile

@@ -0,0 +1,25 @@
+# copyright John Maddock 2003
+
+subproject libs/static_assert ;
+# bring in the rules for testing
+import testing ;
+
+test-suite static_assert :
+   [ run static_assert_test.cpp ]
+#  [ run static_assert_example_1.cpp ]
+   [ run static_assert_example_2.cpp ]
+   [ run static_assert_example_3.cpp ]
+   [ compile-fail static_assert_test_fail_1.cpp ]
+   [ compile-fail static_assert_test_fail_2.cpp ]
+   [ compile-fail static_assert_test_fail_3.cpp ]
+   [ compile-fail static_assert_test_fail_4.cpp ]
+   [ compile-fail static_assert_test_fail_5.cpp ]
+   [ compile-fail static_assert_test_fail_6.cpp ]
+   [ compile-fail static_assert_test_fail_7.cpp ]
+   [ compile-fail static_assert_test_fail_8.cpp ]
+;
+
+
+
+
+

Jamfile.v2

@@ -0,0 +1,24 @@
+# copyright John Maddock 2003
+
+# bring in the rules for testing
+import testing ;
+
+test-suite static_assert :
+	[ run static_assert_test.cpp ]
+#	[ run static_assert_example_1.cpp ]
+	[ run static_assert_example_2.cpp ]
+	[ run static_assert_example_3.cpp ]
+	[ compile-fail static_assert_test_fail_1.cpp ]
+	[ compile-fail static_assert_test_fail_2.cpp ]
+	[ compile-fail static_assert_test_fail_3.cpp ]
+	[ compile-fail static_assert_test_fail_4.cpp ]
+	[ compile-fail static_assert_test_fail_5.cpp ]
+	[ compile-fail static_assert_test_fail_6.cpp ]
+	[ compile-fail static_assert_test_fail_7.cpp ]
+	[ compile-fail static_assert_test_fail_8.cpp ]
+;
+
+
+
+
+

include/boost/static_assert.hpp

@@ -1,21 +1,21 @@
 //  (C) Copyright John Maddock 2000.
-//  Permission to copy, use, modify, sell and
-//  distribute this software is granted provided this copyright notice appears
-//  in all copies. This software is provided "as is" without express or implied
-//  warranty, and with no claim as to its suitability for any purpose.
+//  Use, modification and distribution are subject to 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)
 
-//  See http://www.boost.org for most recent version including documentation.
+//  See http://www.boost.org/libs/static_assert for documentation.
 
 /*
  Revision history:
- 	02 August 2000
- 		Initial version.
+   02 August 2000
+      Initial version.
 */
 
 #ifndef BOOST_STATIC_ASSERT_HPP
 #define BOOST_STATIC_ASSERT_HPP
 
 #include <boost/config.hpp>
+#include <boost/detail/workaround.hpp>
 
 #ifdef __BORLANDC__
 //
@@ -23,13 +23,20 @@
 #define BOOST_BUGGY_INTEGRAL_CONSTANT_EXPRESSIONS
 #endif
 
+#if defined(__GNUC__) && (__GNUC__ == 3) && ((__GNUC_MINOR__ == 3) || (__GNUC_MINOR__ == 4))
+// gcc 3.3 and 3.4 don't produce good error messages with the default version:
+#  define BOOST_SA_GCC_WORKAROUND
+#endif
+
 namespace boost{
 
-template <bool> struct STATIC_ASSERTION_FAILURE;
+// HP aCC cannot deal with missing names for template value parameters
+template <bool x> struct STATIC_ASSERTION_FAILURE;
 
-template <> struct STATIC_ASSERTION_FAILURE<true>{};
+template <> struct STATIC_ASSERTION_FAILURE<true> { enum { value = 1 }; };
 
-template<int> struct static_assert_test{};
+// HP aCC cannot deal with missing names for template value parameters
+template<int x> struct static_assert_test{};
 
 }
 
@@ -51,39 +58,56 @@ template<int> struct static_assert_test{};
 // an eye catching error message.  The result of the sizeof expression is either
 // used as an enum initialiser, or as a template argument depending which version
 // is in use...
+// Note that the argument to the assert is explicitly cast to bool using old-
+// style casts: too many compilers currently have problems with static_cast
+// when used inside integral constant expressions.
 //
-#if !defined(BOOST_BUGGY_INTEGRAL_CONSTANT_EXPRESSIONS) && !defined(__MWERKS__)
-#ifndef BOOST_MSVC
-#define BOOST_STATIC_ASSERT( B ) \
-   typedef ::boost::static_assert_test<\
-      sizeof(::boost::STATIC_ASSERTION_FAILURE< ( B ) >)>\
-         BOOST_ASSERT_JOIN(boost_static_assert_typedef_, __LINE__)
-#else
+#if !defined(BOOST_BUGGY_INTEGRAL_CONSTANT_EXPRESSIONS) && \
+    !BOOST_WORKAROUND(__MWERKS__, < 0x3003)
+
+#if defined(BOOST_MSVC) && (BOOST_MSVC < 1300)
 // __LINE__ macro broken when -ZI is used see Q199057
 // fortunately MSVC ignores duplicate typedef's.
 #define BOOST_STATIC_ASSERT( B ) \
    typedef ::boost::static_assert_test<\
-      sizeof(::boost::STATIC_ASSERTION_FAILURE< ( B ) >)\
+      sizeof(::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >)\
       > boost_static_assert_typedef_
+#elif defined(BOOST_MSVC)
+#define BOOST_STATIC_ASSERT( B ) \
+   typedef ::boost::static_assert_test<\
+      sizeof(::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >)>\
+         BOOST_JOIN(boost_static_assert_typedef_, __COUNTER__)
+#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 
+// instead of warning in case of failure
+# define BOOST_STATIC_ASSERT( B ) \
+    typedef char BOOST_JOIN(boost_static_assert_typedef_, __LINE__) \
+        [ ::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >::value ]
+#elif defined(__sgi)
+// special version for SGI MIPSpro compiler
+#define BOOST_STATIC_ASSERT( B ) \
+   BOOST_STATIC_CONSTANT(bool, \
+     BOOST_JOIN(boost_static_assert_test_, __LINE__) = ( B )); \
+   typedef ::boost::static_assert_test<\
+     sizeof(::boost::STATIC_ASSERTION_FAILURE< \
+       BOOST_JOIN(boost_static_assert_test_, __LINE__) >)>\
+         BOOST_JOIN(boost_static_assert_typedef_, __LINE__)
+#else
+// generic version
+#define BOOST_STATIC_ASSERT( B ) \
+   typedef ::boost::static_assert_test<\
+      sizeof(::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >)>\
+         BOOST_JOIN(boost_static_assert_typedef_, __LINE__)
 #endif
+
 #else
 // alternative enum based implementation:
 #define BOOST_STATIC_ASSERT( B ) \
-   enum { BOOST_ASSERT_JOIN(boost_static_assert_enum_, __LINE__) \
-      = sizeof(::boost::STATIC_ASSERTION_FAILURE< ( B ) >) }
+   enum { BOOST_JOIN(boost_static_assert_enum_, __LINE__) \
+      = sizeof(::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >) }
 #endif
 
-//
-// The following piece of macro magic joins the two 
-// arguments together, even when one of the arguments is
-// itself a macro (see 16.3.1 in C++ standard).  The key
-// is that macro expantion of macro arguments does not
-// occur in BOOST_DO_ASSERT_JOIN but does in BOOST_ASSERT_JOIN
-// provided it is called from within another macro.
-#define BOOST_ASSERT_JOIN( X, Y ) BOOST_DO_ASSERT_JOIN( X, Y )
-#define BOOST_DO_ASSERT_JOIN( X, Y ) X##Y
 
 #endif // BOOST_STATIC_ASSERT_HPP
 
 
-

index.html

@@ -0,0 +1,9 @@
+<html>
+<head>
+<meta http-equiv="refresh" content="0; URL=static_assert.htm">
+</head>
+<body>
+Automatic redirection failed, please go to
+<a href="static_assert.htm">static_assert.htm</a>.
+</body>
+</html>

static_assert.htm

@@ -0,0 +1,244 @@
+<html>
+   <head>
+      <title>static assertions</title>
+      <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
+      <meta name="Template" content="C:\PROGRAM FILES\MICROSOFT OFFICE\OFFICE\html.dot">
+      <meta name="GENERATOR" content="Microsoft FrontPage Express 2.0">
+   </head>
+   <body bgcolor="#ffffff" text="#000000" link="#0000ff" vlink="#800080">
+      <h1><img src="../../boost.png" width="276" height="86">Header &lt;<a href="../../boost/static_assert.hpp">boost/static_assert.hpp</a>&gt;</h1>
+      <H3>Contents</H3>
+      <dl class="index">
+         <dt><a href="#overview">Overview</a> <dt><a href="#namespace">Use at namespace scope</a>
+               <dt><a href="#function">Use at function scope</a> <dt><a href="#class">Use at class 
+                        scope</a> <dt><a href="#templates">Use in templates</a> <dt><a href="#how">How it 
+                              works</a> <dt><a href="#test">Test programs</a></dt>
+      </dl>
+      <H3><A name="overview"></A>Overview</H3>
+      <P>The header &lt;boost/static_assert.hpp&gt; supplies a single macro 
+         BOOST_STATIC_ASSERT(x), which generates a compile time error message if the <a href="../../more/int_const_guidelines.htm">
+            integral-constant-expression</a> <i>x</i> is not true. In other words it is 
+         the compile time equivalent of the assert macro; this is sometimes known as a 
+         "compile-time-assertion", but will be called a "static assertion" throughout 
+         these docs. Note that if the condition is true, then the macro will generate 
+         neither code nor data - and the macro can also be used at either namespace, 
+         class or function scope. When used in a template, the static assertion will be 
+         evaluated at the time the template is instantiated; this is particularly useful 
+         for validating template parameters.
+      </P>
+      <p>One of the aims of BOOST_STATIC_ASSERT is to generate readable error messages. 
+         These immediately tell the user that a library is being used in a manner that 
+         is not supported. While error messages obviously differ from compiler to 
+         compiler, but you should see something like:
+      </p>
+      <pre>Illegal use of STATIC_ASSERTION_FAILURE&lt;false&gt;</pre>
+      <p>Which is intended to at least catch the eye!</p>
+      <p>You can use BOOST_STATIC_ASSERT at any place where you can place a declaration, 
+         that is at <a href="#class">class</a>, <a href="#function">function</a> or <a href="#namespace">
+            namespace</a> scope, this is illustrated by the following examples:</p>
+      <h3><a name="namespace"></a><A name="namespace"></A>Use at namespace scope.</h3>
+      <p>The macro can be used at namespace scope, if there is some requirement must 
+         always be true; generally this means some platform specific requirement. 
+         Suppose we require that <b>int</b> be at least a 32-bit integral type, and that <b>
+            wchar_t</b> be an unsigned type. We can verify this at compile time as 
+         follows:</p>
+      <pre>#include &lt;climits&gt;
+#include &lt;cwchar&gt;
+#include &lt;boost/static_assert.hpp&gt;
+
+namespace my_conditions {
+
+BOOST_STATIC_ASSERT(sizeof(int) * CHAR_BIT &gt;= 32);
+BOOST_STATIC_ASSERT(WCHAR_MIN &gt;= 0);
+
+} // namespace my_conditions
+</pre>
+      <p>The use of the namespace <i>my_conditions</i> here requires some comment. The 
+         macro BOOST_STATIC_ASSERT works by generating an <strong>typedef</strong> declaration, 
+         and since the typedef must have a name, the macro generates one automatically 
+         by mangling a stub name with the value of __LINE__. When BOOST_STATIC_ASSERT is 
+         used at either class or function scope then each use of BOOST_STATIC_ASSERT is 
+         guaranteed to produce a name unique to that scope (provided you only use the 
+         macro once on each line). However when used in a header at namespace scope, 
+         that namespace can be continued over multiple headers, each of which may have 
+         their own static assertions, and on the "same" lines, thereby generating 
+         duplicate declarations. In theory the compiler should silently ignore duplicate 
+         typedef declarations, however many do not do so (and even if they do they are 
+         entitled to emit warnings in such cases). To avoid potential problems, if you 
+         use BOOST_STATIC_ASSERT in a header and at namespace scope, then enclose them 
+         in a namespace unique to that header.</p>
+      <h3><a name="function"></a><A name="function"></A>Use at function scope</h3>
+      <p>The macro is typically used at function scope inside template functions, when 
+         the template arguments need checking. Imagine that we have an iterator-based 
+         algorithm that requires random access iterators. If the algorithm is 
+         instantiated with iterators that do not meet our requirements then an error 
+         will be generated eventually, but this may be nested deep inside several 
+         templates, making it hard for the user to determine what went wrong. One option 
+         is to add a static assertion at the top level of the template, in that case if 
+         the condition is not met, then an error will be generated in a way that makes 
+         it reasonably obvious to the user that the template is being misused.</p>
+      <pre>#include &lt;iterator&gt;
+#include &lt;boost/static_assert.hpp&gt;
+#include &lt;boost/type_traits.hpp&gt;
+
+template &lt;class RandomAccessIterator &gt;
+RandomAccessIterator foo(RandomAccessIterator from, RandomAccessIterator to)
+{
+   // this template can only be used with
+   // random access iterators...
+   typedef typename std::iterator_traits&lt; RandomAccessIterator &gt;::iterator_category cat;
+   BOOST_STATIC_ASSERT((boost::is_convertible&lt;cat, const std::random_access_iterator_tag&amp;&gt;::value));
+   //
+   // detail goes here...
+   return from;
+}</pre>
+      <p>A couple of footnotes are in order here: the extra set of parenthesis around 
+         the assert, is to prevent the comma inside the is_convertible template being 
+         interpreted by the preprocessor as a macro argument separator; the target type 
+         for is_convertible is a reference type, as some compilers have problems using 
+         is_convertible when the conversion is via a user defined constructor (in any 
+         case there is no guarantee that the iterator tag classes are 
+         copy-constructible).</p>
+      <h3><a name="class"></a><A name="class"></A>Use at class scope</h3>
+      <p>The macro is typically used inside classes that are templates. 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 using something like 
+         this:</p>
+      <pre>#include &lt;climits&gt;
+#include &lt;boost/static_assert.hpp&gt;
+
+template &lt;class UnsignedInt&gt;
+class myclass
+{
+private:
+   BOOST_STATIC_ASSERT(sizeof(UnsignedInt) * CHAR_BIT &gt;= 16);
+   BOOST_STATIC_ASSERT(std::numeric_limits&lt;UnsignedInt&gt;::is_specialized
+                        &amp;&amp; std::numeric_limits&lt;UnsignedInt&gt;::is_integer
+                        &amp;&amp; !std::numeric_limits&lt;UnsignedInt&gt;::is_signed);
+public:
+   /* details here */
+};
+</pre>
+      <h3><A name="templates"></A>Use in templates</h3>
+      <P>Normally static assertions when used inside a class or function template, will 
+         not be instantiated until the template in which it is used is 
+         instantiated.&nbsp; However, there is one potential problem to watch out for: 
+         if the static assertion is <EM>not</EM> dependent upon&nbsp;one or 
+         more&nbsp;template parameters, then the compiler is permitted to evaluate the 
+         static assertion at the point it is first seen, irrespective of whether the 
+         template is ever instantiated, for example:</P>
+      <PRE>template &lt;class T&gt;<BR>struct must_not_be_instantiated<BR>{<BR>   BOOST_STATIC_ASSERT(false);<BR><BR><BR><BR>};</PRE>
+      <P>Will produce a compiler error with some compilers (for example Intel 8.1 or gcc 
+         3.4), regardless of whether the template is ever instantiated.&nbsp; A 
+         workaround in cases like this is to force the assertion to be dependent upon a 
+         template parameter:</P>
+      <PRE>template &lt;class T&gt;<BR>struct must_not_be_instantiated<BR>{<BR>   BOOST_STATIC_ASSERT(sizeof(T) == 0); // will be triggered if this type is instantiated<BR><BR><BR><BR>};</PRE>
+      <H3><A name="how"></A>How it works</H3>
+      <p>BOOST_STATIC_ASSERT works as follows. There is class STATIC_ASSERTION_FAILURE 
+         which is defined as:</p>
+      <pre>namespace boost{
+
+template &lt;bool&gt; struct STATIC_ASSERTION_FAILURE;
+
+template &lt;&gt; struct STATIC_ASSERTION_FAILURE&lt;true&gt;{};
+
+}</pre>
+      <p>The key feature is that the error message triggered by the undefined expression 
+         sizeof(STATIC_ASSERTION_FAILURE&lt;0&gt;), tends to be consistent across a wide 
+         variety of compilers. The rest of the machinery of BOOST_STATIC_ASSERT is just 
+         a way to feed the sizeof expression into a typedef. The use of a macro here is 
+         somewhat ugly; however boost members have spent considerable effort trying to 
+         invent a static assert that avoided macros, all to no avail. The general 
+         conclusion was that the good of a static assert working at namespace, function, 
+         and class scope outweighed the ugliness of a macro.</p>
+      <h3><A name="test"></A>Test Programs</h3>
+      <p>The following test programs are provided with this library:</p>
+      <table border="0" width="100%">
+         <tr>
+            <td width="33%"><i>Test Program</i></td>
+            <td width="33%"><i>Expected to Compile</i></td>
+            <td width="34%"><i>Description</i></td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_test.cpp">static_assert_test.cpp</a></td>
+            <td width="33%">Yes</td>
+            <td width="34%">Illustrates usage, and should always compile, really just tests 
+               compiler compatibility.</td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_example_1.cpp">static_assert_example_1.cpp</a></td>
+            <td width="33%">Platform dependent.</td>
+            <td width="34%">Namespace scope test program, may compile depending upon the 
+               platform.</td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_example_2.cpp">static_assert_example_2.cpp</a></td>
+            <td width="33%">Yes</td>
+            <td width="34%">Function scope test program.</td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_example_3.cpp">static_assert_example_3.cpp</a></td>
+            <td width="33%">Yes</td>
+            <td width="34%">Class scope test program.</td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_test_fail_1.cpp">static_assert_test_fail_1.cpp</a></td>
+            <td width="33%">No</td>
+            <td width="34%">Illustrates failure at namespace scope.</td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_test_fail_2.cpp">static_assert_test_fail_2.cpp</a></td>
+            <td width="33%">No</td>
+            <td width="34%">Illustrates failure at non-template function scope.</td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_test_fail_3.cpp">static_assert_test_fail_3.cpp</a></td>
+            <td width="33%">No</td>
+            <td width="34%">Illustrates failure at non-template class scope.</td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_test_fail_4.cpp">static_assert_test_fail_4.cpp</a></td>
+            <td width="33%">No</td>
+            <td width="34%">Illustrates failure at non-template class scope.</td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_test_fail_5.cpp">static_assert_test_fail_5.cpp</a></td>
+            <td width="33%">No</td>
+            <td width="34%">Illustrates failure at template class scope.</td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_test_fail_6.cpp">static_assert_test_fail_6.cpp</a></td>
+            <td width="33%">No</td>
+            <td width="34%">Illustrates failure at template class member function scope.</td>
+         </tr>
+         <tr>
+            <td width="33%"><a href="static_assert_test_fail_7.cpp">static_assert_test_fail_7.cpp</a></td>
+            <td width="33%">No</td>
+            <td width="34%">Illustrates failure of class scope example.</td>
+         </tr>
+         <tr>
+            <td><a href="static_assert_test_fail_8.cpp">static_assert_test_fail_8.cpp</a></td>
+            <td>No</td>
+            <td>Illustrates failure of function scope example.</td>
+         </tr>
+         <tr>
+            <td><a href="static_assert_test_fail_9.cpp">static_assert_test_fail_9.cpp</a></td>
+            <td>No</td>
+            <td>Illustrates failure of function scope example (part 2).</td>
+         </tr>
+      </table>
+      <hr>
+      <p>Revised 27th Nov 2000</p>
+      <p>Documentation <20> Copyright John Maddock 2000. Permission to copy, use, modify, 
+         sell and distribute this document is granted provided this copyright notice 
+         appears in all copies. This document is provided "as is" without express or 
+         implied warranty, and with no claim as to its suitability for any purpose.</p>
+      <p>Based on contributions by Steve Cleary and John Maddock.</p>
+      <p>Maintained by <a href="mailto:john@johnmaddock.co.uk">John Maddock</a>, the 
+         latest version of this file can be found at <a href="http://www.boost.org/">www.boost.org</a>, 
+         and the boost discussion list at <a href="http://www.yahoogroups.com/list/boost">www.yahoogroups.com/list/boost</a>.
+      </p>
+      <p>&nbsp;</p>
+      <p>&nbsp;</p>
+   </body>
+</html>

static_assert_example_1.cpp

@@ -0,0 +1,32 @@
+//  (C) Copyright Steve Cleary & John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <climits>
+#include <cwchar>
+#include <boost/static_assert.hpp>
+
+#if !defined(WCHAR_MIN)
+#define WCHAR_MIN 0
+#endif
+
+namespace boost{
+
+namespace my_conditions {
+BOOST_STATIC_ASSERT(sizeof(int) * CHAR_BIT >= 32);
+BOOST_STATIC_ASSERT(WCHAR_MIN >= 0);
+
+} // namespace my_conditions
+
+} // namespace boost
+
+int main()
+{
+   return 0;
+}
+
+
+

static_assert_example_2.cpp

@@ -0,0 +1,40 @@
+//  (C) Copyright John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <iterator>
+#include <list>
+#include <deque>
+#include <boost/static_assert.hpp>
+#include <boost/type_traits.hpp>
+
+template <class RandomAccessIterator >
+RandomAccessIterator foo(RandomAccessIterator from, RandomAccessIterator to)
+{
+   // this template can only be used with
+   // random access iterators...
+   typedef typename std::iterator_traits< RandomAccessIterator >::iterator_category cat;
+   BOOST_STATIC_ASSERT((boost::is_convertible<cat, const std::random_access_iterator_tag&>::value));
+   //
+   // detail goes here...
+   return from;
+}
+
+int main()
+{
+   std::deque<int> d;
+   std::list<int> l;
+   foo(d.begin(), d.end()); // OK
+   //foo(l.begin(), l.end()); // error
+   return 0;
+}
+
+
+
+
+
+
+

static_assert_example_3.cpp

@@ -0,0 +1,32 @@
+//  (C) Copyright John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <climits>
+#include <boost/limits.hpp>
+#include <boost/static_assert.hpp>
+
+template <class UnsignedInt>
+class myclass
+{
+private:
+   BOOST_STATIC_ASSERT(sizeof(UnsignedInt) * CHAR_BIT >= 16);
+   BOOST_STATIC_ASSERT(std::numeric_limits<UnsignedInt>::is_specialized
+                        && std::numeric_limits<UnsignedInt>::is_integer
+                        && !std::numeric_limits<UnsignedInt>::is_signed);
+public:
+   /* details here */
+};
+
+myclass<unsigned>      m1; // this should be OK
+//myclass<int>           m2; // this should fail
+//myclass<unsigned char> m3; // and so should this
+
+int main()
+{
+   return 0;
+}
+

static_assert_test.cpp

@@ -0,0 +1,86 @@
+//  (C) Copyright Steve Cleary & John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <boost/static_assert.hpp>
+
+//
+// all these tests should succeed.
+// some of these tests are rather simplistic (ie useless)
+// in order to ensure that they compile on all platforms.
+//
+
+// Namespace scope
+BOOST_STATIC_ASSERT(sizeof(int) >= sizeof(short));
+BOOST_STATIC_ASSERT(sizeof(char) == 1);
+
+// Function (block) scope
+void f()
+{
+  BOOST_STATIC_ASSERT(sizeof(int) >= sizeof(short));
+  BOOST_STATIC_ASSERT(sizeof(char) == 1);
+}
+
+struct Bob
+{
+  private:  // can be in private, to avoid namespace pollution
+    BOOST_STATIC_ASSERT(sizeof(int) >= sizeof(short));
+    BOOST_STATIC_ASSERT(sizeof(char) == 1);
+  public:
+
+  // Member function scope: provides access to member variables
+  int x;
+  char c;
+  int f()
+  {
+#ifndef _MSC_VER // broken sizeof in VC6
+    BOOST_STATIC_ASSERT(sizeof(x) >= sizeof(short));
+    BOOST_STATIC_ASSERT(sizeof(c) == 1);
+#endif
+    return x;
+  }
+};
+
+
+
+// Template class scope
+template <class Int, class Char>
+struct Bill
+{
+  private:  // can be in private, to avoid namespace pollution
+    BOOST_STATIC_ASSERT(sizeof(Int) > sizeof(char));
+  public:
+
+  // Template member function scope: provides access to member variables
+  Int x;
+  Char c;
+  template <class Int2, class Char2>
+  void f(Int2 , Char2 )
+  {
+    BOOST_STATIC_ASSERT(sizeof(Int) == sizeof(Int2));
+    BOOST_STATIC_ASSERT(sizeof(Char) == sizeof(Char2));
+  }
+};
+
+void test_Bill() // BOOST_CT_ASSERTs are not triggerred until instantiated
+{
+  Bill<int, char> z;
+  //Bill<int, int> bad; // will not compile
+  int i = 3;
+  char ch = 'a';
+  z.f(i, ch);
+  //z.f(i, i); // should not compile
+}
+
+int main()
+{ 
+   test_Bill();
+   return 0; 
+}
+
+
+
+

static_assert_test_fail_1.cpp

@@ -0,0 +1,23 @@
+//  (C) Copyright Steve Cleary & John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <boost/static_assert.hpp>
+
+//
+// all these tests should fail:
+//
+typedef char a1[2];
+typedef char a2[3];
+
+// Namespace scope
+BOOST_STATIC_ASSERT(sizeof(a1) == sizeof(a2)); // will not compile
+
+
+
+
+
+

static_assert_test_fail_2.cpp

@@ -0,0 +1,25 @@
+//  (C) Copyright Steve Cleary & John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <boost/static_assert.hpp>
+
+//
+// all these tests should fail:
+//
+typedef char a1[2];
+typedef char a2[3];
+
+// Function (block) scope
+void f()
+{
+  BOOST_STATIC_ASSERT(sizeof(a1) == sizeof(a2)); // should not compile
+}
+
+
+
+
+

static_assert_test_fail_3.cpp

@@ -0,0 +1,39 @@
+//  (C) Copyright Steve Cleary & John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <boost/static_assert.hpp>
+
+//
+// this tests should fail:
+//
+typedef char a1[2];
+typedef char a2[3];
+
+struct Bob
+{
+  private:  // can be in private, to avoid namespace pollution
+    BOOST_STATIC_ASSERT(sizeof(a1) == sizeof(a2)); // will not compile
+  public:
+
+  // Member function scope: provides access to member variables
+  int x;
+  char c;
+  int f()
+  {
+#ifndef _MSC_VER // broken sizeof in VC6
+    BOOST_STATIC_ASSERT(sizeof(x) == 4);
+    BOOST_STATIC_ASSERT(sizeof(c) == 1);
+#endif
+    return x;
+  }
+};
+
+
+
+
+
+

static_assert_test_fail_4.cpp

@@ -0,0 +1,38 @@
+//  (C) Copyright Steve Cleary & John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <boost/config.hpp>
+#include <boost/static_assert.hpp>
+
+//
+// all these tests should fail:
+//
+
+
+struct Bob
+{
+  public:
+
+  // Member function scope: provides access to member variables
+  char x[4];
+  char c;
+  int f()
+  {
+#if !defined(BOOST_MSVC) || BOOST_MSVC > 1200 // broken sizeof in VC6
+    BOOST_STATIC_ASSERT(sizeof(x) == 4);
+    BOOST_STATIC_ASSERT(sizeof(c) == 1);
+    BOOST_STATIC_ASSERT((sizeof(x) == sizeof(c))); // should not compile
+#endif
+    return x;
+  }
+};
+
+
+
+
+
+

static_assert_test_fail_5.cpp

@@ -0,0 +1,39 @@
+//  (C) Copyright Steve Cleary & John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <boost/static_assert.hpp>
+
+//
+// all these tests should fail:
+//
+
+// Template class scope
+template <class Int, class Char>
+struct Bill
+{
+  private:  // can be in private, to avoid namespace pollution
+    BOOST_STATIC_ASSERT(sizeof(Int) == 4);
+    BOOST_STATIC_ASSERT(sizeof(Int) == sizeof(Char)); // should not compile when instantiated
+  public:
+
+  // Template member function scope: provides access to member variables
+  Int x;
+  Char c;
+  template <class Int2, class Char2>
+  void f(Int2 , Char2 )
+  {
+    BOOST_STATIC_ASSERT(sizeof(Int) == sizeof(Int2));
+    BOOST_STATIC_ASSERT(sizeof(Char) == sizeof(Char2));
+    //BOOST_STATIC_ASSERT(sizeof(Int) == sizeof(Char)); // should not compile when instantiated
+  }
+};
+
+Bill<int, char> b;
+
+
+
+

static_assert_test_fail_6.cpp

@@ -0,0 +1,46 @@
+//  (C) Copyright Steve Cleary & John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <boost/static_assert.hpp>
+
+//
+// all these tests should fail:
+//
+
+// Template class scope
+template <class Int, class Char>
+struct Bill
+{
+  private:  // can be in private, to avoid namespace pollution
+    BOOST_STATIC_ASSERT(sizeof(Int) == 4);
+    //BOOST_STATIC_ASSERT(sizeof(Int) == sizeof(Char)); // should not compile when instantiated
+  public:
+
+  // Template member function scope: provides access to member variables
+  Int x;
+  Char c;
+  template <class Int2, class Char2>
+  void f(Int2 , Char2 )
+  {
+    BOOST_STATIC_ASSERT(sizeof(Int) == sizeof(Int2));
+    BOOST_STATIC_ASSERT(sizeof(Char) == sizeof(Char2));
+    BOOST_STATIC_ASSERT(sizeof(Int) == sizeof(Char)); // should not compile when instantiated
+  }
+};
+
+void foo()
+{
+   int i = 0;
+   char c = 0;
+   Bill<int, char> b;
+   // this should fail:
+   b.f(i, c);
+}
+
+
+
+

static_assert_test_fail_7.cpp

@@ -0,0 +1,31 @@
+//  (C) Copyright John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <climits>
+#include <boost/limits.hpp>
+#include <boost/static_assert.hpp>
+
+template <class UnsignedInt>
+class myclass
+{
+private:
+   BOOST_STATIC_ASSERT(sizeof(UnsignedInt) * CHAR_BIT >= 16);
+   BOOST_STATIC_ASSERT(std::numeric_limits<UnsignedInt>::is_specialized
+                        && std::numeric_limits<UnsignedInt>::is_integer
+                        && !std::numeric_limits<UnsignedInt>::is_signed);
+public:
+   /* details here */
+};
+
+myclass<int>           m2; // this should fail
+myclass<unsigned char> m3; // and so should this
+
+int main()
+{
+   return 0;
+}
+

static_assert_test_fail_8.cpp

@@ -1,8 +1,7 @@
 //  (C) Copyright John Maddock 2000.
-//  Permission to copy, use, modify, sell and
-//  distribute this software is granted provided this copyright notice appears
-//  in all copies. This software is provided "as is" without express or implied
-//  warranty, and with no claim as to its suitability for any purpose.
+//  Use, modification and distribution are subject to 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)
 
 //  See http://www.boost.org for most recent version including documentation.
 
@@ -12,27 +11,34 @@
 #include <boost/static_assert.hpp>
 #include <boost/type_traits.hpp>
 
-template <class RandonAccessIterator >
-RandonAccessIterator foo(RandonAccessIterator from, RandonAccessIterator to)
+template <class RandomAccessIterator >
+RandomAccessIterator foo(RandomAccessIterator from, RandomAccessIterator)
 {
    // this template can only be used with
    // 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));
    //
    // detail goes here...
    return from;
 }
 
+// ensure that delayed instantiation compilers like Comeau see the failure early
+// enough for "compile-fail" testing with the Boost.Build testing framework. (Greg Comeau)
+template
+std::list<int>::iterator
+   foo(std::list<int>::iterator, std::list<int>::iterator);
+
 int main()
 {
-	std::deque<int> d;
-	std::list<int> l;
-	foo(d.begin(), d.end()); // OK
-	foo(l.begin(), l.end()); // error
-	return 0;
+   std::deque<int> d;
+   std::list<int> l;
+   foo(d.begin(), d.end()); // OK
+   foo(l.begin(), l.end()); // error
+   return 0;
 }
 
 
  
 
+

static_assert_test_fail_9.cpp

@@ -0,0 +1,32 @@
+//  (C) Copyright John Maddock 2000.
+//  Use, modification and distribution are subject to 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)
+
+//  See http://www.boost.org for most recent version including documentation.
+
+#include <climits>
+#include <boost/limits.hpp>
+#include <boost/static_assert.hpp>
+
+template <class UnsignedInt>
+class myclass
+{
+private:
+   BOOST_STATIC_ASSERT(sizeof(UnsignedInt) * CHAR_BIT >= 16);
+   BOOST_STATIC_ASSERT(std::numeric_limits<UnsignedInt>::is_specialized
+                        && std::numeric_limits<UnsignedInt>::is_integer
+                        && !std::numeric_limits<UnsignedInt>::is_signed);
+public:
+   /* details here */
+};
+
+myclass<unsigned>      m1; // this should be OK
+//myclass<int>           m2; // this should fail
+myclass<unsigned char> m3; // and so should this
+
+int main()
+{
+   return 0;
+}
+