220 37547 article Path: news.gmane.org!.POSTED!not-for-mail From: "'Edward Catmur' via ISO C++ Standard - Future Proposals" Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Allowing std::complex's magic permission for other types Date: Wed, 28 Mar 2018 17:38:50 +0100 Lines: 116 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="94eb2c074a785cb96905687ba4c2" X-Trace: blaine.gmane.org 1522255009 29020 195.159.176.226 (28 Mar 2018 16:36:49 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 28 Mar 2018 16:36:49 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDZLZTXF7UJBBHEK57KQKGQEYCG64ZY@isocpp.org Wed Mar 28 18:36:45 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-wr0-f198.google.com ([209.85.128.198]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1f1E45-0007TY-8M for gclcip-std-proposals@m.gmane.org; Wed, 28 Mar 2018 18:36:45 +0200 Original-Received: by mail-wr0-f198.google.com with SMTP id p4sf1429990wrf.17 for ; Wed, 28 Mar 2018 09:38:53 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1522255133; cv=pass; d=google.com; s=arc-20160816; b=B/x5pFxXXGolxxTu/syPSlhsbhOcgkBISNSuFs5vQV9hBIJNzK9ejn2tYA+9pOZ2W+ mJrdMb+JuAOZN+PXP+vkrIa0k+yOTfrZtYrko3wuFl30TRWQ782t1Hwn1D9m+kPmpU83 EDiJ8hcKBCmkm57f1EN12ntOlEgltX8gEFsSJ6S0OQDEYneBiZ3qAuRqd00C5DR2p09j NAtZfhM9Uz3XrF+/rsFL3ZzMea4XGhcbkgT3ABOBsf2TU3Eje6V//rWxjfpqdeqBTCyy hykyruxi155WfDuXDZLJa2u1o86OmuuYKWzJiHRJXowFCFsT5471fO6BN4ienR/Lasb8 ZSbQ== 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=3nU55eHfBDMPtPwx8aaeBX4BdKGONtHmJSIZvuxuKmQ=; b=rKrSCPUXHflj6fGd03arNUk4lgcQGtuiV6LeSmEqBiq9MohJ3xAkfLmNikpPscyllY uM9UEQsz0/SWpDfbtEbDRMSzBpk4MDWFAPAfa8nhsS3gjbq4ErVwSnjUpzkedruV7+JJ Ybvfuth9m7ff5F8KMwkm5iZP4bXu12IOUi9uH/SalwBcEhR5UyPCCBcNnRX+pt4aRlrr N8MF4Po2mmPoVwmqB7UTfdWya1lgg+MiAks0N/9ifoob/8WkEhe3+71DKdNKTBhn96mG q68TTiXhVvDLQiunezyq9RbYJJ6t3fb0Eh0zA+9JcWNwH/yx57gJDhPCRdj7gP9F83Fh fefQ== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@googlemail.com header.s=20161025 header.b=O1+AcNgl; spf=pass (google.com: domain of ecatmur@googlemail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=ecatmur@googlemail.com; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=googlemail.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=3nU55eHfBDMPtPwx8aaeBX4BdKGONtHmJSIZvuxuKmQ=; b=X/orgGy+I4KjQYtm7I4mx9v6QPxDxOnNzoUbhYCWDjKVhC0Zfm5k53ASjRdINhDr3z oplB3J8p/5+qtl0CU2rqxfj7FZc/RfK87aA8ZVVsVQom9KYY6bTMoj/MwJEri1Jk85gQ yy2ulECg07iXMuc+SZgEzEq5ED0alIA7UL68D67z6zG5c47kAs0nMBRcxy6ZY01d9q/B DmrPaup1sTUOYKQGLi3ef9SZgcASenJKRy+2D07R2YZiAjZnwXmrLB7NgTmQ7wk0xcgK LqlmDkPWd13l2gd0KiBPIAWhAnQBgxdXTH6ZxyVl1VmJiPkrbO0Ayjc39oOF0ljPfPyW ntBw== 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=3nU55eHfBDMPtPwx8aaeBX4BdKGONtHmJSIZvuxuKmQ=; b=OZ+9fVTUwi8CBxrsxMEBMEn0eQSet7NClBVDroN6wkmd4dtWSCTmHxx5DV6tTxGcnN OYyVFJoI/aMGZcDZf/6K35/+dTDMg+3hJUlDEjJsHGpgxljIKicLScFs5vuhwwyHhVQ9 B0BI+DybGiZ0WENoQz9kbqUB3LJU7N9leyOrYI/Xj5ps/8miQMhomHgpVle38fO4YVSL lF4pTTRXj28oIsnKdGc9WpDUv8lBoTXN6jm3yjbSXS1WCAKVXQu0OK0AF645JQhXzIFH 73YR0Urw/O1aEKUOz1IcxMRDOaWBEDSJCF4ImIXLvtYZORoASiVtOhRO+GbHRC7vWun8 w2PA== X-Gm-Message-State: AElRT7GQ5LGQZOK97InyfA72q2PAwl1kZiIlawiShwmTXySZboGf46Xd Rs+p48y+RJJso2upY8m3PzU= X-Google-Smtp-Source: AIpwx4/vQhue0hEdjzFgehR35PlpFq94vptvBdB0UVcF0V1GzZsM9Y/ad+RwftUaHUndFnvTSLYXmg== X-Received: by 10.28.133.211 with SMTP id h202mr1462590wmd.28.1522255133001; Wed, 28 Mar 2018 09:38:53 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.28.116.26 with SMTP id p26ls956950wmc.11.gmail; Wed, 28 Mar 2018 09:38:51 -0700 (PDT) X-Received: by 10.28.228.131 with SMTP id b125mr3099069wmh.153.1522255131718; Wed, 28 Mar 2018 09:38:51 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1522255131; cv=none; d=google.com; s=arc-20160816; b=PIpXEgpIr2rzNHIypOI4ANBT5KE3AXDuMleCB/Ztlfhme5vslT6tDxrTdobbE+6l8P KpnRg3VArsSc3uL97P4nlLYivoNF0fxqnMt7sY+UmzWQ+174TBaMlrShHpSNKa+wjHFh UfVho2O47vzxInf7gCHJjVI5hiL4GkGZBXyNVoXBlv8XL+tBaeawn8KldnfQMKUu/yJ9 uRc62dyZHR+/oWr6K7xyVK+f2LwBUWXNennJyoxYDDyxjRJfcdPGlF76yCqtfCpw2425 xPGR26/rKp/tuQ6GAXK1hMIQbFPBLpJq+OI9hm9JkbUgkPhQ4vvOUgZKKwOE6sF6sda6 2IDQ== 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=n0f6r2F6iGo0q3B1LVCeQeiHu0gHdp5Dk2U0m3FV2d8=; b=ZGqLmE0qfJ2HtFPeR50OdUPJ/N2bxAfK1Ai0Fk7/O3GiU2mH/CN01xRUIx+8+1LDAt 89ViLG1ArKJh9BGwaYM+4/T0fgN8jqG3x2TGr5O7sO2CjCkJIqIfA1Wi+21Yp681DfFN 5Zud+YqbpyrN5mZFcf6HtTpdE9sCc+zGZctPs8mIgE7gQZD5P9zca5/IOwWEp6WkYWWt WGH7zD+hDAFSisMwHFLHpfS6ghRYjBrNy+Zb94E3tDUTgmlAkx+bXPAEonkDsN7ZS+4n TtAQH5EpskxWPu41KVz5Ffzc1ufJGqIb097vEL57xRAJNu+seAoR2VE35voMnIOue3IW 32cA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@googlemail.com header.s=20161025 header.b=O1+AcNgl; spf=pass (google.com: domain of ecatmur@googlemail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=ecatmur@googlemail.com; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=googlemail.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 128sor1467708wme.18.2018.03.28.09.38.51 for (Google Transport Security); Wed, 28 Mar 2018 09:38:51 -0700 (PDT) Received-SPF: pass (google.com: domain of ecatmur@googlemail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 10.28.164.68 with SMTP id n65mr3496604wme.123.1522255131358; Wed, 28 Mar 2018 09:38:51 -0700 (PDT) Original-Received: by 10.28.174.72 with HTTP; Wed, 28 Mar 2018 09:38:50 -0700 (PDT) In-Reply-To: X-Original-Sender: ecatmur@googlemail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@googlemail.com header.s=20161025 header.b=O1+AcNgl; spf=pass (google.com: domain of ecatmur@googlemail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=ecatmur@googlemail.com; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=googlemail.com X-Original-From: Edward Catmur 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:37547 Archived-At: --94eb2c074a785cb96905687ba4c2 Content-Type: text/plain; charset="UTF-8" On Wed, Mar 28, 2018 at 5:28 PM, Viacheslav Usov wrote: > On Wed, Mar 28, 2018 at 6:21 PM, 'Edward Catmur' via ISO C++ Standard - > Future Proposals wrote: > > > It's unspecified per [expr.eq]/2.1, so (bar + 2) == baz must have the > value true or false, but can be either and does not need to be consistently > one or the other; ((bar + 2) == baz) == ((bar + 2) == baz) can also be > false. At least it isn't undefined. > > How about per [expr.eq]/2? To quote you again, "it has the same address". > That's [expr.eq]/2.2, which comes after 2.1 and is guarded by an "Otherwise". Are you perhaps looking at an old version of the Standard? > Cheers, > V. > > -- > You received this message because you are subscribed to a topic in the > Google Groups "ISO C++ Standard - Future Proposals" group. > To unsubscribe from this topic, visit https://groups.google.com/a/ > isocpp.org/d/topic/std-proposals/HpRRF7RWzTY/unsubscribe. > To unsubscribe from this group and all its topics, 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/CAA7YVg20tNjDzVSiQpoutAcFSuTNf > %2B71mrxHRA9gWRmXv5Ja6A%40mail.gmail.com > > . > -- 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/CAJnLdObgKF5w_wGFFJXM6ALS3jS6E5di%2B_zKZHcwh67GDyZcXQ%40mail.gmail.com. --94eb2c074a785cb96905687ba4c2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On W= ed, Mar 28, 2018 at 5:28 PM, Viacheslav Usov <via.usov@gmail.com>= wrote:
On Wed, Mar 2= 8, 2018 at 6:21 PM, 'Edward Catmur' via ISO C++ Standard - Future P= roposals <std-proposals@isocpp.org> wrote:
> It's unspecified per [expr.eq]/2.1, so (bar + 2) =3D= =3D baz must have the value true or false, but can be either and does not n= eed to be consistently one or the other; ((bar + 2) =3D=3D baz) =3D=3D=C2= =A0((bar + 2) =3D=3D baz) can also be false. At least it isn't undefine= d.

How about per=C2=A0[expr.eq]/2? To quote= you again, "it has the same address".<= /span>

That's [= expr.eq]/2.2, which comes after 2.1 and is guarded by an "Otherwise&qu= ot;. Are you perhaps looking at an old version of the Standard?
= =C2=A0
Cheers,
V.=

--
You received this message because you are subscribed to a topic in the Goog= le Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this topic, visit https://groups.google.com/a/isocpp.org/d/topic/std-proposals/H= pRRF7RWzTY/unsubscribe.
To unsubscribe from this group and all its topics, send an email to std-prop= osals+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/st= d-proposals/CAA7YVg20tNjDzVSiQpoutAcFSuTNf%2B71mrxHRA9gWRmXv= 5Ja6A%40mail.gmail.com.

--
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 h= ttps://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAJnLdObgKF5w_w= GFFJXM6ALS3jS6E5di%2B_zKZHcwh67GDyZcXQ%40mail.gmail.com.
--94eb2c074a785cb96905687ba4c2-- .