220 36842 article Path: news.gmane.org!.POSTED!not-for-mail From: inkwizytoryankes@gmail.com Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: String interpolation Date: Fri, 9 Feb 2018 10:47:35 -0800 (PST) Lines: 193 Approved: news@gmane.org Message-ID: References: <356d5835-f1bf-4699-94f5-0b2d3d0b9c0e@isocpp.org> <1731062.NdW3nXAon1@tjmaciei-mobl1> <14112472.AvYaaQfdXc@tjmaciei-mobl1> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_5165_1945678765.1518202055226" X-Trace: blaine.gmane.org 1518201942 2294 195.159.176.226 (9 Feb 2018 18:45:42 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 9 Feb 2018 18:45:42 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBDDLTAGNTIBBBR6Z67JQKGQEPGALTVI@isocpp.org Fri Feb 09 19:45:38 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ua0-f199.google.com ([209.85.217.199]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ekDfv-0008QC-U3 for gclcip-std-proposals@m.gmane.org; Fri, 09 Feb 2018 19:45:32 +0100 Original-Received: by mail-ua0-f199.google.com with SMTP id b45sf5278891uad.10 for ; Fri, 09 Feb 2018 10:47:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=+Q9oYOCzn4e6xW8FIxpm+Ms+dKZ7IM96QUv8rNEQlSY=; b=jL2FD8JzsijgzWscFGqNido7TeK1d1iDn+vyWOvG8fen6K55s/boVVKu1BFkZoCuOx NmThVz5uXmFJKfGEPcn1qkKT5NClZmJJnEVofpnujEzuspbQ5q+wyZ2HCqw55sBT8Wpq 52vQAvPgUvmC4itljM70nAoC+MC67P1qhMvlNjdhKa43WEKcOSd48i0qiQEveyqywzPr 0gGBNhYdZ2jIUDxGhU+GJFWSkv/V7K3C4APHpzbepJwpNPZmJZCwPVsJg/oqgbkugS0n xIe6FkA9OZeyMpIcImi7ezHPbKP4A864hN+TwFg5PfYAkMDm+1CM7NkG9VgLZofdk+qY lOnQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=+Q9oYOCzn4e6xW8FIxpm+Ms+dKZ7IM96QUv8rNEQlSY=; b=GineGCEifyJAeWI/loQqfohj8PwjyY+Jm6hL4Jax6iCIEdUzRPiwG1LgJAwtl232X+ fdJb5zq/PVd9mMbNsC2r1iQM3QmY8yiMCdUtYRz9G/V79gGe1+bQjVb06wCxp/e2wDE/ UBI5E/XgDEuR9GzWTGuv95ma2N9xC+hVSHr8DqcRxnsrcYcrBLBivVMqugpd6wJvGeDI jzNcW6oP+lk8MHyBPV8EkRUxEfRQgSkjoeFOjRRS9zhsmc1KS6/y7g2GNCjxPmfGaZR8 b6gi4d8DTshdksN6DNzUzYRkCgJvXAjRS2NfHilE6tQRLNfwEAzVnRksjQon5FGWULSt sEwA== 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:in-reply-to:references :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=+Q9oYOCzn4e6xW8FIxpm+Ms+dKZ7IM96QUv8rNEQlSY=; b=EpijGoSSEzaSYOWmuoKQSFgx2zO93tJzI0nJJ5+YDqWAHzP1x5sqU6uCt0VJN585qY sZktIGmy9HrjTYtMtkHvZVOdQYIOGIOvWU55Qe5SSJYkkpQ3M5MoCdGsfVbjd39nPEsR pFVr9W91zJZNLFqc/R7rEOfBrPvbo6bJM6/XiT/yuhpAExlRxux6ZEkT+yRz9ozODQHt M9OdiMVyeNi+/eLNRA96P3A/bswzy8+S4dpZbwbxObs/tF6RdEak+YATIPiL6oTZAOgg JXCt07RqC/4+1KDwxh6iiaCXsIm0hJAAjACRcMKNg8PrlHM3sZK+q4qfRomHDD/HgqF7 gF3g== X-Gm-Message-State: APf1xPCRezRnLn+jFwIbt/NjS/VeDlh+otB35WsGjhOXUZIHNv1J8Nth Pnw1ad7yfZfZw6XmZ14CGxoFVg== X-Google-Smtp-Source: AH8x227aV+qrIXASEKI38fOHoJTgdgW6ZWBhE8HoHSpzwDxP0HUnJl+kBabjlt4SmhIWoyofPXNZRg== X-Received: by 10.31.74.70 with SMTP id x67mr1771771vka.63.1518202057141; Fri, 09 Feb 2018 10:47:37 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.31.92.199 with SMTP id q190ls4098752vkb.8.gmail; Fri, 09 Feb 2018 10:47:35 -0800 (PST) X-Received: by 10.31.3.215 with SMTP id f84mr332967vki.9.1518202055652; Fri, 09 Feb 2018 10:47:35 -0800 (PST) In-Reply-To: X-Original-Sender: inkwizytoryankes@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:36842 Archived-At: ------=_Part_5165_1945678765.1518202055226 Content-Type: multipart/alternative; boundary="----=_Part_5166_375610758.1518202055226" ------=_Part_5166_375610758.1518202055226 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Friday, February 9, 2018 at 3:07:32 PM UTC+1, Marcel Kr=C3=BCger wrote: > > Jake Arkinstall > schrieb am Fr., 9.= =20 > Feb. 2018 um 14:51 Uhr: > >> >> That would be nice, but generic is a royal pain in the backside in this= =20 >> circumstance. This is not something that can be written in the current= =20 >> language because it requires interpetation of the strings. How on earth= =20 >> that is supposed to generalise to choices of fmt, string conversion and= =20 >> concatenation, stringstreams, and whatever magical solution we're waitin= g=20 >> on to make string manipulation efficient, I have no idea, especially in = the=20 >> general situation where the different approaches - e.g. to_string and=20 >> operator<< - are not equivalent. >> > > Maybe this could be based on user-defined literals: > If for example `operator""_sth` accepts more than two parameters, the=20 > expression "abc{def}ghij"_sth could be rewritten to `operator""_sth("abc"= ,=20 > 3, def, "ghij", 4)`. > Then the standard library could include a literal suffix based on=20 > iostreams and it should be generic enough to be supported by most librari= es. > > Best regards > Marcel Kr=C3=BCger > =20 When reflection hit we can have this syntax: auto f =3D "test {0.a} test {0.b} test"_str; auto r1 =3D f(ArgType{ .a =3D 4, .b =3D 3 }); //"test 4 test 3 test" auto r2 =3D f(OtherType{ .a =3D "zzz", .b =3D 42f, .c =3D true }); //"test = zzz test=20 42.00 test" auto r3 =3D f(5); //compile error! `int` do not have `a` This is only matter of finding member address using compile time string. --=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/e71cfa25-b8f8-472b-b887-fdafd908145b%40isocpp.or= g. ------=_Part_5166_375610758.1518202055226 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Friday, February 9, 2018 at 3:07:32 PM UTC+1, M= arcel Kr=C3=BCger wrote:
Jake Arkinstall <= jake.= ar...@gmail.com> schrieb am Fr., 9. Feb. 2018 um 14:51=C2=A0Uhr:

