220 29469 article Path: news.gmane.org!.POSTED!not-for-mail From: "'Matt Calabrese' via ISO C++ Standard - Future Proposals" Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Allowing string literals to match `char...` packs in templates Date: Fri, 18 Nov 2016 11:50:45 -0500 Lines: 74 Approved: news@gmane.org Message-ID: References: <9de07b5f-f870-4a02-882f-54f9fdd12ffd@isocpp.org> <0cc57751-f41a-4da2-88e7-a42eb61f57cd@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=94eb2c1b5da47df0e90541961ba2 X-Trace: blaine.gmane.org 1479487854 2676 195.159.176.226 (18 Nov 2016 16:50:54 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 18 Nov 2016 16:50:54 +0000 (UTC) To: "ISO C++ Standard - Future Proposals" Original-X-From: std-proposals+bncBCGNLO5F34OBBZXCXTAQKGQEWHQZMMI@isocpp.org Fri Nov 18 17:50:50 2016 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pf0-f200.google.com ([209.85.192.200]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1c7mN9-0007gC-QN for gclcip-std-proposals@m.gmane.org; Fri, 18 Nov 2016 17:50:43 +0100 Original-Received: by mail-pf0-f200.google.com with SMTP id a8sf145278332pfg.0 for ; Fri, 18 Nov 2016 08:50:47 -0800 (PST) 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:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=yK3Qr5mXEjgiJkVDSuFZ9yiOEtxL7DEtxyuQlFiWZFQ=; b=VjJvJ+sGbcOn/1zLocNYfVgpCdLVA5f7Ff3EZvjAlSr2XKsOEFuJpNjn8QGqKuaf9C Kee25r8hFLOhuhs/ZDwzSu6Gx0DG1OIQC0LStQUI8KHG3c2hY3L89GRMSMRSYDOlh2Jn EDPrwx9S5sJH9hq/+q8m7hrhmbHnAoktttED7wOYVBobpMisCEjb9ccHiUkS12xIfBvZ /q99kKRaMR4mL20rn0LYeFKyTqvjwmYcyGShH09z+K5BRfbbaNLd1PhX6QuiDzodY6W2 7jYEfaAEYgGatNa9TC2MSm6odk5TV6UUwhXFMvxzdkhXyslsaWG1pH1uRHFc0ViPPsc/ pfrw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; 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=yK3Qr5mXEjgiJkVDSuFZ9yiOEtxL7DEtxyuQlFiWZFQ=; b=IngevhROS9XnispOQl83cwBAmBQ/4itrt6LTuc4jitcspo12+lXu153ZxYFfTZB8nx 91B3hFvYl5ISkbVkDTckWCVAAnMSLyR57C53gDILIKoqfWt5vI5lXKfbonV3J65/xa12 Dj+zD2z+Uzfk+WEp8aLycSn8ocGgXgeXzFF8W0xAXaAzaLxTZL++A4yYXWCi/81EVJlj rgbrlulBhRbjJtof6g/2K3iYqJ8q1mC/QacT7ZvLE81K3XD8SRrZzUFkUweItkGtHl2L Jj083YiJoauzlxx0GHHB4EKG/565rQwrnb5WpmujLKbIGUxKbK4XGCpmhHOFLK8wIGyg D+Sw== X-Gm-Message-State: AKaTC02UK7T61vmPgnL28EZmn8vV40Yn1AksANeBhl4PN+2P/aw3YEwg4V1jPBuTeFCTXw== X-Received: by 10.99.123.69 with SMTP id k5mr179109pgn.110.1479487847071; Fri, 18 Nov 2016 08:50:47 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.157.37.11 with SMTP id k11ls495206otb.19.gmail; Fri, 18 Nov 2016 08:50:46 -0800 (PST) X-Received: by 10.176.3.67 with SMTP id 61mr335452uat.163.1479487846164; Fri, 18 Nov 2016 08:50:46 -0800 (PST) Original-Received: from mail-ua0-x22d.google.com (mail-ua0-x22d.google.com. [2607:f8b0:400c:c08::22d]) by mx.google.com with ESMTPS id e1si2355210uab.220.2016.11.18.08.50.46 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 18 Nov 2016 08:50:46 -0800 (PST) Received-SPF: pass (google.com: domain of calabrese@google.com designates 2607:f8b0:400c:c08::22d as permitted sender) client-ip=2607:f8b0:400c:c08::22d; Original-Received: by mail-ua0-x22d.google.com with SMTP id b35so175316909uaa.3 for ; Fri, 18 Nov 2016 08:50:46 -0800 (PST) X-Received: by 10.176.83.211 with SMTP id l19mr348281uaa.69.1479487845673; Fri, 18 Nov 2016 08:50:45 -0800 (PST) Original-Received: by 10.103.89.209 with HTTP; Fri, 18 Nov 2016 08:50:45 -0800 (PST) In-Reply-To: <0cc57751-f41a-4da2-88e7-a42eb61f57cd@isocpp.org> X-Original-Sender: calabrese@google.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@google.com; spf=pass (google.com: domain of calabrese@google.com designates 2607:f8b0:400c:c08::22d as permitted sender) smtp.mailfrom=calabrese@google.com; dmarc=pass (p=REJECT dis=NONE) header.from=google.com X-Original-From: Matt Calabrese 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:29469 Archived-At: --94eb2c1b5da47df0e90541961ba2 Content-Type: text/plain; charset=UTF-8 On Fri, Nov 18, 2016 at 11:30 AM, col3435 via ISO C++ Standard - Future Proposals wrote: > How about allowing literal types as template arguments if they have > defaulted == and != operators (and this condition also applies recursively > to all of their members). It does look fairly likely that we will get > default == > in the language in the near future. Once we have that, it would provide > a natural way to express which types are unproblematic for use as > template arguments. > > This would be more than good enough to get us arrays of characters. > This has came up independently by several of us. IMO, it's the most reasonable way to support literal types as template arguments, if we ever support them, but not everyone agrees. I think Faisal Vali and Andrew Sutton were the most recent people pursuing literal types as template parameter types (Faisal mentioned it to me only a few months ago). I'm not sure what their approach will be, assuming they are still working on that proposal. -- 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/CANh8DEnp3%3D6Kcf2PiaYoDetAM2RVJY3jRyEzLc-7b%3DLJUj0kbA%40mail.gmail.com. --94eb2c1b5da47df0e90541961ba2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Fri, Nov 18, 2016 at 11:30 AM, col3435 via ISO C++ Standard - Future Pro= posals <std-proposals@isocpp.org> wrote:
How about allowin= g literal types as template arguments if they have
defaulted =3D=3D and= !=3D operators (and this condition also applies recursively
to a= ll of their members). It does look fairly likely that we will get default = =3D=3D
in the language in the near future. Once we have that, it = would provide
a natural way to express which types are unproblema= tic for use as
template arguments.

This = would be more than good enough to get us arrays of characters.
<= /blockquote>

This has came up independently by several o= f us. IMO, it's the most reasonable way to support literal types as tem= plate arguments, if we ever support them, but not everyone agrees. I think = Faisal Vali and Andrew Sutton were the most recent people pursuing literal = types as template parameter types (Faisal mentioned it to me only a few mon= ths ago). I'm not sure what their approach will be, assuming they are s= till working on that proposal.

--
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/CANh8DEnp3%3D= 6Kcf2PiaYoDetAM2RVJY3jRyEzLc-7b%3DLJUj0kbA%40mail.gmail.com.
--94eb2c1b5da47df0e90541961ba2-- .