[Boost-commit] svn:boost r7526

From: asutton_at_[hidden]
Date: 2007-07-24 20:19:52

Author: asutton
Date: 2007-07-24 20:19:51 EDT (Tue, 24 Jul 2007)
New Revision: 7526
URL: http://svn.boost.org/trac/boost/changeset/7526

Log:
Work on more constructors

Text files modified: 
   sandbox/boost_docs/trunk/libs/standard/doc/concepts/containers/container.qbk            |     2 +                                       
   sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/copy_constructible.qbk    |    47 ++++++++++++++++++--------------------- 
   sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/default_constructible.qbk |     7 +++--                                   
   3 files changed, 28 insertions(+), 28 deletions(-)

Modified: sandbox/boost_docs/trunk/libs/standard/doc/concepts/containers/container.qbk
==============================================================================
--- sandbox/boost_docs/trunk/libs/standard/doc/concepts/containers/container.qbk	(original)
+++ sandbox/boost_docs/trunk/libs/standard/doc/concepts/containers/container.qbk	2007-07-24 20:19:51 EDT (Tue, 24 Jul 2007)
@@ -10,6 +10,8 @@
 [heading Refinement Of]
 [StdAssignable]
 
+[heading 
+
 [heading Notes]
 
 [endsect]
\ No newline at end of file

Modified: sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/copy_constructible.qbk
==============================================================================
--- sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/copy_constructible.qbk	(original)
+++ sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/copy_constructible.qbk	2007-07-24 20:19:51 EDT (Tue, 24 Jul 2007)
@@ -6,49 +6,46 @@
  /]
 
 [section Copy Constructible]
-A type `T` is said to be /copy constructible/ if one instance `t` can be 
-constructed with the value of another instance `u`. The type of `u` must
-be `T` or `const T`. A type that is copy constructible has either a 
-compiler-generated or user-defined copy constructor.
+A type `T` is /copy constructible/ if it is possible to create copies
+of that type. `T` is only copy constructible if it has either a
+compiler-generated or user-defined copy constructor that accepts a single
+argument: a `const` reference to `T`. After construction, a constructed
+object is equivalent to the object passed as an argument.
 
 [heading Notation]
+The following expressions are used within this document:
 [table
     [[Expression] [Description]]
     [[T] [A [StdCopyConstructible] type.]]
-    [[t] [An instance of type `T`.]]
-    [[u] [An instance of type 'const `T`.]]
+    [[t] [An object of type `T`.]]
+    [[u] [An object of type `T` or `const T`]]
 ]
 
 [heading Requirements]
 [table
-    [[Expression] [Return Type] [Requirements]]
+    [[Name] [Expression] [Result Type] [Description]]
     [
+        [Copy Constructor]
         [`T t(u)`]
         []
-        [`t` is an instance of `T` and is equivalent to `u`.]
+        [
+                *Semantics:* `t` is declared as an object of type `T`.
+
+                *Postcondition:* `t` is equivalent to `u`.
+        ]
     ]
     [
+        [Copy Constructor]
         [`T(u)`]
-        []
-        [An instance of `T` is constructed that is equivalent to `u`.]
-    ]
-    [
-        [`t.~T()`]
-        []
-        [`t` is destructed.]
-    ]
-    [
-        [`&t`]
-        [`T*`]
-        [Denotes the address of `t`.]
+        [`T`]
+        [
+                *Semantics:* Creates an object of type `T`.
+
+                *Postcondition:* `t` is equivalent to `u`.
+        ]
     ]
 ]
 
-Taking the address of an instance with `const` type yields a
-`const` pointer. Let `U` be the type `const T` and `u` an instance
-of `U`. The return type of `&u` is `U*`, which by substitution is
-the same as `const T*`.
-
 [heading C++0x]
 In the next version of the C++ language, the destructible and addressable
 requirements are removed from this concept and made explicit elsewhere. The

Modified: sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/default_constructible.qbk
==============================================================================
--- sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/default_constructible.qbk	(original)
+++ sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/default_constructible.qbk	2007-07-24 20:19:51 EDT (Tue, 24 Jul 2007)
@@ -15,10 +15,11 @@
 to a default value have indeterminate value (i.e., uninitialized).
 
 [heading Notation]
+The folllowing expressions are used in this document:
 [table
     [[Expression] [Description]]
     [[T] [A [StdDefaultConstructible] type.]]
-    [[t] [An object of type `T`.]]
+    [[x] [An object of type `T`.]]
 ]
 
 [heading Requirements]
@@ -26,10 +27,10 @@
     [[Name] [Expression] [Result Type] [Description]]
     [
         [Default Constructor]
-        [`T t;`]
+        [`T x;`]
         []
         [
-            *Semantics:* `t` is declared as an object of type `T` and may or may not
+            *Semantics:* `x` is declared as an object of type `T` and may or may not
             initialized to a default value[footnote This syntax leaves fundamental
             types unitialized while class types are default-initialized.].
         ]