220 37546 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: Wed, 28 Mar 2018 18:28:43 +0200 Lines: 62 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="089e0822221433591d05687b80d4" X-Trace: blaine.gmane.org 1522254404 17418 195.159.176.226 (28 Mar 2018 16:26:44 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 28 Mar 2018 16:26:44 +0000 (UTC) To: "ISO C++ Standard - Future Proposals" Original-X-From: std-proposals+bncBDU6VRPKW4BBBPMF57KQKGQEPMA46AQ@isocpp.org Wed Mar 28 18:26:40 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pg0-f70.google.com ([74.125.83.70]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1f1DuJ-0004PX-Go for gclcip-std-proposals@m.gmane.org; Wed, 28 Mar 2018 18:26:39 +0200 Original-Received: by mail-pg0-f70.google.com with SMTP id i127sf1508676pgc.22 for ; Wed, 28 Mar 2018 09:28:47 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1522254526; cv=pass; d=google.com; s=arc-20160816; b=uBsBNbKYWPGUutXRwLPFlOcTbs37K9E9vW5vOLteWjoo0rgksOIANJRIIbzCQ252Qx NeWKgzY2YBpk3wjD0gG8tWYlUH09hTJqOlNwq7U5B73mCdy4D6kbJ8QEnvzuDVY4Gxeo TNUkammWZhVDKak3pUdlnLTMnCgSh4aEUUt9MaqFkrl+XlhqbRgmtQPx7zc+9glM1r5d ZqlFsM+wN7O9EV5lpe0AC0IJ6/IYvKkXHvTdKI9Ia83I/HuGST+8CgWSqAszyxM2QpIV K6p10kgrNWkO69VgxKggowK/r1/rkS0GL7dRACgU04CEYxzCxSM2pF6zRxBjgvFIPdGl Cqgw== 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=F2Y5JJqCkiN93RUwK6ZG/g0OxsGrXqMgjyoqKgRBPt0=; b=0aFRctGe8Gfv1b4rC3gDJlvPNgIqxo5s6DM2Ls3WEEOtCGekc4OxsaxTFCSB3+2dtg 7SB2KYKgIPDOFphNKbt419vsdbWdT4vEg4d00B8+I88/8xtCj57LVRXA179N7boBCGBv wO1HI2mllqqg4INgk7e9ib6hlBy451UKo2Cu7VWf1e5tqz6tsTCnEyxFiwgx3jDrdHTX AdNfie4Lt1FDZfgnktxeCTNeE5JYb3QKp8VVdaNbgBprlvKqvNK1Hwyd3iCmzZTdWlP1 eXhDjBcRPb4TJuxTjWr07DguTIfwKHasb22fjOQ0fZnG10oO0fHtrHEvjoM4X6pzeRUl Fd7w== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=tWVNLSzD; 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=F2Y5JJqCkiN93RUwK6ZG/g0OxsGrXqMgjyoqKgRBPt0=; b=K0l0WvcQx8WfUQJYtVHYe7TFPVqMvn+sMslL1d0Nv5CRUyEwokEsAVu5u2UpebsGyq o+ixlN3We3149pUIB20diX6bfqDSyAiQpFyNwSVeOc8OaxBc/MQ1YPYqe+g27qoiNxdy 5EExi/O5TVROtb6kkTwvk17BO1etbcfhT1OlKeUsqvhRXjVyF8AJADlRFVROJY2YjfIz I4+ux0UFfjrNWBvQwGNmH2AOw3bLJcBXanwVWQaAzFVRm7Ae42SCwcEcdk8wGKAdjHVT DORqb+mxx4aEE7TcnIS/rAZqN5HmD1Tgcx7GoQ5A83kSPS4LNukRq+acjURInF4f6h9f 76pw== 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=F2Y5JJqCkiN93RUwK6ZG/g0OxsGrXqMgjyoqKgRBPt0=; b=QJ95aY15/3DPwE4ZTmXabTQQDx+tRINVEiPJzxebL4I7sq00e0GEhgcM0RIwfK3IWL IpXDbIwe1NletUT9c9EFRKeYYI6Hk/ZuU0QwtyZG6kfLRluA9xwesDNyeX+wmTGtKwYa 1Bn6EwFkKwsj3lIiDkO1RcsHTVTi9iRDfX4zPnNcSv7GJnunmy8q/HEvwk7E3rnZWXAz dzMQu787t9tSyfjXKF34k2nU/M9Y00n1oLUqK9pzvfdFrLXDR7uPOHoHkCBJ6Dszhhgf Lxe1yrSA2meYXaRWzFFymLMxZRGJe70NrBkTJ0Zb3NwYu47pRit7sOrePtEMURKH3AQv ihjQ== X-Gm-Message-State: AElRT7HpwuC9l0KTJc2trXsNz40GH0fOUHO0m7jNYxrzIZNXUv0oByhz dzSWPSbG9zTPREsQ9XQNxSmOKw== X-Google-Smtp-Source: AG47ELtpFcQWVzQIzDKLZrg11qZfxBHG07YqsDI6fXtKtxC00hbV/cGXOkeY3gDTJ4mZ/hCinzvLqQ== X-Received: by 10.99.5.81 with SMTP id 78mr10582002pgf.102.1522254526546; Wed, 28 Mar 2018 09:28:46 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a17:902:ab8f:: with SMTP id f15-v6ls1935134plr.4.gmail; Wed, 28 Mar 2018 09:28:45 -0700 (PDT) X-Received: by 2002:a17:902:b40b:: with SMTP id x11-v6mr4500558plr.203.1522254525548; Wed, 28 Mar 2018 09:28:45 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1522254525; cv=none; d=google.com; s=arc-20160816; b=nIGpRtqAvyMDUZqKyEZpy3Fr59iKOy4DFtilvdI3gdlqcOmvEuD1I+3X58FYSlwFWE DjUxE1qU9T+z/NcBJyjfjoeNHMUqgQZczhZcWg0l4S7v1LvNaJq5bZ7oXuOfEdYtpojz XzQwcB20kiRF9t5u/4zA7K1SP/Y4QkkHigsP8Y0RAeJi58AXGxtfFCW/BZo2XY5t9tTc t3JBLkjtZ7Gjh+P/kiF6f3uN4QPO2aKvbg+MUU6IuHnxORw1ZhKf2nZeMWCkziQYgnNe jIiM5KmJ/zIPLrBZmLC2IO6R5A4cuC9JVOI7mBOPhNfg5TQlIgsyiVr+quspwH7stZJv +B9w== 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=I3G/1clhb7heck9iZIbKhUwV+wrCmgLsUcTlzjufOYk=; b=uSz1Xmr+3V8fMUXZZHFqXoQ8xJ+469qo8WNE+H0bUBb4C3cDNVQZ0Ry+daNDZQugML dlx+plEKBd3L74Mkpz+JofSYD/pb8Suj3AnOMebGHy+KO7Mda3OZNeZeBxeGBXLq3Dvu 8Ydhn9DR2qH8Ne9KRj64TnBfGxJqrITmi+qdHZO1K9tobQbJz7mRGARONA+PXrl393e7 1fTAinp+RZqoNhPExXZrjN9LjhbMrvD69XToloFj1olgFKkfZboIOq5UBmsvFmjeD299 qhQs2W2opGSm08JCCVWBxqGWqfJmUYbxoBVFlcTN64f7wvCE+uv+Vu2JWzF+AgreUyPK aLIg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=tWVNLSzD; 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 a124sor1146357pgc.25.2018.03.28.09.28.45 for (Google Transport Security); Wed, 28 Mar 2018 09:28:45 -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 10.101.73.207 with SMTP id t15mr3095626pgs.204.1522254524666; Wed, 28 Mar 2018 09:28:44 -0700 (PDT) Original-Received: by 10.236.175.138 with HTTP; Wed, 28 Mar 2018 09:28:43 -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=tWVNLSzD; 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:37546 Archived-At: --089e0822221433591d05687b80d4 Content-Type: text/plain; charset="UTF-8" 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". 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/CAA7YVg20tNjDzVSiQpoutAcFSuTNf%2B71mrxHRA9gWRmXv5Ja6A%40mail.gmail.com. --089e0822221433591d05687b80d4 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On W= ed, Mar 28, 2018 at 6:21 PM, 'Edward Catmur' via ISO C++ Standard -= Future Proposals <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 do= es not need 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 un= defined.

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

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 h= ttps://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAA7YVg20tNjDzV= SiQpoutAcFSuTNf%2B71mrxHRA9gWRmXv5Ja6A%40mail.gmail.com.
--089e0822221433591d05687b80d4-- .