Release 1.41.0 Beta 1

[SVN r57353]
rm cmake from the release branch before it goes out broken. Policy dictates that you never commit to release, you commit to trunk and merge to release.
2025-12-14 17:38:30 +01:00 · 2009-11-04 12:14:07 +00:00 · 2009-10-17 01:10:45 +00:00 · 2009-10-03 10:19:09 +00:00 · 2009-10-03 09:08:10 +00:00 · 2009-10-03 08:15:14 +00:00
10 changed files with 66 additions and 174 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,37 +0,0 @@
-#
-# Copyright Troy D. Straszheim
-#
-# Distributed under the Boost Software License, Version 1.0.
-# See http://www.boost.org/LICENSE_1_0.txt
-#
-#----------------------------------------------------------------------------
-# This file was automatically generated from the original CMakeLists.txt file
-# Add a variable to hold the headers for the library
-set (lib_headers
-    assert.hpp
-    call_traits.hpp
-    checked_delete.hpp
-    compressed_pair.hpp
-    current_function.hpp
-    operators.hpp
-    throw_exception.hpp
-    utility.hpp
-    utility
-)
-
-# Add a library target to the build system
-boost_library_project(
-  utility
-  #  SRCDIRS 
-  TESTDIRS  test swap/test enable_if/test
-  HEADERS ${lib_headers}
-  #  DOCDIRS 
-  DESCRIPTION  "Various small utilities for C++ programming."
-  MODULARIZED 
-  AUTHORS  "David Abrahams <dave -at- boostpro.com>"
-           "Brad King"
-           "Douglas Gregor <doug.gregor -at- gmail.com>"
-  #  MAINTAINERS 
-)
-
-
--- a/enable_if/test/CMakeLists.txt
+++ b/enable_if/test/CMakeLists.txt
@@ -1,20 +0,0 @@
-#
-# Copyright Troy D. Straszheim
-#
-# Distributed under the Boost Software License, Version 1.0.
-# See http://www.boost.org/LICENSE_1_0.txt
-#
-foreach(T
-    constructors
-    dummy_arg_disambiguation
-    lazy
-    lazy_test
-    member_templates
-    namespace_disambiguation
-    no_disambiguation
-    partial_specializations
-    )
-  boost_test_run(${T} DEPENDS boost_test_exec_monitor)
-endforeach()
-
-
--- a/include/boost/utility/value_init.hpp
+++ b/include/boost/utility/value_init.hpp
@@ -8,6 +8,7 @@
 // 24 Dec 2007 (Refactored and worked around various compiler bugs) Fernando Cacciola, Niels Dekker
 // 23 May 2008 (Fixed operator= const issue, added initialized_value) Niels Dekker, Fernando Cacciola
 // 21 Ago 2008 (Added swap) Niels Dekker, Fernando Cacciola
+// 20 Feb 2009 (Fixed logical const-ness issues) Niels Dekker, Fernando Cacciola
 //
 #ifndef BOOST_UTILITY_VALUE_INIT_21AGO2002_HPP
 #define BOOST_UTILITY_VALUE_INIT_21AGO2002_HPP
@@ -90,7 +91,12 @@ class value_initialized
      wrapper_address()->wrapper::~wrapper();
    }

-    T& data() const
+    T const & data() const
+    {
+      return wrapper_address()->data;
+    }
+
+    T& data()
    {
      return wrapper_address()->data;
    }
@@ -100,12 +106,16 @@ class value_initialized
      ::boost::swap( this->data(), arg.data() );
    }

-    operator T&() const { return this->data(); }
+    operator T const &() const { return this->data(); }
+
+    operator T&() { return this->data(); }

 } ;



