Boost logo

Boost-Commit :

From: troy_at_[hidden]
Date: 2008-06-29 12:06:12


Author: troy
Date: 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
New Revision: 46868
URL: http://svn.boost.org/trac/boost/changeset/46868

Log:
merge from release branch
Text files modified:
   branches/CMake/release/libs/utility/enable_if/test/constructors.cpp | 2
   branches/CMake/release/libs/utility/enable_if/test/dummy_arg_disambiguation.cpp | 2
   branches/CMake/release/libs/utility/enable_if/test/lazy.cpp | 2
   branches/CMake/release/libs/utility/enable_if/test/lazy_test.cpp | 2
   branches/CMake/release/libs/utility/enable_if/test/member_templates.cpp | 2
   branches/CMake/release/libs/utility/enable_if/test/namespace_disambiguation.cpp | 2
   branches/CMake/release/libs/utility/enable_if/test/no_disambiguation.cpp | 2
   branches/CMake/release/libs/utility/enable_if/test/partial_specializations.cpp | 2
   branches/CMake/release/libs/utility/value_init.htm | 63 ++++++++++++++++++++++++++++++++++++---
   branches/CMake/release/libs/utility/value_init_test.cpp | 39 +++++++++++++++++++++++-
   10 files changed, 103 insertions(+), 15 deletions(-)

Modified: branches/CMake/release/libs/utility/enable_if/test/constructors.cpp
==============================================================================
--- branches/CMake/release/libs/utility/enable_if/test/constructors.cpp (original)
+++ branches/CMake/release/libs/utility/enable_if/test/constructors.cpp 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
@@ -6,7 +6,7 @@
 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 
-// Authors: Jaakko Järvi (jajarvi at osl.iu.edu)
+// Authors: Jaakko Jarvi (jajarvi at osl.iu.edu)
 // Jeremiah Willcock (jewillco at osl.iu.edu)
 // Andrew Lumsdaine (lums at osl.iu.edu)
 

Modified: branches/CMake/release/libs/utility/enable_if/test/dummy_arg_disambiguation.cpp
==============================================================================
--- branches/CMake/release/libs/utility/enable_if/test/dummy_arg_disambiguation.cpp (original)
+++ branches/CMake/release/libs/utility/enable_if/test/dummy_arg_disambiguation.cpp 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
@@ -6,7 +6,7 @@
 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 
-// Authors: Jaakko Järvi (jajarvi at osl.iu.edu)
+// Authors: Jaakko Jarvi (jajarvi at osl.iu.edu)
 // Jeremiah Willcock (jewillco at osl.iu.edu)
 // Andrew Lumsdaine (lums at osl.iu.edu)
 

Modified: branches/CMake/release/libs/utility/enable_if/test/lazy.cpp
==============================================================================
--- branches/CMake/release/libs/utility/enable_if/test/lazy.cpp (original)
+++ branches/CMake/release/libs/utility/enable_if/test/lazy.cpp 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
@@ -6,7 +6,7 @@
 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 
-// Authors: Jaakko Järvi (jajarvi at osl.iu.edu)
+// Authors: Jaakko Jarvi (jajarvi at osl.iu.edu)
 // Jeremiah Willcock (jewillco at osl.iu.edu)
 // Andrew Lumsdaine (lums at osl.iu.edu)
 

Modified: branches/CMake/release/libs/utility/enable_if/test/lazy_test.cpp
==============================================================================
--- branches/CMake/release/libs/utility/enable_if/test/lazy_test.cpp (original)
+++ branches/CMake/release/libs/utility/enable_if/test/lazy_test.cpp 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
@@ -6,7 +6,7 @@
 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 
-// Authors: Jaakko Järvi (jajarvi at osl.iu.edu)
+// Authors: Jaakko Jarvi (jajarvi at osl.iu.edu)
 // Jeremiah Willcock (jewillco at osl.iu.edu)
 // Andrew Lumsdaine (lums at osl.iu.edu)
 

Modified: branches/CMake/release/libs/utility/enable_if/test/member_templates.cpp
==============================================================================
--- branches/CMake/release/libs/utility/enable_if/test/member_templates.cpp (original)
+++ branches/CMake/release/libs/utility/enable_if/test/member_templates.cpp 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
@@ -6,7 +6,7 @@
 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 
-// Authors: Jaakko Järvi (jajarvi at osl.iu.edu)
+// Authors: Jaakko Jarvi (jajarvi at osl.iu.edu)
 // Jeremiah Willcock (jewillco at osl.iu.edu)
 // Andrew Lumsdaine (lums at osl.iu.edu)
 

Modified: branches/CMake/release/libs/utility/enable_if/test/namespace_disambiguation.cpp
==============================================================================
--- branches/CMake/release/libs/utility/enable_if/test/namespace_disambiguation.cpp (original)
+++ branches/CMake/release/libs/utility/enable_if/test/namespace_disambiguation.cpp 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
@@ -6,7 +6,7 @@
 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 
