220 18014 article Path: news.gmane.org!not-for-mail From: Nevin Liber Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: First draft: Non-copyable call wrapper, std::unique_function Date: Tue, 19 May 2015 20:40:23 -0500 Lines: 102 Approved: news@gmane.org Message-ID: References: <59ED9069-2650-44E2-B00E-0E56ED37B83D@gmail.com> <27a788e7-4912-4a58-8201-79138ddf15a3@isocpp.org> <5E7FEC96-7F6B-4B2B-A165-C56F9E80C87E@gmail.com> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=089e01177205205cf50516798507 X-Trace: ger.gmane.org 1432086070 14422 80.91.229.3 (20 May 2015 01:41:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 20 May 2015 01:41:10 +0000 (UTC) To: "std-proposals@isocpp.org" Original-X-From: std-proposals+bncBCE35H5S6IDBBMGM56VAKGQEZRVZBKQ@isocpp.org Wed May 20 03:41:09 2015 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-la0-f72.google.com ([209.85.215.72]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Yut0M-0003xe-SL for gclcip-std-proposals@m.gmane.org; Wed, 20 May 2015 03:41:07 +0200 Original-Received: by labcd2 with SMTP id cd2sf11832266lab.0 for ; Tue, 19 May 2015 18:41:06 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:content-type:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=uXbRmbKpz5ZCJbQ3CUgXH7NsbIUe8Wj6aEjxFB6fAUA=; b=WRLdscyURi5XYUlw8TprwNteSLLyN68aVJ+TOpSNSA1kYuqv63UVXt/pXripugWbB7 3lojfrzGp6hy1SpZeoXSQdS/z/j4iQOQE/E3liIkoT2bE5+mOrDrvf0V6yI6ZE/7RdY1 CiPzLuQAn0Mnpz1P0CqnkJWGcz5SJk9/NjPabvw3KpAunh8HsKksPrA2HIv5eQuDdHrH Aq6saGRJeibqId4slQjQn7lBBA9LK4Si7UxMSjWWvKjf3go93r7vnwgXG8gubx8uh4GX qC6VI/TVDMfIEEhDvMLOstjhPPPI1p9RxWUOtY03LWjg2qoJ2iF3N/JF/s6NKvesskL4 0Ukg== X-Gm-Message-State: ALoCoQm761AN4jGumkiq/sYSwLMRYhacPvhex0es0jHKGZsSIOEqjD988xdv4uCLcRw1knQx4SH/ X-Received: by 10.112.142.170 with SMTP id rx10mr24098793lbb.12.1432086066112; Tue, 19 May 2015 18:41:06 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.152.88.3 with SMTP id bc3ls136931lab.22.gmail; Tue, 19 May 2015 18:41:04 -0700 (PDT) X-Received: by 10.112.51.146 with SMTP id k18mr16485891lbo.91.1432086064185; Tue, 19 May 2015 18:41:04 -0700 (PDT) Original-Received: from mail-la0-x233.google.com (mail-la0-x233.google.com. [2a00:1450:4010:c03::233]) by mx.google.com with ESMTPS id ks12si10195959lac.38.2015.05.19.18.41.03 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 19 May 2015 18:41:03 -0700 (PDT) Received-SPF: pass (google.com: domain of nliber@gmail.com designates 2a00:1450:4010:c03::233 as permitted sender) client-ip=2a00:1450:4010:c03::233; Original-Received: by labbd9 with SMTP id bd9so52053927lab.2 for ; Tue, 19 May 2015 18:41:03 -0700 (PDT) X-Received: by 10.152.170.136 with SMTP id am8mr24600032lac.102.1432086063895; Tue, 19 May 2015 18:41:03 -0700 (PDT) Original-Sender: nliber@gmail.com Original-Received: by 10.114.79.6 with HTTP; Tue, 19 May 2015 18:40:23 -0700 (PDT) In-Reply-To: <5E7FEC96-7F6B-4B2B-A165-C56F9E80C87E@gmail.com> X-Original-Sender: nevin@eviloverlord.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of nliber@gmail.com designates 2a00:1450:4010:c03::233 as permitted sender) smtp.mail=nliber@gmail.com; dkim=pass header.i=@gmail.com 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:18014 Archived-At: --089e01177205205cf50516798507 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On 19 May 2015 at 20:26, David Krauss wrote: > > On 2015=E2=80=9305=E2=80=9320, at 1:49 AM, Nevin Liber wrote: > > Can't you always make unique_any moveable, given that it can allocate in > the heap? > > > unique_any is not proposed here, only mentioned in =E2=80=9Cfuture direct= ions.=E2=80=9D > So it's off limits to talk about here? > Also, consider making unique_function(unique_function&&) noexcept. > > > The noexcept qualification of unique_function is the same as for function= .. > Both allow exceptions to propagate from the move constructor when the sma= ll > function optimization is applied. It=E2=80=99s a rare corner case, but th= ere=E2=80=99s no > static information to make any guarantee. > Fine. Should you present this in Kona, I'll bring this up in LEWG. As we like to say, until you present a proposal, it's your time to waste. --=20 Nevin ":-)" Liber (847) 691-1404 --=20 ---=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. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposa= ls/. --089e01177205205cf50516798507 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On 19 May 2015 at 20:26, David Krauss &l= t;potswa@gmail.com> wrote:


Ca= n't you always make unique_any moveable, given that it can allocate in = the heap?

unique_any is not proposed her= e, only mentioned in =E2=80=9Cfuture directions.=E2=80=9D
=

So it's off limits to talk about here?=
Also, consider making u= nique_function(unique_function&&) noexcept.
=

The noexcept qualification of unique_function is the same as for function. Both allow exceptions to propagate from the move = constructor when the small function optimization is applied. It=E2=80=99s a= rare corner case, but there=E2=80=99s no static information to make any gu= arantee.

Fine.=C2=A0 Should you= present this in Kona, I'll bring this up in LEWG.=C2=A0 As we like to = say, until you present a proposal, it's your time to waste.
= --
=C2=A0Nevin ":-)" Liber=C2= =A0 <mailto:= nevin@eviloverlord.com>=C2=A0 (847) 691-1404

--

---
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.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/<= /a>.
--089e01177205205cf50516798507-- .