Title
Missing definition for incrementable iterator
Status
open
Section
[output.iterators]
Submitter
Pete Becker

Created on 2011-02-27.00:00:00 last changed 153 months ago

Messages

Date: 2011-08-18.12:47:33

[ 2011 Bloomington ]

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

Date: 2011-03-02.00:00:00

[ 2011-03-02: Daniel comments: ]

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

Date: 2011-02-27.00:00:00

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.

History
Date User Action Args
2011-08-18 12:47:33adminsetmessages: + msg5867
2011-03-24 16:58:37adminsetstatus: new -> open
2011-03-02 23:24:12adminsetmessages: + msg5572
2011-02-27 00:00:00admincreate