220 5291 <87a9m1dynq.fsf@euclid.axiomatics.org> article Path: news.gmane.org!not-for-mail From: Gabriel Dos Reis Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Extend defition of INVOKE for member pointers to support types convertible to target class. Date: Fri, 05 Jul 2013 06:38:49 -0500 Organization: axiomatics.org Lines: 44 Approved: news@gmane.org Message-ID: <87a9m1dynq.fsf@euclid.axiomatics.org> References: <63c352e7-5289-4bfa-9f1a-65cd55478391@isocpp.org> <87a9m1j53t.fsf@euclid.axiomatics.org> <3b278ff7-0487-48db-a1e8-6cf8ff7db5b1@isocpp.org> <87hag9bzmo.fsf@euclid.axiomatics.org> <7955cba4-906f-40b4-ae6d-7ef9dfe59181@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-2 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1373024333 2625 80.91.229.3 (5 Jul 2013 11:38:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 5 Jul 2013 11:38:53 +0000 (UTC) Cc: std-proposals@isocpp.org To: tomaszkam@gmail.com Original-X-From: std-proposals+bncBCSYNQUB2UHRBSXA3KHAKGQEGZFYG3Q@isocpp.org Fri Jul 05 13:38:54 2013 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ie0-f198.google.com ([209.85.223.198]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Uv4Ll-0007Ob-ON for gclcip-std-proposals@m.gmane.org; Fri, 05 Jul 2013 13:38:53 +0200 Original-Received: by mail-ie0-f198.google.com with SMTP id s9sf11543826iec.5 for ; Fri, 05 Jul 2013 04:38:52 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-beenthere:from:to:cc:subject:in-reply-to:organization:references :sender:date:message-id:lines:mime-version:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; bh=YlG0fPL9MfCILqaVRW26Xo43r1rGmbg0QzwDbX7bMMc=; b=OiJ9lGlJJNIak4t3epJEMTbzUJx8PHux827o+J84tyWZwxQ4b/KvBxI6wJKfyIisoT /Yu4YIKkX/CF+R3pXhfNz/ypOtq81bmykoryo3n8m3ZHkfVTH92wG7F83TbQJdEqPGkB 2rU2sQqRhIY6JTfFU7aN22ZdWYga3DSy4EWL5Qr1pRxkENxA4UCoywbaDKRrStQ5cmru na13e7uxc7bLkxVf45ZjLcsxp7zCHDMhPyevQ09bC75PmbgVZOtDQSud7W/O9eFBRaMV /CubNumsWdlSGTH2REocYMDhJ2zZd4jsCIZJT1q+c X-Received: by 10.182.191.71 with SMTP id gw7mr2277637obc.8.1373024332866; Fri, 05 Jul 2013 04:38:52 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.182.85.198 with SMTP id j6ls51930obz.81.gmail; Fri, 05 Jul 2013 04:38:50 -0700 (PDT) X-Received: by 10.60.124.69 with SMTP id mg5mr10286098oeb.104.1373024329993; Fri, 05 Jul 2013 04:38:49 -0700 (PDT) Original-Received: from mail.axiomatics.org ([2600:3c00::f03c:91ff:feae:e0e6]) by mx.google.com with ESMTP id l2si5023215obu.34.2013.07.05.04.38.49 for ; Fri, 05 Jul 2013 04:38:49 -0700 (PDT) Received-SPF: neutral (google.com: 2600:3c00::f03c:91ff:feae:e0e6 is neither permitted nor denied by best guess record for domain of gdr@axiomatics.org) client-ip=2600:3c00::f03c:91ff:feae:e0e6; Original-Received: by mail.axiomatics.org (Postfix, from userid 1000) id A9D81ED5C; Fri, 5 Jul 2013 06:38:49 -0500 (CDT) In-Reply-To: <7955cba4-906f-40b4-ae6d-7ef9dfe59181@isocpp.org> (tomaszkam@gmail.com's message of "Fri, 5 Jul 2013 01:34:18 -0700 (PDT)") Original-Sender: gdr@euclid.axiomatics.org Original-Lines: 28 X-Original-Sender: gdr@axiomatics.org X-Original-Authentication-Results: mx.google.com; spf=neutral (google.com: 2600:3c00::f03c:91ff:feae:e0e6 is neither permitted nor denied by best guess record for domain of gdr@axiomatics.org) smtp.mail=gdr@axiomatics.org Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:5291 Archived-At: tomaszkam@gmail.com writes: [...] | W dniu pi=B1tek, 5 lipca 2013 02:48:31 UTC+2 u=BFytkownik Gabriel Dos Rei= s napisa=B3: |=20 | It is a wrapper around integer, shouldn't it have that conversion? |=20 |=20 | I don't see a point to have that class to act both as a integer and an | iterator. I see it would be pretty useful in case of STL algorithms and | container, but they will use only operator* to extract the value, not the | conversions operator. I don't see a point in using it in the context when= the | simple integer will be enough. Maybe I miss something. Well, just because one doesn't see the point means it is worth breaking. It would be devastating if one was to use lack of vision as license to break stuff. Even though we can't forsee every development, we usually try hard. STL principles do not require that a type not provide additional operations if it already satisfies a certain category of iterator requirements. In fact, integers form one of the most abstract representations of iterators. The whole notion of iterators as you see them in STL is based on Peano algebra, and a few additional axioms concerning computational complexity.=20 -- Gaby --=20 ---=20 You received this message because you are subscribed to the Google Groups "= ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposa= ls/. .