That would be nice, but gener= ic is a royal pain in the backside in this circumstance. This is not someth= ing that can be written in the current language because it requires interpe= tation of the strings. How on earth that is supposed to generalise to choic= es of fmt, string conversion and concatenation, stringstreams, and whatever= magical solution we're waiting on to make string manipulation efficien= t, I have no idea, especially in the general situation where the different = approaches - e.g. to_string and operator<< - are not equivalent.

Maybe this could be based on user-d= efined literals:
If for example `operator""_sth` accept= s more than two parameters, the expression "abc{def}ghij"_sth cou= ld be rewritten to `operator""_sth("abc", 3, def, "= ;ghij", 4)`.
Then the standard library could include a liter= al suffix based on iostreams and it should be generic enough to be supporte= d by most libraries.

Best regards
Marcel= Kr=C3=BCger
=C2=A0
When reflection h= it we can have this syntax:
auto f =3D "= ;test {0.a} test {0.b} test"_str;
auto r1= =3D f(ArgType{ .a =3D 4, .b =3D 3 }); //"test 4 test 3 test&q= uot;
auto<= span style=3D"color: #000;" class=3D"styled-by-prettify"> r2 =3D f(OtherType{ .a= =3D "zzz", .b =3D 42f,<= /span> .c =3D true }); //"= ;test zzz test 42.00 test"
auto r3 =3D f(5); //compile error! `int` do not have `a`=
=

This is only matter of finding member address using compil= e time string.


--
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/e71cfa25-b8f8-472b-b887-fdafd908145b= %40isocpp.org.
------=_Part_5166_375610758.1518202055226-- ------=_Part_5165_1945678765.1518202055226-- .