-// Authors: Jaakko Järvi (jajarvi at osl.iu.edu)
+// Authors: Jaakko Jarvi (jajarvi at osl.iu.edu)
 // Jeremiah Willcock (jewillco at osl.iu.edu)
 // Andrew Lumsdaine (lums at osl.iu.edu)
 

Modified: branches/CMake/release/libs/utility/enable_if/test/no_disambiguation.cpp
==============================================================================
--- branches/CMake/release/libs/utility/enable_if/test/no_disambiguation.cpp (original)
+++ branches/CMake/release/libs/utility/enable_if/test/no_disambiguation.cpp 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
@@ -6,7 +6,7 @@
 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 
-// Authors: Jaakko Järvi (jajarvi at osl.iu.edu)
+// Authors: Jaakko Jarvi (jajarvi at osl.iu.edu)
 // Jeremiah Willcock (jewillco at osl.iu.edu)
 // Andrew Lumsdaine (lums at osl.iu.edu)
 

Modified: branches/CMake/release/libs/utility/enable_if/test/partial_specializations.cpp
==============================================================================
--- branches/CMake/release/libs/utility/enable_if/test/partial_specializations.cpp (original)
+++ branches/CMake/release/libs/utility/enable_if/test/partial_specializations.cpp 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
@@ -6,7 +6,7 @@
 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 
-// Authors: Jaakko Järvi (jajarvi at osl.iu.edu)
+// Authors: Jaakko Jarvi (jajarvi at osl.iu.edu)
 // Jeremiah Willcock (jewillco at osl.iu.edu)
 // Andrew Lumsdaine (lums at osl.iu.edu)
 

Modified: branches/CMake/release/libs/utility/value_init.htm
==============================================================================
--- branches/CMake/release/libs/utility/value_init.htm (original)
+++ branches/CMake/release/libs/utility/value_init.htm 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
@@ -28,11 +28,12 @@
 </ul>
                    
 <dl class="page-index">
- <dt>Types</dt>
+ <dt>Types and objects</dt>
 </dl>
                    
 <ul>
- <li>value_initialized<T></li>
+ <li>template class value_initialized<T></li>
+ <li>initialized_value</li>
                    
 </ul>
               <a href="#acknowledgements">Acknowledgements</a><br>
@@ -52,6 +53,9 @@
 Moreover, <code>value_initialized</code> offers a workaround to various
 compiler issues regarding value-initialization.
 
+Furthermore, a <code>const</code> object, <code>initialized_value</code> is provided,
+to avoid repeating the type name when retrieving the value from a
+<code>value_initialized&lt;T&gt;</code> object.
 <br>
   </p>
         
@@ -118,6 +122,16 @@
   value_initialized&lt;T&gt; var;
 </pre>
 </p>
+<p>
+The <code>const</code> object initialized_value
+allows value-initializing a variable as follows:
+<pre>
+ T var = initialized_value ;
+</pre>
+This form of initialization is semantically equivalent to <code>T4 var4 = T4()</code>,
+but robust against the aforementioned compiler issues.
+
+</p>
 
 <h2><a name="details"></a>Details</h2>
 <p>The C++ standard [3] contains the definitions
@@ -235,7 +249,7 @@
 its internal data, prior to constructing the object that it contains.
 </p>
                    
-<h2><a name="types"></a>Types</h2>
+<h2><a name="types"></a>Types and objects</h2>
                    
 <h2><a name="val_init"><code>template class value_initialized&lt;T&gt;</code></a></h2>
                    
@@ -298,6 +312,43 @@
                    
 <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>
                     
+<h2><a name="initialized_value"><code>initialized_value</code></a></h2>
+
+<pre>
+namespace boost {
+class initialized_value_t
+{
+ public :
+ template &lt;class T&gt; operator T() const ;
+};
+
+initialized_value_t const initialized_value = {} ;
+
+} // namespace boost
+</pre>
+
+<code>initialized_value</code> provides a convenient way to get
+an initialized value: its conversion operator provides an appropriate
+<em>value-initialized</em> object for any CopyConstructible type.
+
+Suppose you need to have an initialized variable of type <code>T</code>.
+You could do it as follows:
+<pre>
+ T var = T();
+</pre>
+But as mentioned before, this form suffers from various compiler issues.
+The template <code>value_initialized</code> offers a workaround:
+<pre>
+ T var = get( value_initialized&lt;T&gt;() );
+</pre>
+Unfortunately both forms repeat the type name, which
+is rather short now (<code>T</code>), but could of course be
+more like <code>Namespace::Template&lt;Arg&gt;::Type</code>.
+Instead, one could use <code>initialized_value</code> as follows:
+<pre>
+ T var = initialized_value ;
+</pre>
+
 <h3><a name="references">References</a></h3>
           [1] Bjarne Stroustrup, Gabriel Dos Reis, and J. Stephen Adamczyk wrote
           various papers, proposing to extend the support for brace-enclosed <em>initializer lists</em>