+
+
 template<class T>
 T const& get ( value_initialized<T> const& x )
 {
--- a/module.cmake
+++ b/module.cmake
@@ -1 +0,0 @@
-boost_module(utility DEPENDS iterator exception detail )
--- a/swap.html
+++ b/swap.html
@@ -7,7 +7,11 @@
   </head>
  <body>
    <!-- Page header -->
+    <h2>
    <img src="../../boost.png" alt="C++ Boost" align="middle" width="277" height="86"/>
+      Header &lt;<a href="../../boost/swap.hpp">boost/swap.hpp</a>&gt;
+    </h2>
+
    <h1>Swap</h1>
    
    <p>
@@ -84,9 +88,9 @@

    <!-- Copyright info -->    
    <hr/>
-    <p>Revised: 15 November 2008</p>
+    <p>Revised: 08 September 2009</p>
    <p>
-      Copyright 2007, 2008 Joseph Gauterin. Use, modification, and distribution are subject to the Boost Software License, Version 1.0.
+      Copyright 2007 - 2009 Joseph Gauterin. Use, modification, and distribution are subject to the Boost Software License, Version 1.0.
      (See accompanying file <a href="../../LICENSE_1_0.txt">LICENSE_1_0.txt</a> or a copy at &lt;<a href="http://www.boost.org/LICENSE_1_0.txt">http://www.boost.org/LICENSE_1_0.txt</a>&gt;.)
    </p>
    
--- a/swap/test/CMakeLists.txt
+++ b/swap/test/CMakeLists.txt
@@ -1,41 +0,0 @@
-#
-# Copyright Troy D. Straszheim
-#
-# Distributed under the Boost Software License, Version 1.0.
-# See http://www.boost.org/LICENSE_1_0.txt
-#
-
-foreach(T 
-    root_header_1 root_header_2 
-    lib_header_1 lib_header_2 
-    mixed_headers_1 mixed_headers_2)
-  boost_test_compile(${T})
-endforeach() 
-
-
-#     [ run primitive.cpp ../../../test/build//boost_test_exec_monitor/<link>static                      ]
-
-
-foreach(T
-    primitive
-    specialized_in_boost
-    specialized_in_global
-    specialized_in_other
-    specialized_in_std
-    specialized_in_boost_and_other
-    std_bitset
-    std_dateorder
-    std_string
-    std_typeinfo_ptr
-    std_vector_of_boost
-    std_vector_of_global
-    std_vector_of_other
-    no_ambiguity_in_boost
-    array_of_array_of_class
-    array_of_array_of_int
-    array_of_class
-    array_of_int
-    array_of_template)
-  boost_test_run(${T} DEPENDS boost_test_exec_monitor)
-endforeach()
-    
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -1,47 +0,0 @@
-#
-# Copyright Troy D. Straszheim
-#
-# Distributed under the Boost Software License, Version 1.0.
-# See http://www.boost.org/LICENSE_1_0.txt
-#
-boost_additional_test_dependencies(utility BOOST_DEPENDS test)
-
-boost_test_run(addressof_fn_test ../addressof_fn_test.cpp)
-boost_test_run(addressof_test ../addressof_test.cpp)
-boost_test_run(addressof_test2 ../addressof_test2.cpp)
-boost_test_run(assert_test ../assert_test.cpp)
-boost_test_run(base_from_member_test ../base_from_member_test.cpp)
-boost_test_run(binary_search_test ../binary_search_test.cpp)
-boost_test_run(call_traits_test ../call_traits_test.cpp ARGS -u)
-boost_test_compile_fail(checked_delete_test ../checked_delete_test.cpp)
-boost_test_run(compressed_pair_test 
-  ../compressed_pair_test 
-  DEPENDS boost_test_exec_monitor)
-boost_test_run(current_function_test ../current_function_test.cpp)
-boost_test_run(iterators_test 
-  ../iterators_test.cpp 
-  DEPENDS boost_test_exec_monitor)
-boost_test_run(next_prior_test DEPENDS boost_test_exec_monitor)
-boost_test_compile_fail(noncopyable_test ../noncopyable_test.cpp)
-boost_test_run(numeric_traits_test ../numeric_traits_test.cpp)
-if (${CMAKE_SYSTEM} MATCHES "FreeBSD-.*")
-boost_test_compile_fail("operators_test_compilerbug")
-elseif(${CMAKE_SYSTEM} MATCHES "FreeBSD-.*")
-boost_test_run(operators_test 
-  ../operators_test.cpp
-  DEPENDS boost_test_exec_monitor)
-endif(${CMAKE_SYSTEM} MATCHES "FreeBSD-.*")
-boost_test_compile(ref_ct_test ../ref_ct_test.cpp)
-boost_test_run(ref_test 
-  ../ref_test.cpp
-  DEPENDS boost_test_exec_monitor)
-boost_test_compile(result_of_test)
-boost_test_run(shared_iterator_test ../shared_iterator_test.cpp)
-boost_test_run(value_init_test ../value_init_test.cpp)
-boost_test_compile_fail(value_init_test_fail1 
-  ../value_init_test_fail1.cpp)
-boost_test_compile_fail(value_init_test_fail2
-  ../value_init_test_fail2.cpp)
-boost_test_compile_fail(value_init_test_fail3
-  ../value_init_test_fail3.cpp)
-boost_test_run(verify_test ../verify_test.cpp)
--- a/test/next_prior_test.cpp
+++ b/test/next_prior_test.cpp
--- a/value_init.htm
+++ b/value_init.htm
@@ -253,7 +253,33 @@ its internal data, prior to constructing the object that it contains.
                   
 <h2><a name="val_init"><code>template class value_initialized&lt;T&gt;</code></a></h2>
                   
-<pre>namespace boost {<br><br>template&lt;class T&gt;<br>class value_initialized<br>{<br>  public :<br>    value_initialized() : x() {}<br>    operator T&amp;() const { return x ; }<br>    T&amp; data() const { return x ; }<br>    void swap( value_initialized&lt;T&gt;&amp; );<br><br>  private :<br>    <i>unspecified</i> x ;<br>} ;<br><br>template&lt;class T&gt;<br>T const&amp; get ( value_initialized&lt;T&gt; const&amp; x )<br>{<br>  return x.data() ;<br>}<br><br>template&lt;class T&gt;<br>T&amp; get ( value_initialized&lt;T&gt;&amp; x )<br>{<br>  return x.data() ;<br>}<br><br>} // namespace boost<br></pre>
+<pre>namespace boost {<br><br>template&lt;class T&gt;<br>class value_initialized<br>{
+<br>  public :
+<br>    value_initialized() : x() {}
+<br>    operator T const &amp;() const { return x ; }
+<br>    operator T&amp;() { return x ; }
+<br>    T const &amp;data() const { return x ; }
+<br>    T&amp; data() { return x ; }
+<br>    void swap( value_initialized&lt;T&gt;&amp; );
+<br>
+<br>  private :
+<br>    <i>unspecified</i> x ;
+<br>} ;
+<br>
+<br>template&lt;class T&gt;
+<br>T const&amp; get ( value_initialized&lt;T&gt; const&amp; x )
+<br>{
+<br>  return x.data() ;
+<br>}
+<br>
+<br>template&lt;class T&gt;
+<br>T&amp; get ( value_initialized&lt;T&gt;&amp; x )
+<br>{
+<br>  return x.data() ;
+<br>}
+<br>
+<br>} // namespace boost
+<br></pre>
                    
 <p>An object of this template class is a <code>T</code>-wrapper convertible 
    to <code>'T&amp;'</code> whose wrapped object (data member of type <code>T</code>) 
@@ -271,7 +297,8 @@ its internal data, prior to constructing the object that it contains.
     <code>T&amp;</code>, the member function <code>data()</code>, or the
 non-member    function <code>get()</code>:  </p>
                   
-<pre>void watch(int);<br>value_initialized&lt;int&gt; x;<br><br>watch(x) ; // operator T&amp; used.<br>watch(x.data());<br>watch( get(x) ) // function get() used</pre>
+<pre>void watch(int);<br>value_initialized&lt;int&gt; x;
+<br><br>watch(x) ; // operator T&amp; used.<br>watch(x.data());<br>watch( get(x) ) // function get() used</pre>
                    
 <p>Both <code>const</code> and non-<code>const</code> objects can be wrapped. 
    Mutable objects can be modified directly from within the wrapper but constant
@@ -281,37 +308,34 @@ non-member    function <code>get()</code>:  </p>
    is swappable as well, by calling its <code>swap</code> member function
    as well as by calling <code>boost::swap</code>.</p>
                   
-<pre>value_initialized&lt;int&gt; x ; <br>static_cast&lt;int&amp;&gt;(x) = 1 ; // OK<br>get(x) = 1 ; // OK<br><br>value_initialized&lt;int const&gt; y ; <br>static_cast&lt;int&amp;&gt;(y) = 1 ; // ERROR: cannot cast to int&amp;<br>static_cast&lt;int const&amp;&gt;(y) = 1 ; // ERROR: cannot modify a const value<br>get(y) = 1 ; // ERROR: cannot modify a const value</pre>
+<pre>value_initialized&lt;int&gt; x ; <br>static_cast&lt;int&amp;&gt;(x) = 1 ; // OK<br>get(x) = 1 ; // OK
+<br><br>value_initialized&lt;int const&gt; y ; <br>static_cast&lt;int&amp;&gt;(y) = 1 ; // ERROR: cannot cast to int&amp;<br>static_cast&lt;int const&amp;&gt;(y) = 1 ; // ERROR: cannot modify a const value<br>get(y) = 1 ; // ERROR: cannot modify a const value</pre>
                    
 <h3>Warning:</h3>
                   
-<p>Both the conversion operator and the <code>data()</code> member function 
-    are <code>const</code> in order to allow access to the wrapped object 
-from    a constant wrapper:</p>
+<p>The <code>value_initialized</code> implementation of Boost version 1.40.0 and older
+allowed <i>non-const</i> access to the wrapped object, from a constant wrapper,
+both by its conversion operator and its <code>data()</code> member function. For example:</p>
                   
-<pre>void foo(int);<br>value_initialized&lt;int&gt; const x ;<br>foo(x);<br></pre>
+<pre>value_initialized&lt;int&gt; const x_c ;<br>int&amp; xr = x_c ; // OK, conversion to int&amp; available even though x_c is itself const.
+<br>xr = 2 ; </pre>
                    
-<p>But notice that this conversion operator is to <code>T&amp;</code> although 
-    it is itself <code>const</code>. As a consequence, if <code>T</code> is
-  a  non-<code>const</code> type, you can modify the wrapped object even from
-   within a constant wrapper:</p>
-                   
-<pre>value_initialized&lt;int&gt; const x_c ;<br>int&amp; xr = x_c ; // OK, conversion to int&amp; available even though x_c is itself const.<br>xr = 2 ; </pre>
-                    
-<p>The reason for this obscure behavior is that some commonly used compilers
-     just don't accept the following valid code:</p>
+<p>The reason for this obscure behavior was that some compilers 
+     didn't accept the following valid code:</p>
                   
 <pre>struct X<br>{<br>  operator int&amp;() ;<br>  operator int const&amp;() const ;   <br>};<br>X x ;<br>(x == 1 ) ; // ERROR HERE!</pre>
                    
-<p>These compilers complain about ambiguity between the conversion operators. 
-    This complaint is incorrect, but the only workaround that I know of is 
- to   provide only one of them, which leads to the obscure behavior just explained.<br>
+<p>The current version of <code>value_initialized</code> no longer has this obscure behavior.
+As compilers nowadays widely support overloading the conversion operator by having a <code>const</code> and a <code>non-const</code> version, we have decided to fix the issue accordingly. So the current version supports the idea of logical constness.
+<br>
          </p>
                   
 <h3>Recommended practice: The non-member get() idiom</h3>
                   
 <p>The obscure behavior of being able to modify a non-<code>const</code>
-wrapped object from within a constant wrapper can be avoided if access to
+wrapped object from within a constant wrapper (as was supported by previous
+versions of <code>value_initialized</code>)
+can be avoided if access to
 the wrapped object is always performed with the <code>get()</code> idiom:</p>
                   
 <pre>value_initialized&lt;int&gt; x ;<br>get(x) = 1 ; // OK<br><br>value_initialized&lt;int const&gt; cx ;<br>get(x) = 1 ; // ERROR: Cannot modify a const object<br><br>value_initialized&lt;int&gt; const x_c ;<br>get(x_c) = 1 ; // ERROR: Cannot modify a const object<br><br>value_initialized&lt;int const&gt; const cx_c ;<br>get(cx_c) = 1 ; // ERROR: Cannot modify a const object<br></pre>
@@ -383,9 +407,9 @@ for Boost release version 1.35 (2008), offering a workaround to various compiler
     </p>
                    
 <hr>          
-<p>Revised 28 August 2008</p>
+<p>Revised 03 October 2009</p>
                   
-<p>&copy; Copyright Fernando Cacciola, 2002, 2008.</p>
+<p>&copy; Copyright Fernando Cacciola, 2002, 2009.</p>
                   
 <p>Distributed under the Boost Software License, Version 1.0. See
 <a href="http://www.boost.org/LICENSE_1_0.txt">www.boost.org/LICENSE_1_0.txt</a></p>
@@ -394,4 +418,4 @@ for Boost release version 1.35 (2008), offering a workaround to various compiler
 <br>
    
 </body>
-</html>
+</html>
--- a/value_init_test.cpp
+++ b/value_init_test.cpp
@@ -260,7 +260,7 @@ bool test ( T const& y, T const& z )
  boost::value_initialized<T> const x_c ;
  BOOST_CHECK ( y == x_c ) ;
  BOOST_CHECK ( y == boost::get(x_c) ) ;
-  T& x_c_ref = x_c ;
+  T& x_c_ref = const_cast<T&>( boost::get(x_c) ) ;
  x_c_ref = z ;
  BOOST_CHECK ( x_c == z ) ;
Author	SHA1	Message	Date
Beman Dawes	15ad13a258	Release 1.41.0 Beta 1 [SVN r57353]	2009-11-04 12:14:07 +00:00
Troy D. Straszheim	ee146a02a1	rm cmake from the release branch before it goes out broken. Policy dictates that you never commit to release, you commit to trunk and merge to release. [SVN r56941]	2009-10-17 01:10:45 +00:00
Niels Dekker	c131cbd0b2	Merged value_init from the trunk, including fix of #2548 , regarding "const value_initialized". [SVN r56547]	2009-10-03 10:19:09 +00:00
Niels Dekker	f8bef7ba95	Merged value_init_test from trunk, inc. [51356], anticipating the fix of ticket #2548 , which will remove implicit conversion from const value_initialized<T> to non-const T&. [SVN r56543]	2009-10-03 09:08:10 +00:00
Niels Dekker	e54cbf3053	Merged Swap documentation from trunk, including revision [56107] and [56108]. [SVN r56541]	2009-10-03 08:15:14 +00:00
				`@@ -1 +0,0 @@`
				`boost_module(utility DEPENDS iterator exception detail )`