220 32530 <1b5ee8eb-53df-4e98-af2f-829c7bc2e5b2@isocpp.org> article Path: news.gmane.org!.POSTED!not-for-mail From: ma.kalbfuss@web.de Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: relaxing rules for ternary operator. Allow incompatible types. Date: Sat, 20 May 2017 10:41:56 -0700 (PDT) Lines: 80 Approved: news@gmane.org Message-ID: <1b5ee8eb-53df-4e98-af2f-829c7bc2e5b2@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1857_31001462.1495302116957" X-Trace: blaine.gmane.org 1495302121 21035 195.159.176.226 (20 May 2017 17:42:01 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 20 May 2017 17:42:01 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBC7YTI72XQOBBZP7QHEQKGQEOU7PYTY@isocpp.org Sat May 20 19:41:56 2017 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pf0-f198.google.com ([209.85.192.198]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dC8O1-0005Hs-Mc for gclcip-std-proposals@m.gmane.org; Sat, 20 May 2017 19:41:53 +0200 Original-Received: by mail-pf0-f198.google.com with SMTP id n75sf79904336pfh.0 for ; Sat, 20 May 2017 10:41:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:message-id:subject:mime-version: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=wLFQQEWZ6IjQ5DHBwWaL6YEypzX9rcYbA/t/I9hJCH4=; b=XzrxsHH8TcgTfvHgeIIwPl/oeT2IiTapgdmsccL86eGimIAT7mk4rxIiEu7n2axvqm RzyNvBAOWHenK6PcHVPS5UDLVgeXigZ8+Pj4mPg6kA0F4YMKtDwmeEjnkvyg3HK1igVY ZUxiaDyW8ClhHH1hoF4JqJT1y03ztJpXDhOcf5tZ+O2LtrKhSito+CNGBddh/aM260To tVR2fstUoAi4+F14rXVE6ycGT8GH/7CpnyJQx7BHm1TOtvyE4JyNy2FRopts4zR3VCVf hlZp9Sg6jYl9ItI9CyKW9C/BVVBb4qEb4u24/Zr/tMXa3MR35hbwB0R8sR7XolnbRxqZ VXRg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:message-id:subject:mime-version :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=wLFQQEWZ6IjQ5DHBwWaL6YEypzX9rcYbA/t/I9hJCH4=; b=rsbOfS3lc6aYZl5ht87EAwlcagwgqZXmL5O4KOV3EgWGCkKESEmjcQjadqC283k/wi dBweHiCMcklmFRP62lRUJNgv/HC4aCJjdMrlPCx1Gs05dr7xh6/R57SsGNGBJ9EnwASF tVyAi1zb8Ag9LPvZOl8NEshK8fx3+J5R3CZr9kjZbkqEHILlEL3kaXVJizagHHJWEaN9 PaVuNTSRAofJD/SCaiBr9E9WpsAP8FtmhHm8SPjW86eeZzh284DMX6EU7XtFefCmDjkd qeBZjxGN5ZMPXjpNky42ygrdzCPzzKyQ9nu/vXi2xrO3dvZEYdLSVpzYfm+JG/7m5Ovg moeQ== X-Gm-Message-State: AODbwcC3r3vPdttDvNOkKdq6qQU9sTC0oLS0hZ4w/iVQXGbm9u+gDdwf D2L2pIrk2DK4GkWs X-Received: by 10.98.252.20 with SMTP id e20mr6138352pfh.42.1495302118414; Sat, 20 May 2017 10:41:58 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.157.17.19 with SMTP id g19ls803056ote.17.gmail; Sat, 20 May 2017 10:41:57 -0700 (PDT) X-Received: by 10.157.33.109 with SMTP id l42mr322850otd.7.1495302117498; Sat, 20 May 2017 10:41:57 -0700 (PDT) X-Original-Sender: ma.kalbfuss@web.de 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:32530 Archived-At: ------=_Part_1857_31001462.1495302116957 Content-Type: multipart/alternative; boundary="----=_Part_1858_1927772858.1495302116957" ------=_Part_1858_1927772858.1495302116957 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi Guys, I had the following situation: I have a Group of StaticSet classes with a compatible interface but=20 distinct in there concrete type. empty_set is not an intervall! I tried the following: auto dec_digit =3D make_interval('0', '0' + std::min(base, DECIMAL_BASE) - = 1); auto upper_digit =3D (base > DECIMAL_DIGIT) ? make_interval('A', 'A' + (bas= e=20 - 1 - DECIMAL_BASE)) : empty_set; auto lower_digit =3D (base > DECIMAL_DIGIT) ? make_interval('a', 'a' + (bas= e=20 - 1 - DECIMAL_BASE)) : empty_set; Wouldn't it be possible to allow such code, especially in conjunction with= =20 concepts? MFG Martin Kalbfu=C3=9F --=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. To view this discussion on the web visit https://groups.google.com/a/isocpp= ..org/d/msgid/std-proposals/1b5ee8eb-53df-4e98-af2f-829c7bc2e5b2%40isocpp.or= g. ------=_Part_1858_1927772858.1495302116957 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi Guys,

I had the following situation:

I ha= ve a Group of StaticSet classes with a compatible interface but distinct in= there concrete type. empty_set is not an intervall!
I tried the followi= ng:


auto dec_digit =3D make_interval('0', '0' + = std::min(base, DECIMAL_BASE) - 1);
auto upper_digit =3D (base > DECIM= AL_DIGIT) ? make_interval('A', 'A' + (base - 1 - DECIMAL_BA= SE)) : empty_set;
auto lower_digit =3D (base > DECIMAL_DIGIT) ? make_= interval('a', 'a' + (base - 1 - DECIMAL_BASE)) : empty_set;=


Wouldn't it be possible to allow such code, especially in c= onjunction with concepts?

MFG

Martin Kalbfu=C3=9F

--
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 https://groups.google.= com/a/isocpp.org/d/msgid/std-proposals/1b5ee8eb-53df-4e98-af2f-829c7bc2e5b2= %40isocpp.org.
------=_Part_1858_1927772858.1495302116957-- ------=_Part_1857_31001462.1495302116957-- .