diff --git a/doc/rationale.qbk b/doc/rationale.qbk index 3982032a..33033798 100644 --- a/doc/rationale.qbk +++ b/doc/rationale.qbk @@ -120,17 +120,4 @@ should probably change it to a slow swap. The current proposal is that insert, erase and rehash are stable - so they are here. -[h3 [@http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-active.html#528 - 528. TR1: issue 6.19 vs 6.3.4.3/2 (and 6.3.4.5/2)]] - -In the current implementation, for `unordered_set` and -`unordered_multiset`, `iterator` and `const_iterator` have the same type and -`local_iterator` and `const_local_iterator` also have the same type. This makes -it impossible to implement the header exactly as described in the synopsis, as -some member functions are overloaded by the same type. - -The proposed resolution is to add a new subsection to 17.4.4: -[:An implementation shall not supply an overloaded function signature specified in any library clause if such a signature would be inherently ambiguous during overload resolution due to two library types referring to the same type.] -So I don't supply the `iterator` overloads. - [endsect] diff --git a/doc/ref.xml b/doc/ref.xml index 99b161ae..4ee929ab 100644 --- a/doc/ref.xml +++ b/doc/ref.xml @@ -277,25 +277,14 @@ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) Can invalidate iterators, but only if the insert causes the load factor to be greater to or equal to the maximum load factor. - - - - iterator - - - value_type const& - - iterator - - - - const_iterator - - - value_type const& - - const_iterator - + + + const_iterator + + + value_type const& + + iterator Inserts obj in the container if and only if there is no element in the container with an equivalent value. hint is a suggestion to where the element should be inserted. @@ -309,9 +298,8 @@ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) The standard is fairly vague on the meaning of the hint. But the only practical way to use it, and the only way that Boost.Unordered supports is to point to an existing element with the same value. Can invalidate iterators, but only if the insert causes the load factor to be greater to or equal to the maximum load factor. - In this implementation, iterator and const_iterator are the same type, so a single overload is defined to implement both signatures. - +