220 32501 <CAGsORuBgzhCGGPYAWjSDg40xhGnV_ghcVTAvn3xaBFz52vs7xw@mail.gmail.com> article
Path: news.gmane.org!.POSTED!not-for-mail
From: Zhihao Yuan <zy@miator.net>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Re: Allow Structured Binding Outside of Variable Declaration
Date: Tue, 16 May 2017 17:35:32 -0500
Lines: 73
Approved: news@gmane.org
Message-ID: <CAGsORuBgzhCGGPYAWjSDg40xhGnV_ghcVTAvn3xaBFz52vs7xw@mail.gmail.com>
References: <e02d79e8-7d80-4614-bd25-e73fb43dad9d@isocpp.org>
 <10b21241-b683-44d5-82ce-90681b2643a4@isocpp.org> <CAFk2RUbf5skMEcsLd_hUiZrib2bGCvyrJbgsx9LV-rXaj=fBZw@mail.gmail.com>
 <CAFk2RUbgg7UMc_mFGKQZF7-PVVbEDsdoZoXL46oyxr+PLRTfvw@mail.gmail.com>
 <08ff73f1-6989-393e-ee4e-8158af2e7bed@honermann.net> <CAFk2RUaBhq7KVukgRMvqBMuBiBwZmCf+xZpD9jRtBberFoU2Rg@mail.gmail.com>
 <c70b0cd6-fa3e-d215-3fef-06eb231ed3cd@honermann.net> <CAFk2RUbiUZ4n_mXdBUTGEZSsh5C=Mf0hKbKu76PKzCCWnZfrgA@mail.gmail.com>
 <d184a83a-4f99-a8d2-6bba-1b8aeedd797c@honermann.net> <20170516164245.GA16348@fukushima.lysator.liu.se>
 <ffcb4ca3-5fb8-41b4-8b38-cfd287148cd5@honermann.net> <CAFk2RUY1AYOen-Rb8n6yzc1jsOiydbUCUDqLdKMPyiyiHnnO4w@mail.gmail.com>
 <c0bf3a06-53e5-3411-0967-b167da5d0dcd@honermann.net> <CAFk2RUYaNuKM=xhLTP_ZE97KvRUAJybUhaoFAmT+V_-7P3t1Mg@mail.gmail.com>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: blaine.gmane.org
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary="94eb2c043012259c7a054fabcad2"
X-Trace: blaine.gmane.org 1494974141 2305 195.159.176.226 (16 May 2017 22:35:41 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Tue, 16 May 2017 22:35:41 +0000 (UTC)
To: "std-proposals@isocpp.org" <std-proposals@isocpp.org>
Original-X-From: std-proposals+bncBCSKRWMD4EHBBN755XEAKGQEYOIXJDY@isocpp.org Wed May 17 00:35:34 2017
Return-path: <std-proposals+bncBCSKRWMD4EHBBN755XEAKGQEYOIXJDY@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-pg0-f72.google.com ([74.125.83.72])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <std-proposals+bncBCSKRWMD4EHBBN755XEAKGQEYOIXJDY@isocpp.org>)
	id 1dAl3y-0000IJ-Ss
	for gclcip-std-proposals@m.gmane.org; Wed, 17 May 2017 00:35:31 +0200
Original-Received: by mail-pg0-f72.google.com with SMTP id s62sf147621194pgc.2
        for <gclcip-std-proposals@m.gmane.org>; Tue, 16 May 2017 15:35:36 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1494974135; cv=pass;
        d=google.com; s=arc-20160816;
        b=hOYnuDGEw1X4rmLetbnYRZzqUE0uRTFFwAfD6okSYiggDbCEMTvNmkipPZgrkz8xp4
         poXdghkAYAu0XOrL8MevXhjMiOpQlwbf35qJqmOXlC9hnYsbDPX6bxmsmcL17ZfAkmTo
         D7gaucosZb2N7zGKWNAEvD+iHi8iBrNTdVe7pB8nIT/kRq7MdgSjnl4bZ1nGBYewn+2p
         gyRXF7BvQmxN2mFvUSywoYH8wDXwJ69rM9aS6qvQ0GebGbSUMtchKc2Z5Rbe4hvQK3tN
         w+mQL8/TkTMh9sEWcGNEItLTRW3lvaJuq2UiPUKCDwveZ06VivwUxs/X3C7UKLN59upT
         lidg==
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:sender
         :arc-authentication-results:arc-message-signature
         :arc-authentication-results;
        bh=mEjwVv6+HYQjSX5VmagNkw6oMnOd9Jy/x8ZqBrLmMkg=;
        b=HpnwzHnGMdUSAoYMznR1WrvTlk8wxGnWjJFUCw7lBR6VSELWFzbYXv0EA6sxGzoJkj
         BziUjAlah1yocixswkuh2qplUCPpWAoMrNV7xJX/dimT6SyHua8BEWXyDBZo82PNz098
         ynwxnb2nMTVhNNRFNpxnmtopIlwr6Z1ZVMbZtOm3wiAhusAhSIEBPP7SMAWlNiVLoEF8
         vbrdynKUiFRneudefXEMPQYPZODNN7VTUhCX4EgPAwzlhQtZp4U8/B9YjeBPog9mVcJU
         2eTL1n3eh9z/DXlKpbL0dcjRRcsi59Orh5gABAADXyGqNiAhvzdEAbjoxY15oSrEeBl9
         jdGA==
ARC-Authentication-Results: i=2; mx.google.com;
       dkim=pass header.i=@miator.net;
       spf=pass (google.com: domain of bounce+3f9131.69110-std-proposals=isocpp.org@miator.net designates 184.173.153.196 as permitted sender) smtp.mailfrom=bounce+3f9131.69110-std-proposals=isocpp.org@miator.net
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:sender: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=mEjwVv6+HYQjSX5VmagNkw6oMnOd9Jy/x8ZqBrLmMkg=;
        b=kI694Xnrpo4GjfIYA1dQMtpvJXvItTcgXyR+kz3UOkGGAnHjlTg8GadkgRKcskGcHU
         rkQkZ/JsndotwfDbxqoqiarN7aLILSRQLpUYo7T65KpGaw8mO5bOTnT2apBSfKJIn3UX
         iRcq0yZ0D5g5k/b79e5kRr9nZb9mc313pQd94E2bzBQqrZiulAkPXFp04BBeKOZYoJIp
         Rj1JIq10bC/vTvjNsViDFzDFudmB0Jot6rPkaQlVZzLWeVN+qYk5LnINym92bARDYC3j
         nSyAPja5kSdaFIfaX1GJyO9RPBxnvBz7nRBDXbyHEna+gk49AVLaTITlCE79Pw8xPquY
         Cpgw==
X-Gm-Message-State: AODbwcDAGukiHhPToM7Zvn6H5gsHR0IYFl1Qpm3SLQtXqg3saNgr/6Cc
	5D3xx4MiDfXGmMvv
X-Received: by 10.99.114.91 with SMTP id c27mr165291pgn.96.1494974135784;
        Tue, 16 May 2017 15:35:35 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.157.89.238 with SMTP id u46ls2421254otg.2.gmail; Tue, 16 May
 2017 15:35:34 -0700 (PDT)
X-Received: by 10.237.62.136 with SMTP id n8mr331816qtf.0.1494974134954;
        Tue, 16 May 2017 15:35:34 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1494974134; cv=none;
        d=google.com; s=arc-20160816;
        b=PUiXKxd3Lm16N/pcTCJCUQ7xpsPqPszQ7Tkp8Hv3r3rrAgZPcyc7sP+NwuVkM0kCDz
         qfW+qlHJfS5NM4eN8iePlnY9ofEAixh6s0ayK0xXAaVfghEHq2gVjx4OD2qFyjXFFSGn
         myeWLhLdHA5WUlqkyNZ6klRXRh008sxNYIBUxOTewuFGOb86n9nyjhv1Edfvc98Ml4Ii
         Xxvb4N/Lbndvta6OL6ndcSIsTR+CMqJH0itHuEyiZtO1Jywz+lnGNY98j87UzvACAVWX
         NhEUm7t1ELH8V++04LOoU3NeyvPHSTMssK3T7l3Lz+6NvoGudvV+DkiHkNivRyzYLa1s
         rXTw==
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
         :sender:domainkey-signature:dkim-signature
         :arc-authentication-results;
        bh=+Rotx3y+RU1pYNlFkfM8Zmatn61RXw6fmUN5cCB+/Es=;
        b=SiIeYgp4byAkf5SoiZz9YRJY9Cx0HnTcUGTj6DWK4kQYdvfINcRkjSOQW7CFxAA+po
         hC+oX+/xqRlEzK/eQKe7ULzSuCXUf7uTSR99XZwDExTBvRGdnCZABq8sAZegb/HIMhzI
         Jqbhh8Sk+vC+IjkGX+eEpVHrMX1NjTBjw3rghX+nsQDHWypbZF3OYCwH3ib9VeUHAq02
         oE6A8k/pWZ2FROK3KjNKhib46goUd3bYHjd9Wvh9epuDJN97WEkrV/aLqsRNCHqeLnVo
         6uYFNaz//J48Pjyzypujkq1WwWtEycQz5h5Rid/QWZL+led5BO0gNRnqQ7FxS/pn1EDO
         pY5A==
ARC-Authentication-Results: i=1; mx.google.com;
       dkim=pass header.i=@miator.net;
       spf=pass (google.com: domain of bounce+3f9131.69110-std-proposals=isocpp.org@miator.net designates 184.173.153.196 as permitted sender) smtp.mailfrom=bounce+3f9131.69110-std-proposals=isocpp.org@miator.net
Original-Received: from mail-s68.mailgun.info (mail-s68.mailgun.info. [184.173.153.196])
        by mx.google.com with UTF8SMTPS id e34si166353qtb.220.2017.05.16.15.35.34
        for <std-proposals@isocpp.org>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Tue, 16 May 2017 15:35:34 -0700 (PDT)
Received-SPF: pass (google.com: domain of bounce+3f9131.69110-std-proposals=isocpp.org@miator.net designates 184.173.153.196 as permitted sender) client-ip=184.173.153.196;
Original-Sender: zy@miator.net
X-Mailgun-Sending-Ip: 184.173.153.196
X-Mailgun-Sid: WyI3MTBkYiIsICJzdGQtcHJvcG9zYWxzQGlzb2NwcC5vcmciLCAiNjkxMTAiXQ==
Original-Received: from mail-pg0-f42.google.com (mail-pg0-f42.google.com [74.125.83.42])
 by mxa.mailgun.org with ESMTP id 591b7eb5.7fb86044c430-smtp-out-n02;
 Tue, 16 May 2017 22:35:33 -0000 (UTC)
Original-Received: by mail-pg0-f42.google.com with SMTP id u187so82846077pgb.0
        for <std-proposals@isocpp.org>; Tue, 16 May 2017 15:35:33 -0700 (PDT)
X-Received: by 10.98.95.193 with SMTP id t184mr311191pfb.191.1494974133014;
 Tue, 16 May 2017 15:35:33 -0700 (PDT)
Original-Received: by 10.100.151.71 with HTTP; Tue, 16 May 2017 15:35:32 -0700 (PDT)
In-Reply-To: <CAFk2RUYaNuKM=xhLTP_ZE97KvRUAJybUhaoFAmT+V_-7P3t1Mg@mail.gmail.com>
X-Gmail-Original-Message-ID: <CAGsORuBgzhCGGPYAWjSDg40xhGnV_ghcVTAvn3xaBFz52vs7xw@mail.gmail.com>
X-Original-Sender: zy@miator.net
X-Original-Authentication-Results: mx.google.com;       dkim=pass
 header.i=@miator.net;       spf=pass (google.com: domain of
 bounce+3f9131.69110-std-proposals=isocpp.org@miator.net designates
 184.173.153.196 as permitted sender) smtp.mailfrom=bounce+3f9131.69110-std-proposals=isocpp.org@miator.net
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Google-Group-Id: 399137483710
List-Post: <https://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <https://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <https://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>,
 <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:32501
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/32501>

--94eb2c043012259c7a054fabcad2
Content-Type: text/plain; charset="UTF-8"

On Tue, May 16, 2017 at 2:44 PM, Ville Voutilainen <
ville.voutilainen@gmail.com> wrote:

>
> for (auto [x] : something) {
>     static_assert(is_same_v<decltype(x), WhatIWant>); // wtf is this
> doing in the loop body?
> }


How about this

  for (TupleLike<A, B> [x, y] : something) { ... }

Where TupleLike is a concept.

-- 
Zhihao Yuan, ID lichray
The best way to predict the future is to invent it.
_______________________________________________

-- 
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/CAGsORuBgzhCGGPYAWjSDg40xhGnV_ghcVTAvn3xaBFz52vs7xw%40mail.gmail.com.

--94eb2c043012259c7a054fabcad2
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_extra"><br><div class=3D"gmail_quote">=
On Tue, May 16, 2017 at 2:44 PM, Ville Voutilainen <span dir=3D"ltr">&lt;<a=
 href=3D"mailto:ville.voutilainen@gmail.com" target=3D"_blank">ville.voutil=
ainen@gmail.com</a>&gt;</span> wrote:<br><blockquote class=3D"gmail_quote" =
style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br=
>
for (auto [x] : something) {<br>
=C2=A0 =C2=A0 static_assert(is_same_v&lt;<wbr>decltype(x), WhatIWant&gt;); =
// wtf is this<br>
doing in the loop body?<br>
<span class=3D"">}</span></blockquote></div><br></div><div class=3D"gmail_e=
xtra">How about this<br><br></div><div class=3D"gmail_extra">=C2=A0 for (Tu=
pleLike&lt;A, B&gt; [x, y] : something) { ... }<br><br></div><div class=3D"=
gmail_extra">Where TupleLike is a concept.<br clear=3D"all"></div><div clas=
s=3D"gmail_extra"><br>-- <br><div class=3D"gmail_signature" data-smartmail=
=3D"gmail_signature"><div dir=3D"ltr"><div><div dir=3D"ltr"><div><div dir=
=3D"ltr"><div>Zhihao Yuan, ID lichray<br>The best way to predict the future=
 is to invent it.<br>_______________________________________________<br></d=
iv></div></div></div></div></div></div>
</div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org">std-proposa=
ls+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org">std-proposals@isocpp.org</a>.<br />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/CAGsORuBgzhCGGPYAWjSDg40xhGnV_ghcVTAv=
n3xaBFz52vs7xw%40mail.gmail.com?utm_medium=3Demail&utm_source=3Dfooter">htt=
ps://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAGsORuBgzhCGGPYA=
WjSDg40xhGnV_ghcVTAvn3xaBFz52vs7xw%40mail.gmail.com</a>.<br />

--94eb2c043012259c7a054fabcad2--

.
