220 32502 <CAFk2RUahRzietkqHtmPrRNSmEorfKF8TfiHGNAB_JDMhC4PU+g@mail.gmail.com> article
Path: news.gmane.org!.POSTED!not-for-mail
From: Ville Voutilainen <ville.voutilainen@gmail.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Re: Allow Structured Binding Outside of Variable Declaration
Date: Wed, 17 May 2017 01:36:55 +0300
Lines: 26
Approved: news@gmane.org
Message-ID: <CAFk2RUahRzietkqHtmPrRNSmEorfKF8TfiHGNAB_JDMhC4PU+g@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>
 <CAGsORuBgzhCGGPYAWjSDg40xhGnV_ghcVTAvn3xaBFz52vs7xw@mail.gmail.com>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: blaine.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
X-Trace: blaine.gmane.org 1494974220 9984 195.159.176.226 (16 May 2017 22:37:00 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Tue, 16 May 2017 22:37:00 +0000 (UTC)
To: "ISO C++ Standard - Future Proposals" <std-proposals@isocpp.org>
Original-X-From: std-proposals+bncBC5JHI7A7ALRBCH65XEAKGQEJMDRCKI@isocpp.org Wed May 17 00:36:54 2017
Return-path: <std-proposals+bncBC5JHI7A7ALRBCH65XEAKGQEJMDRCKI@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-oi0-f70.google.com ([209.85.218.70])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <std-proposals+bncBC5JHI7A7ALRBCH65XEAKGQEJMDRCKI@isocpp.org>)
	id 1dAl5H-0002P3-Li
	for gclcip-std-proposals@m.gmane.org; Wed, 17 May 2017 00:36:51 +0200
Original-Received: by mail-oi0-f70.google.com with SMTP id w138sf37699481oiw.0
        for <gclcip-std-proposals@m.gmane.org>; Tue, 16 May 2017 15:36:57 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1494974217; cv=pass;
        d=google.com; s=arc-20160816;
        b=pr8wkNRDK2QSInHUsFZzO9BtpDKDv60xOmknohTRe9cWKPMcnofQKz1MvQKEa5Gpb+
         s8cxI/5M5PhsACCQFvxpfA1N59yHuaK3lVyPYhd/zfdVkNmyvtsLwZ+1FNbMMnKEZxF1
         /cLLML9Bw9AAsYDhG3+Ffz91Fj2sGAjKB4TtTZswR09zP/n+yRZXWzEZfpJuzcM4JrwR
         NOG5Y+ujFNcvawIaz8dFmxYliTgbe598bNBn8+TolxtA+BKx0oCARH1rXR1Ws5fZhhPQ
         VohUiJM8bsjRsntH2CnUbL5WYdJXZbzPGcT2VjRYMw3mPt/ob1EK8kX1WB4eJFRi78PS
         DzMQ==
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=7lPcXgAnh84njp9VkAWmSJ8Gndov+OEI1Sr54/IRaDo=;
        b=CP+3q7PTzguBdT6VuJdoS8Qc3XGjKX4mjmeNU+6v9dyS91yEofuttWKcwXgpG/L4l+
         l88h6jUZLYs+/rl5Tri4CZNr0ZrP/BZNSS+nvk/iLVaDyebl7aLt8Lg3ihGS8cnvw1MU
         YZnYy45bBtMN+1TzRvziCtn2n+l9Ue+QUcqheMtFXYw4hcHczrEyCRVWLUXfTJxulVb0
         OM/Ocu1DxQrDAWrqpZQtwgeQ7BbqbQClW/zUpMpGRdFubhRonaocz6CZRc4Q5ENjFkcO
         6ytoqhBhimig3LJGahOxUcz1YjwkV6sakIPr1AGc+/MAoYZKzZvYRbg0fAcVZ0LX6IX9
         74EQ==
