220 21401 article Path: news.gmane.org!not-for-mail From: Nicol Bolas Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: alias_ptr, restrict_ptr, unaligned_ptr Date: Wed, 7 Oct 2015 06:42:52 -0700 (PDT) Lines: 76 Approved: news@gmane.org Message-ID: References: <63bcac2c-9d1b-4630-91ed-db588475d61e@isocpp.org> <1580933.kjMTu375fQ@tjmaciei-mobl4> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_506_1445251222.1444225372946" X-Trace: ger.gmane.org 1444225397 4329 80.91.229.3 (7 Oct 2015 13:43:17 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 7 Oct 2015 13:43:17 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBCEKFTV6ZUMBBXWC2SYAKGQE47X5HDA@isocpp.org Wed Oct 07 15:43:16 2015 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-qk0-f198.google.com ([209.85.220.198]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Zjozq-0004zU-23 for gclcip-std-proposals@m.gmane.org; Wed, 07 Oct 2015 15:43:06 +0200 Original-Received: by qkey1 with SMTP id y1sf21597766qke.0 for ; Wed, 07 Oct 2015 06:42:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :content-type:x-original-sender:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=oMufQfG48LLucxu+aeR8Kwb4WcUugtA281yjqVtoq8Q=; b=lrfEkHj1vSEx4xUImU/wW7PXKix8ki1BxPEyX1LBTjRv5wk5wyTHXIj1RTMjTAYEKO 9Bp1/8ivT/cLsImVlxXE0yhIZAdFy23U+LuckoRSGPFZ6j0d6miN5z+X5gcqsSICKLdg IBMA76LbzJE1XGWJlVHxdi1qOrsZrGZDjF6Kp7zau9JA6xO0ltlmcUraWugA3yqz/dzr fC7ER30rI0OZAw12uxjPj0AQH4X2dIxjTzk1MQ3ZXdCwOcAIfDbQUHuKvhN5RhlywSeU QiFcqJ5jNmOFfk2mSSJvkQyKxf4km83hTgfQfDiqEtomvsLHO4gEq+VCFlaFYKCK0M7z 5ToA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:message-id:in-reply-to:references :subject:mime-version:content-type:x-original-sender:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=oMufQfG48LLucxu+aeR8Kwb4WcUugtA281yjqVtoq8Q=; b=JDQHh9pVi70f3vc/EU8K0uw3piIe0WOZ4Nqnjb5nSNFwWWI1LKU+JcjCINC/a+pLxv 0RcI5L8M5nX4DQMKB6t0Hr0GVyO15MbqcH/EloP7frNmy9e+ulmnkQsf464Y6fmTjP06 i7zvj/Ctsq1ypX6aH7BOs/wlVhGAb0YLJ2PnRsQEmHMhdcQz8Cr056XSPZka5CT44c/H X51e5qAHHl51AdsFiIIcvRHEyVTQh48RYHoj3Z6QJoC0q/OYegDm99Wia8EpFdn2Qz9G PAsaAkmix/VpchRkVtCx/aizVqTy5biwtPDBhCqdU/awRITX4aXA5hkfv6O47YyqHrpe VudQ== X-Gm-Message-State: ALoCoQl+ZIOPQjuQNS/L2CyjzO1yVKXHP+Z6Vh0zbqSGMim2qnYrTha6C6O8oCbz/NbrwcCc3lOG X-Received: by 10.129.39.87 with SMTP id n84mr938248ywn.4.1444225374833; Wed, 07 Oct 2015 06:42:54 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.50.117.97 with SMTP id kd1ls223305igb.19.gmail; Wed, 07 Oct 2015 06:42:53 -0700 (PDT) X-Received: by 10.50.142.9 with SMTP id rs9mr25402igb.6.1444225373741; Wed, 07 Oct 2015 06:42:53 -0700 (PDT) In-Reply-To: <1580933.kjMTu375fQ@tjmaciei-mobl4> X-Original-Sender: jmckesson@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org 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:21401 Archived-At: ------=_Part_506_1445251222.1444225372946 Content-Type: multipart/alternative; boundary="----=_Part_507_1785775368.1444225372946" ------=_Part_507_1785775368.1444225372946 Content-Type: text/plain; charset=UTF-8 On Wednesday, October 7, 2015 at 1:59:31 AM UTC-4, Thiago Macieira wrote: > > On Tuesday 06 October 2015 15:30:43 Nicol Bolas wrote: > > The Standard For Programming Language C++ exists for one purpose: to > define > > *behavior*. Not behavior "on typical architectures"; behavior > *everywhere*. > > On the other hand, there's something to be said about the 0.01% case > holding > the 99.99% case hostage... > That's why I suggested a TS, where we can actually define these sorts of things. As a TS, it wouldn't be a required part of C++, but it would be conditionally supported by implementations that could implement it. That way, all this behavior doesn't have to be "implementation-defined". You can actually *say* what it means. -- --- 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 email 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-proposals/. ------=_Part_507_1785775368.1444225372946 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On Wednesday, October 7, 2015 at 1:59:31 AM UTC-4, Thiago = Macieira wrote:
On Tuesday 06 O= ctober 2015 15:30:43 Nicol Bolas wrote:
> The Standard For Programming Language C++ exists for one purpose: = to define=20
> *behavior*. Not behavior "on typical architectures"; beh= avior *everywhere*.

On the other hand, there's something to be said about the 0.01% cas= e holding=20
the 99.99% case hostage...

That's why I su= ggested a TS, where we can actually define these sorts of things. As a TS, = it wouldn't be a required part of C++, but it would be conditionally su= pported by implementations that could implement it.

That way, all th= is behavior doesn't have to be "implementation-defined". You = can actually say what it means.

--

---
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+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-proposals/<= /a>.
------=_Part_507_1785775368.1444225372946-- ------=_Part_506_1445251222.1444225372946-- .