diff --git a/doc/html/boost_optional/detailed_semantics.html b/doc/html/boost_optional/detailed_semantics.html index 311e243..223d0c9 100644 --- a/doc/html/boost_optional/detailed_semantics.html +++ b/doc/html/boost_optional/detailed_semantics.html @@ -474,13 +474,12 @@

optional<T&>& optional<T&>::operator= ( T& - const& rhs ) ;

Copyright © 2003-2007 Fernando Luis Cacciola Carballal

-

+

Distributed under 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)

@@ -163,7 +163,7 @@
- +

Last revised: April 06, 2011 at 21:53:26 GMT

Last revised: April 07, 2011 at 19:52:21 GMT
diff --git a/doc/reference.qbk b/doc/reference.qbk index d1c9221..23cae2d 100644 --- a/doc/reference.qbk +++ b/doc/reference.qbk @@ -379,9 +379,9 @@ assert ( *opt == y ) ; __SPACE__ -[: `optional& optional::operator= ( T& const& rhs ) ;`] +[: `optional& optional::operator= ( T& rhs ) ;`] -* [*Effect:] (Re)binds thee wrapped reference. +* [*Effect:] (Re)binds the wrapped reference. * [*Postconditions: ] `*this` is initialized and it references the same object referenced by `rhs`. * [*Notes:] If `*this` was initialized, is is ['rebound] to the new object. diff --git a/doc/special_cases.qbk b/doc/special_cases.qbk index 07f1039..9975243 100644 --- a/doc/special_cases.qbk +++ b/doc/special_cases.qbk @@ -1,4 +1,4 @@ - + [section Optional references] This library allows the template parameter `T` to be of reference type: @@ -37,7 +37,7 @@ the first time) to the object. Clearly, there is no other choice. assert(x==2); If you assign to a bare C++ reference, the assignment is forwarded to the -referenced object; it's value changes but the reference is never rebound. +referenced object; its value changes but the reference is never rebound. int a = 1 ; int& ra = a ; @@ -95,15 +95,15 @@ use Optional's assignment without explicitly handling the previous initialization state unless your code is capable of functioning whether after the assignment, `a` aliases the same object as `b` or not. -That is, you would have to discriminate in order to be consistency. +That is, you would have to discriminate in order to be consistent. -If in your code rebinding to another object is not an option, then is very -likely that binding for the fist time isn't either. In such case, assignment +If in your code rebinding to another object is not an option, then it is very +likely that binding for the first time isn't either. In such case, assignment to an ['uninitialized ] `optional` shall be prohibited. It is quite possible -that in such scenario the precondition that the lvalue must be already -initialized exist. If it doesn't, then binding for the first time is OK +that in such a scenario it is a precondition that the lvalue must be already +initialized. If it isn't, then binding for the first time is OK while rebinding is not which is IMO very unlikely. -In such scenario, you can assign the value itself directly, as in: +In such a scenario, you can assign the value itself directly, as in: assert(!!opt); *opt=value;