220 31148 <CAGsORuBk4Gq9np6g_=4CiDm1cm5u3Oq9O-yVAmXvEEp0haXXmQ@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: P0577: No lifetime extension for xvalue .
Date: Sun, 26 Feb 2017 03:18:03 -0600
Lines: 30
Approved: news@gmane.org
Message-ID: <CAGsORuBk4Gq9np6g_=4CiDm1cm5u3Oq9O-yVAmXvEEp0haXXmQ@mail.gmail.com>
References: <e1dd36c5-58c4-4f20-870f-d806158b1187@isocpp.org>
 <CAGsORuD=UDBc7MPKcbyH7p4B-EpN8guiw9kOQHHOTmi+=gEqzQ@mail.gmail.com>
 <0f4944b0-11a6-4220-9d48-38086babc97a@isocpp.org> <CAGsORuCo0J-kCzikOHOBk34CrPY=+D_dgF8s1yZKwVgqnHhOUg@mail.gmail.com>
 <2bde698e-c5be-4e20-bca0-d9fa0f90af12@isocpp.org> <CAGsORuD5otmjmzVgY7h35uF2PZg1wHRsMzUoHUEddtNuD-p6AA@mail.gmail.com>
 <77eaed66-1df2-4f01-9d94-375eb58b21dc@isocpp.org>
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 1488100691 15698 195.159.176.226 (26 Feb 2017 09:18:11 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Sun, 26 Feb 2017 09:18:11 +0000 (UTC)
To: "std-proposals@isocpp.org" <std-proposals@isocpp.org>
Original-X-From: std-proposals+bncBCSKRWMD4EHBBTV2ZLCQKGQE5GI3SDA@isocpp.org Sun Feb 26 10:18:06 2017
Return-path: <std-proposals+bncBCSKRWMD4EHBBTV2ZLCQKGQE5GI3SDA@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-oi0-f69.google.com ([209.85.218.69])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <std-proposals+bncBCSKRWMD4EHBBTV2ZLCQKGQE5GI3SDA@isocpp.org>)
	id 1chuxt-00030W-1z
	for gclcip-std-proposals@m.gmane.org; Sun, 26 Feb 2017 10:18:01 +0100
Original-Received: by mail-oi0-f69.google.com with SMTP id q127sf48763803oih.1
        for <gclcip-std-proposals@m.gmane.org>; Sun, 26 Feb 2017 01:18:07 -0800 (PST)
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=weq+uzAFg4DmP2bY0QFhtyMkRASbffy3oxjS4OqeV5c=;
        b=Bj34MuM30CRlJjX42l8nFqvf25SsgNAzJD0vD8TVKqp4X1DyFs2YRr4W0hYQMQgmjg
         7IDscqEHbbDfN8sD4D7BvUby/DUlRQ9ON/ltekZI8k+Z9D1uAvcMDPmo3PiXFSsUHtZk
         4aPg3fLfkJM9+tYPqSIDnGNRCNfdkzjGp8jReGy7ZULoOvD+Und8UYGZxbcdYJlnLHMd
         5FS/GG49VZxkHTOxff8jEj+uLEWIDw5eTSCKibC2Da2CXkxHTHKg5VCc2t7XeR4Mhl1W
         6NJjf9pYX3QhAvIBdiPVb/54Y6Mc2n8QLsP3PI5k/Ye9qqUdj21uXmC+jVupSUIZc13p
         1f1Q==
X-Gm-Message-State: AMke39kkQ1W9UW3pVjEXmqKJ4LjLBmrJPngpXx1kKl5W2K+OC656SWsTKtSB4gTiUmLNUQ==
X-Received: by 10.157.0.74 with SMTP id 68mr62790ota.133.1488100686750;
        Sun, 26 Feb 2017 01:18:06 -0800 (PST)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.157.13.110 with SMTP id 101ls10802639oti.43.gmail; Sun, 26 Feb
 2017 01:18:06 -0800 (PST)
X-Received: by 10.55.98.203 with SMTP id w194mr238406qkb.322.1488100686052;
        Sun, 26 Feb 2017 01:18:06 -0800 (PST)
Original-Received: from mail-s68.mailgun.info (mail-s68.mailgun.info. [184.173.153.196])
        by mx.google.com with ESMTPS id e39si9509659qtb.299.2017.02.26.01.18.05
        for <std-proposals@isocpp.org>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Sun, 26 Feb 2017 01:18:06 -0800 (PST)
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-wm0-f51.google.com (mail-wm0-f51.google.com [74.125.82.51])
 by mxa.mailgun.org with ESMTP id 58b29d4d.7fa0d8330770-smtp-out-n01;
 Sun, 26 Feb 2017 09:18:05 -0000 (UTC)
Original-Received: by mail-wm0-f51.google.com with SMTP id v77so42242911wmv.0
        for <std-proposals@isocpp.org>; Sun, 26 Feb 2017 01:18:05 -0800 (PST)
X-Received: by 10.28.152.212 with SMTP id a203mr3875211wme.36.1488100683924;
 Sun, 26 Feb 2017 01:18:03 -0800 (PST)
Original-Received: by 10.80.173.212 with HTTP; Sun, 26 Feb 2017 01:18:03 -0800 (PST)
In-Reply-To: <77eaed66-1df2-4f01-9d94-375eb58b21dc@isocpp.org>
X-Gmail-Original-Message-ID: <CAGsORuBk4Gq9np6g_=4CiDm1cm5u3Oq9O-yVAmXvEEp0haXXmQ@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:31148
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/31148>

On Fri, Feb 24, 2017 at 10:13 PM, Nicol Bolas <jmckesson@gmail.com> wrote:
> You say there are concerns with generic programming. But at this point,
> these concerns are entirely imaginary; there has been no demonstration that
> real, legitimate code would be unable to use this correctly.
>
> And if the purpose of this feature is to fix the temporary lifetime
> extension problem, making a feature that still allows that problem to
> manifest very easily (by putting `register` in what is undeniably the wrong
> place) seems to not exactly be fixing the problem.

We enumerated through all the possible combinations
of the caller side's requirements on value category and
a dependent calls's value category, and find that
your suggestion gives benefit while having no real
false positive when caller side's requirements are
known.  I plan to change the current design, tentatively
to what you suggest.  Thanks, Nicol :)

-- 
Zhihao Yuan, ID lichray
The best way to predict the future is to invent it.
___________________________________________________
4BSD -- http://blog.miator.net/

-- 
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/CAGsORuBk4Gq9np6g_%3D4CiDm1cm5u3Oq9O-yVAmXvEEp0haXXmQ%40mail.gmail.com.

.