@@ -320,13 +371,15 @@
 <p>value_initialized was reimplemented by Fernando Cacciola and Niels Dekker
 for Boost release version 1.35 (2008), offering a workaround to various compiler issues.
      </p>
+<p>initialized_value was written by Niels Dekker, and added to Boost release version 1.36 (2008).
+ </p>
 <p>Developed by <a href="mailto:fernando_cacciola_at_[hidden]">Fernando Cacciola</a>,
      the latest version of this file can be found at <a
  href="http://www.boost.org">www.boost.org</a>.
      </p>
                     
 <hr>
-<p>Revised 15 January 2008</p>
+<p>Revised 23 May 2008</p>
                    
 <p>&copy; Copyright Fernando Cacciola, 2002, 2008.</p>
                    
@@ -337,4 +390,4 @@
  <br>
     
 </body>
-</html>
\ No newline at end of file
+</html>

Modified: branches/CMake/release/libs/utility/value_init_test.cpp
==============================================================================
--- branches/CMake/release/libs/utility/value_init_test.cpp (original)
+++ branches/CMake/release/libs/utility/value_init_test.cpp 2008-06-29 12:06:10 EDT (Sun, 29 Jun 2008)
@@ -6,8 +6,9 @@
 //
 // Test program for "boost/utility/value_init.hpp"
 //
-// 21 Agu 2002 (Created) Fernando Cacciola
+// 21 Ago 2002 (Created) Fernando Cacciola
 // 15 Jan 2008 (Added tests regarding compiler issues) Fernando Cacciola, Niels Dekker
+// 23 May 2008 (Added tests regarding initialized_value) Niels Dekker
 
 #include <cstring> // For memcmp.
 #include <iostream>
@@ -52,7 +53,7 @@
 struct NonPOD : NonPODBase
 {
   NonPOD () : id() {}
- NonPOD ( std::string const& id_) : id(id_) {}
+ explicit NonPOD ( std::string const& id_) : id(id_) {}
 
   friend std::ostream& operator << ( std::ostream& os, NonPOD const& npod )
     { return os << '(' << npod.id << ')' ; }
@@ -180,6 +181,32 @@
 };
 
 
+template<class T>
+void check_initialized_value ( T const& y )
+{
+ T initializedValue = boost::initialized_value ;
+ BOOST_CHECK ( y == initializedValue ) ;
+}
+
+#ifdef __BORLANDC__
+#if __BORLANDC__ == 0x582
+void check_initialized_value( NonPOD const& )
+{
+ // The initialized_value check is skipped for Borland 5.82
+ // and this type (NonPOD), because the following statement
+ // won't compile on this particular compiler version:
+ // NonPOD initializedValue = boost::initialized_value() ;
+//
+ // This is caused by a compiler bug, that is fixed with a newer version
+ // of the Borland compiler. The Release Notes for Delphi(R) 2007 for
+ // Win32(R) and C++Builder(R) 2007 (http://dn.codegear.com/article/36575)
+ // say about similar statements:
+ // both of these statements now compile but under 5.82 got the error:
+ // Error E2015: Ambiguity between 'V::V(const A &)' and 'V::V(const V &)'
+}
+#endif
+#endif
+
 //
 // This test function tests boost::value_initialized<T> for a specific type T.
 // The first argument (y) is assumed have the value of a value-initialized object.
@@ -189,9 +216,13 @@
 bool test ( T const& y, T const& z )
 {
   const boost::unit_test::counter_t counter_before_test = boost::minimal_test::errors_counter();
+
+ check_initialized_value(y);
+
   boost::value_initialized<T> x ;
   BOOST_CHECK ( y == x ) ;
   BOOST_CHECK ( y == boost::get(x) ) ;
+
   static_cast<T&>(x) = z ;
   boost::get(x) = z ;
   BOOST_CHECK ( x == z ) ;
@@ -275,6 +306,10 @@
   boost::value_initialized<ArrayOfBytes> valueInitializedArrayOfBytes;
   BOOST_CHECK (std::memcmp(get(valueInitializedArrayOfBytes), zeroInitializedArrayOfBytes, sizeof(ArrayOfBytes)) == 0);
 
+ boost::value_initialized<ArrayOfBytes> valueInitializedArrayOfBytes2;
+ valueInitializedArrayOfBytes2 = valueInitializedArrayOfBytes;
+ BOOST_CHECK (std::memcmp(get(valueInitializedArrayOfBytes), get(valueInitializedArrayOfBytes2), sizeof(ArrayOfBytes)) == 0);
+
   boost::value_initialized<CopyFunctionCallTester> copyFunctionCallTester1;
   BOOST_CHECK ( ! get(copyFunctionCallTester1).is_copy_constructed);
   BOOST_CHECK ( ! get(copyFunctionCallTester1).is_assignment_called);


Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk