From -7744599071727167677 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f78e5,396a971a96f93ef8 X-Google-Attributes: gidf78e5,public X-Google-ArrivalTime: 2003-03-02 12:10:24 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!kibo.news.demon.net!mutlu.news.demon.net!demon!mail2news.demon.co.uk!devnull From: markus.mauhart@nospamm.chello.at ("Markus Mauhart") Newsgroups: comp.std.c++ Subject: Re: random access iterator and copy-constructibility Date: Sun, 2 Mar 2003 20:10:23 +0000 (UTC) Organization: Customers chello Austria Lines: 45 Approved: fjh@cs.mu.oz.au (Fergus Henderson , moderator of comp.std.c++) Message-ID: References: X-Trace: mail2news.demon.co.uk 1046635823 29003 10.0.0.1 (2 Mar 2003 20:10:23 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Sun, 2 Mar 2003 20:10:23 +0000 (UTC) X-Received: from mulga.cs.mu.oz.au ([128.250.1.22]) by news.demon.co.uk with esmtp (Exim 4.05) id 18pZmv-0007Xe-00 for mail2news@news.news.demon.net; Sun, 02 Mar 2003 20:10:22 +0000 X-Received: by mulga.cs.mu.OZ.AU id HAA27050; Mon, 3 Mar 2003 07:10:13 +1100 (EST) X-Authentication-Warning: mulga.cs.mu.OZ.AU: fjh set sender to devnull@stump.algebra.com using -f X-Path: comp-std-cpp-robomod!not-for-mail X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov) X-Delivered-To: std-c++@ncar.ucar.edu X-Newsgroups: comp.std.c++ X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 X-NNTP-Posting-Date: Sun, 02 Mar 2003 13:45:27 MET X-MailScanner: PASSED (v1.2.7 73759 h22CjVr8078631 mailbox2.ucsd.edu) X-Spam-Status: No, hits=-4.5 required=5.0 tests=INVALID_MSGID,NOSPAM_INC,PRIORITY_NO_NAME, QUOTED_EMAIL_TEXT,REFERENCES,SPAM_PHRASE_00_01 version=2.41 Xref: archiver1.google.com comp.std.c++:18133 ""Mirek Fidler"" ... > > Is there anywhere in standard place that states that type pointed to by > random access iterator must have copy-constructor ? That is if > > i > > is random access iterator and > > *i > > has type T then > > T x = *i; > > is defined ? I think there must be such place, but I cannot find it... What about the following proof: random access iterator is bidirectional is foreward. bidi, table 75: *i-- ... convertible to T. 'convertible' is not really defined, but common agreement seems to be that it means 'implicitely convertible' (4, par3): => "T a = *i--" is OK. table 75 again, operational semantics of i-- => "T a = *i" is OK. Is this OK ? Btw, this doesnt say anything about copy-constructor. One problem with it: IIRC there are a lot of DR's around iterators, so this part of table 75 might not be valid when we need it. --- [ comp.std.c++ is moderated. To submit articles, try just posting with ] [ your news-reader. If that fails, use mailto:std-c++@ncar.ucar.edu ] [ --- Please see the FAQ before posting. --- ] [ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html ]