ARC-Authentication-Results: i=2; mx.google.com;
       dkim=pass header.i=@gmail.com;
       spf=pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:4003:c06::22e as permitted sender) smtp.mailfrom=ville.voutilainen@gmail.com;
       dmarc=pass (p=NONE sp=NONE 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:x-spam-checked-in-group:list-post
         :list-help:list-archive:list-subscribe:list-unsubscribe;
        bh=7lPcXgAnh84njp9VkAWmSJ8Gndov+OEI1Sr54/IRaDo=;
        b=I7cdx+aiah67osl8KpGeVTaj0BjcRSQCUBPuPYk3WzEdAlPfhAajYUDXrn0U4Hiiu+
         PXt3NE5o6pkIFlCEGnKnelfYXWF0aA8SFsJBGMJ5VdRYhJxRVjiIn5d0L2HR9WzKnYH3
         kxe/wWX9VuhsN/5aFBh7zV9R2gFNLSA+YZm/4SpWCisvCQOPVoGVpa5S/0mLZhpCFPOv
         KOjd0MvGR/Tp5j6gkhnJXivSRlNUfhnhZAFeOuaRbsbppXIv/bcxSGy6gkAbi3vDglh+
         4WdgGK0o4g1L32marfj6b86bBE8ZDP8P7H3e6b7exCuNfi+xbRfZIlsk++Xah935oayz
         XPbg==
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=7lPcXgAnh84njp9VkAWmSJ8Gndov+OEI1Sr54/IRaDo=;
        b=kRxo3DRq5lz9hSScE1YJV1hHhHh+cMwiEMQN7zXmRGVO5W5sHZMR6p3ASX9VzEaSBi
         mqvgi8pszSGw66gykbRj1Zn/US/qbOv/LsCKjpOROIuRDvso+6v7TK+R3BDdkrqiFOp6
         IYgDSP13feIw9I8qpc79iTcSmErNtrjonv9t/h2T1Fl/ozzMzQ5vDHF1WJN/39YtICkf
         VgND9yGbk0GPN+EsyUFp0gVg6GdiRZA8ks07z71gjA7OWkBXWtEdXN4ryhBaQzx8KEN2
         x0+eDzJZ7fld3xKg4DzWy5bgLh4ZZQjNu6S94yL9AEPmRXCY4zPr/J1LdehuE+lOPL42
         CLjg==
X-Gm-Message-State: AODbwcALwx9WeL9nvsXy8hQYXmqo42PlXCpZlYV5l76ep3Y+l1ERgTqq
	91q8iGOI8XFZH9YS
X-Received: by 10.157.89.201 with SMTP id u9mr154894otg.123.1494974216985;
        Tue, 16 May 2017 15:36:56 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.157.46.179 with SMTP id w48ls2421007ota.22.gmail; Tue, 16 May
 2017 15:36:56 -0700 (PDT)
X-Received: by 10.202.65.67 with SMTP id o64mr175763oia.99.1494974216345;
        Tue, 16 May 2017 15:36:56 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1494974216; cv=none;
        d=google.com; s=arc-20160816;
        b=m85gmpUK9UrqxmLlWQ3YeJtJ/DAkibvzksVtCKD6VJAhGHqBI6bySEE2zzbJhsRLAP
         PALHg5ySCPitUoigf/snn92FtOlN25xT66BP6zTjuebYVL5pM+T4Y+TLPIBlVkkMrcAY
         AAiDxNAEmK4XYnbDLHWcCi489L9Ciamdfijg/kYK67aE7bsfXBRRE0Vn+VTI9rUl9zfn
         ztiQ91XEHrHERLE4CSPKJsJEUlgu3vByPBEygxJ0Vv2bY7zMeOvm74vbM4e9E3KnA1dr
         oS0j5IQKArJjLeaWbWJjphjQ1NO/18qmVEW6nOyZyKCbFhvzKLWbkX3JbmKqc8NbdoRS
         Txvw==
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=BnLEyb4S9MBNoux5HzpXS9FJuP1VwJTKgWYGA2XxPEY=;
        b=XjmMWkSnPC+KME0HJDdXD+yMzGqnR0IpGypFTTG+2oEd+6xvRWRDcgy6sad39zQiD1
         tKfepoypLC8Qk+X4ihbUgfDZnfX4qG124zO4NUmnsZJEjTnHR6t/8+PGFD8NKm08iyg3
         v1uSFkeUzuF8PV9Mpb9cng+dwaVObGq7r8G6Z8USDbahqNL7k2/KMeiioDoDJSD0Vr8N
         KPgLvbZl+S75lfv1w3/fquJXAKOCJ8dmDTQTLTmgUD601PnEFoIwmNXc9oSEKvBjgYpQ
         LtSfiVIy2gYzGs87GUcMZ5WEtQ3hXCBg1lUx9EYS8ExbR+vdi8JCy7rVRUrm66gbD4na
         OiTw==
ARC-Authentication-Results: i=1; mx.google.com;
       dkim=pass header.i=@gmail.com;
       spf=pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:4003:c06::22e as permitted sender) smtp.mailfrom=ville.voutilainen@gmail.com;
       dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com
Original-Received: from mail-oi0-x22e.google.com (mail-oi0-x22e.google.com. [2607:f8b0:4003:c06::22e])
        by mx.google.com with ESMTPS id i32si72620otc.196.2017.05.16.15.36.56
        for <std-proposals@isocpp.org>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Tue, 16 May 2017 15:36:56 -0700 (PDT)
Received-SPF: pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:4003:c06::22e as permitted sender) client-ip=2607:f8b0:4003:c06::22e;
Original-Received: by mail-oi0-x22e.google.com with SMTP id l18so43845320oig.2
        for <std-proposals@isocpp.org>; Tue, 16 May 2017 15:36:56 -0700 (PDT)
X-Received: by 10.202.242.198 with SMTP id q189mr202090oih.11.1494974216056;
 Tue, 16 May 2017 15:36:56 -0700 (PDT)
Original-Received: by 10.157.17.253 with HTTP; Tue, 16 May 2017 15:36:55 -0700 (PDT)
In-Reply-To: <CAGsORuBgzhCGGPYAWjSDg40xhGnV_ghcVTAvn3xaBFz52vs7xw@mail.gmail.com>
X-Original-Sender: ville.voutilainen@gmail.com
X-Original-Authentication-Results: mx.google.com;       dkim=pass
 header.i=@gmail.com;       spf=pass (google.com: domain of
 ville.voutilainen@gmail.com designates 2607:f8b0:4003:c06::22e as permitted
 sender) smtp.mailfrom=ville.voutilainen@gmail.com;       dmarc=pass (p=NONE
 sp=NONE dis=NONE) header.from=gmail.com
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:32502
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/32502>

On 17 May 2017 at 01:35, Zhihao Yuan <zy@miator.net> wrote:
>
> 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.

How does that help me specify the concrete types of the bindings?

-- 
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/CAFk2RUahRzietkqHtmPrRNSmEorfKF8TfiHGNAB_JDMhC4PU%2Bg%40mail.gmail.com.

.
