From 42147b9e86f6bcdd377d5f6fe45e721885d59198 Mon Sep 17 00:00:00 2001 From: Jeremy Siek Date: Wed, 14 Jan 2004 20:29:51 +0000 Subject: [PATCH] added more rationale to the operator-> issue [SVN r21739] --- doc/iter-issue-list.rst | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/doc/iter-issue-list.rst b/doc/iter-issue-list.rst index 011aada..e1d51dd 100644 --- a/doc/iter-issue-list.rst +++ b/doc/iter-issue-list.rst @@ -952,8 +952,17 @@ instead of ``(*a).m`` ? :Proposed resolution: NAD. :Rationale: We think you're misreading "pre:". - Also requiring proxy iterators to support ``->`` would make old - iterators not conform to new iterator requirements. + If ``(*a).m`` is not well defined, then the iterator is not + required to provide ``a->m``. So a proxy iterator is not + required to provide ``a->m``. + + As an aside, it is possible for proxy iterators to + support ``->``, so changing the requirements to + read ``static_cast(*a).m`` is interesting. + However, such a change to Readable Iterator would + mean that it no longer corresponds to the + input iterator requirements. So old iterators would not necessarily + conform to new iterator requirements. counting_iterator Traversal argument unspecified