[ 2011 Bloomington ]

Agree with Daniel, this will be handled by the resolution of 2035.

[ 2011-03-02: Daniel comments: ]

I believe that the currently proposed resolution of issue 2035 solves this issue as well.

In comp.lang.c++, Vicente Botet raises the following questions:

"In "24.2.4 Output iterators" there are 3 uses of incrementable. I've not found the definition. Could some one point me where it is defined?

Something similar occurs with dereferenceable. While the definition is given in "24.2.1 In general" it is used several times before.

Shouldn't these definitions be moved to some previous section?"

He's right: both terms are used without being properly defined.

There is no definition of "incrementable".

While there is a definition of "dereferenceable", it is, in fact, a definition of "dereferenceable iterator". "dereferenceable" is used throughout Clause 23 (Containers) before its definition in Clause 24. In almost all cases it's referring to iterators, but in [swappable.requirements] there is a mention of "dereferenceable object"; in [allocator.requirements] the table of Descriptive variable definitions refers to a "dereferenceable pointer"; [pointer.traits.functions] refers to a "dereferenceable pointer"; in [locale.time.get.virtuals]/11 (do_get) there is a requirement that a pointer "shall be dereferenceable". In those specific cases it is not defined.