220 37555 article Path: news.gmane.org!.POSTED!not-for-mail From: Viacheslav Usov Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Allowing std::complex's magic permission for other types Date: Thu, 29 Mar 2018 08:17:23 +0200 Lines: 61 Approved: news@gmane.org Message-ID: References: <018c02d9-7c65-4451-acc1-c49196fc7622@isocpp.org> <1e25a8ae-4752-4fc0-8c89-639cef53121c@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000b9e12c056887135e" X-Trace: blaine.gmane.org 1522304124 5895 195.159.176.226 (29 Mar 2018 06:15:24 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 29 Mar 2018 06:15:24 +0000 (UTC) To: "ISO C++ Standard - Future Proposals" Original-X-From: std-proposals+bncBDU6VRPKW4BBB5MJ6LKQKGQEQAPBSBA@isocpp.org Thu Mar 29 08:15:20 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pf0-f197.google.com ([209.85.192.197]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1f1QqF-0001RA-L5 for gclcip-std-proposals@m.gmane.org; Thu, 29 Mar 2018 08:15:19 +0200 Original-Received: by mail-pf0-f197.google.com with SMTP id d5sf3383836pfn.12 for ; Wed, 28 Mar 2018 23:17:27 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1522304246; cv=pass; d=google.com; s=arc-20160816; b=pbLtNrqWizKehHxYElxQLfm+Bk22H2oNsOrsMx+fd9JJqTrt1i9oWr7eE/kZtZYIuF NloeyDk2jUMhFjla7uBQKJfGgxyEavEVvSKD7mzR3LuH/9UjYcGA8fj39oV5ImIK0rkf 17KhAKx2mnFbtV9q+Awznrmw6w1vKUE2xPaakw06Qze/Aoi6A/ZiLJuSSUMwJZiiCAZR dzkePOfrK3SQBkhjWjiIMetNYpsX5jpgUgik7K3PNX0X1CAUpTcszS9oMkQBNuLzKRPA 7+94ZqpWqMPMaPF/phaYIm7zZUr5tYwcZJdDWW8o0QfiOckv5Gj2sqLXmDclEFMkZWbx ugIQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:to:subject:message-id:date :from:references:in-reply-to:mime-version:arc-authentication-results :arc-message-signature:dkim-signature:arc-authentication-results; bh=5CC6fRri6uSFG1YoShr3eWKkRm/q9CXrGW/20Le3Clo=; b=YLCkTzgaptsweBMqHRtVAWxZEX7fUnIpj/wvS43OORUlXWXQUZIFE4Q3tDU4mEqbAA 0kXz69eNxh5jj7Kd/4Sk03u2jK6w0PpgMTea3TmpJx+crSMEan4mb/+Xzf0dwT6AGljT jH2Hhkt3J626oy4JxUvZuKcu8kcNSfoqT+TW9pFGMoMdzVzksmdXRFSkCiDmTkqRQ9bP cFe6hXaIazKPn/aOAIkkS2ny96NmkUv4tiqwRnqoRs7CTR25+8lfl+8/xpZarkyPLYWY Am0o57FCSBaCK3pO9zgatjpAwtz2kWDN6F+b032l36KbBwLSCsPlCy3JjUvmASJNg5b6 dqSA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=VPXch79D; spf=pass (google.com: domain of via.usov@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=via.usov@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=5CC6fRri6uSFG1YoShr3eWKkRm/q9CXrGW/20Le3Clo=; b=Zu4S2QHXTb5Xf3Zalw0KmgIA8gbMqxXkoj5rkCAx6H+cLHSH3No7HGKbZzxJXFPzGu pvPV7Bp+iDW8MXbq/Fkfp15OKjPzO81pg/V9q0Y5hjLhEked6QrPpVjO2dAsDZSWdQPj 4FizaUpn6qd/6bOL6kPQpXIucrCzFQaFqVy7Lflt68FQeZ0v9VyL80KdCe3kywiGezjL Yv+NXG4E5A9qv8Ec7grhErXg+NyCsZ6bSlY/x5RkOBtlf9SY3TBfDUEzf4UyCUZTlVpr xsMWM3dH4G4m/vs1yFvGfMV7q2ibLjJZ+hyR0CbUJvl0WDxoUCI2KSFJwsi5lxZbG2jF fMEw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=5CC6fRri6uSFG1YoShr3eWKkRm/q9CXrGW/20Le3Clo=; b=eun6MnCYj2GLf+TOnoO8W+eePktKzfev5r20Iv5yhfske1kPeo5tsJBCaEDQhwCiAX 1R8Un0NwenPzTDVHsF8eyRjj3VAcFWTg1pYDqztDaP5ggxxZeDH+NY1eNf+GsAJreirC qdBxH39u7FEar+QcvIgM1ld5pSH2XKALC5/5eAHY2Fyu2qIpBFCVEa8i8BiLLYRKVJ3f BVHow0/HLzFnXs8BsuJMvM7H49UZG0N07TEaGBH6hWZlR8IDQGbeWxd/1X/Xu46UHOGh 8rcVDgb+O8CGqVAuv6IVfhLyiOcnkWuU7n3ED+uRH6TOmlfBK+dywJGM7L9dSh8eGeHU ZvJg== X-Gm-Message-State: AElRT7Gm/mFU9ErqPI3jqaHrRWjcp4N+qsWyyDWTFiV57YRZkkou3AY9 7EtEeFfvqKCqOkCMB7EwvI1sQA== X-Google-Smtp-Source: AG47ELue+PZmLvEc3RFum3BUbkqTtSs95QKNvmThUMXjlsbBGW1hdc9xuvjdQS3V1JM2fEOouD1v4w== X-Received: by 2002:a17:902:1763:: with SMTP id i90-v6mr8411759pli.10.1522304246640; Wed, 28 Mar 2018 23:17:26 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.101.93.77 with SMTP id e13ls1220833pgt.5.gmail; Wed, 28 Mar 2018 23:17:25 -0700 (PDT) X-Received: by 10.98.77.197 with SMTP id a188mr5321712pfb.219.1522304245222; Wed, 28 Mar 2018 23:17:25 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1522304245; cv=none; d=google.com; s=arc-20160816; b=LSINC19+RGEh3mHHnyYj8f5d3y6Os0krGv7T9/IGloZ7dAPuf9QDV2Eo8E2t4InAKj W7byPUt3GvcaJ/0+2tecHIjJZIHzltD+azEq9xrmeUz/HhvOSVB+DnVVcmFVKpT6jo3/ JN0yUIBwJvQxv3nBbLTgAngaXG93xbkzs3vCCeW/FhtDf0J3QxOCAmO0ZtHyu0hZAGwU YRPG22Smk8pYCn4VCnarYjdinMR+pCUNrCS1xk2fxwlH1bPinjy5c+jhmzLPXLkrZ4xG KBnJT3O1pT+UzEC7xGc0L34kbX8mER5amRUaiA0N1pMRrxvWhsEA5duY63MjLJyq3dx2 ajXA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:references:in-reply-to:mime-version :dkim-signature:arc-authentication-results; bh=wfIWjKcsyY/eUA8VbinAoJsUCSlpUcjtukaii3NBTqI=; b=zUW4mv9kacbS0HmxMAZwsMhdb3/3AHbDS0pPYZDa7PNzh9GleSJSclq0iA0dp9AExu rs+npr7l0/+HAo8TItT3fh4ZSAlnmymZCPRxCNCXUrU2ud4E1RyypqxhUP9r1IM43+/p whuXLwAueUXbKYQlDMqyUP0r3r5bS71BRC3eTlSssZV/pxUdLFyciuQArgbU55wUMzQy LqzOXbdHN8l+ANAvzNPGctq6Epcn607yuT+mKscw57kEw2gzE/BvQF+N5j/u9e9hdc5b xkhnbrBwtb0VtdJ8fwswQPYk/UBfcABwxXpZGYbnnJGYPbVOX8SU5GVpNIM3WaGxK/ox WUTQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=VPXch79D; spf=pass (google.com: domain of via.usov@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=via.usov@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Original-Received: from mail-sor-f41.google.com (mail-sor-f41.google.com. [209.85.220.41]) by mx.google.com with SMTPS id x12-v6sor2811430plm.3.2018.03.28.23.17.25 for (Google Transport Security); Wed, 28 Mar 2018 23:17:25 -0700 (PDT) Received-SPF: pass (google.com: domain of via.usov@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 2002:a17:902:680c:: with SMTP id h12-v6mr7215443plk.46.1522304244374; Wed, 28 Mar 2018 23:17:24 -0700 (PDT) Original-Received: by 10.236.175.138 with HTTP; Wed, 28 Mar 2018 23:17:23 -0700 (PDT) In-Reply-To: X-Original-Sender: via.usov@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=VPXch79D; spf=pass (google.com: domain of via.usov@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=via.usov@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=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:37555 Archived-At: --000000000000b9e12c056887135e Content-Type: text/plain; charset="UTF-8" On Wed, Mar 28, 2018 at 6:38 PM, 'Edward Catmur' via ISO C++ Standard - Future Proposals wrote: > That's [expr.eq]/2.2, which comes after 2.1 and is guarded by an "Otherwise". Per 2.2., "they compare equal" and your prior statements of unspecified comparison are non sequitur. So, now, we have pointers to int (bar + 2) and baz representing the same address and comparing equal, and baz[0] is well defined. What do you say about bar[2]? Cheers, V. -- 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. To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAA7YVg3yg4tnv5W91LbRqV0Q7dx9EyWPuddfoRYANS__X2eiXA%40mail.gmail.com. --000000000000b9e12c056887135e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On W= ed, Mar 28, 2018 at 6:38 PM, 'Edward Catmur' via ISO C++ Standard -= Future Proposals <std-proposals@isocpp.org> wrote:

> That's [expr.eq]/2.2, which comes after 2.1 = and is guarded by an "Otherwise".

Per 2.= 2., "they compare equal" and your prior statements of unspecified= comparison are non sequitur.

So, now, we have poi= nters to int (bar + 2) and baz representing the same address and comparing = equal, and baz[0] is well defined.

What do you say= about bar[2]?

Cheers,
V.

--
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.
To view this discussion on the web visit htt= ps://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAA7YVg3yg4tnv5W9= 1LbRqV0Q7dx9EyWPuddfoRYANS__X2eiXA%40mail.gmail.com.
--000000000000b9e12c056887135e-- .