220 27402 article Path: news.gmane.org!.POSTED!not-for-mail From: Ville Voutilainen Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Proposal - non allocating std::function Date: Sun, 31 Jul 2016 16:48:10 +0300 Lines: 23 Approved: news@gmane.org Message-ID: References: <871t2xqbb5.fsf@gmail.com> <28284ab7-1046-4631-bb4c-f755ce96c2e3@isocpp.org> <14df876d-e382-469c-b755-5d285788c7fa@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 1469972913 30556 80.91.229.8 (31 Jul 2016 13:48:33 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 31 Jul 2016 13:48:33 +0000 (UTC) To: "ISO C++ Standard - Future Proposals" Original-X-From: std-proposals+bncBC5JHI7A7ALRBG4D7C6AKGQEBMS4RLY@isocpp.org Sun Jul 31 15:48:13 2016 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ua0-f200.google.com ([209.85.217.200]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bTr6D-0007of-CN for gclcip-std-proposals@m.gmane.org; Sun, 31 Jul 2016 15:48:13 +0200 Original-Received: by mail-ua0-f200.google.com with SMTP id j59sf121292291uaj.0 for ; Sun, 31 Jul 2016 06:48:13 -0700 (PDT) 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=nJLr7Wzs5E6t+L50R8A+1quqwI0yXY+H5ckDcz4vTQI=; b=nGs3R2r6vTwlCU2Zr0kMB77ZUeaZGlzXACyhy9xzRy72BF3GOFMt/NXLvqwIfg39z2 jeDwxxXFFB4ATYPkwgpik3uxGFWwp+Pn+ZFUv9wQmyue/wMc4q66OxoDHoud1H+KyDSX B0XZzyEiEckmZLBdHSsWmXFJbZv2hk9dlPqdxsHeGbDBol+S7BYodRscVU0WG760leC9 yK6R5au7JgKYHycG3Gf58Fgfikyl06xXtS0QVWInow/qtLhxX8IR9e1ox5cOSBrzW/Xw 13g9j42C5tUMOZPxXzNwHsRwIoHsx9hby3wKHbGOerVboCwjaMcTd9mxpioyud65OILV JMlw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; 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=nJLr7Wzs5E6t+L50R8A+1quqwI0yXY+H5ckDcz4vTQI=; b=K04urEbd8W8RvljkBztVzCOWIiDi7wYX7E15Ow3zsCz5I0mADmJ6wCidEn8c7sYms4 icmehRtjL2ynT9SR5w1yhds5b2tdGhrYg9Rypz3qxJu1CncB9cd+Zs25KONgSgCcyF76 yrvVNrr4mUDgjQKFUnGii+k39RmmzQtDILJO+cCYKRj1ozeqHzKlUndNbW7RaEKZTTwl xRJ3fxBFaBNNUsLol9j7xiaO/3NnBKnPWqXypkbgzVw8ZxPVPPdJkO0mkSWgubFdU86S UKyTiwkAdZR/3P+licOXm2dL3hBRy1Z+KJhGpS38hEEGW4j0qZVVHii/aBPmpibjfmw3 JN7Q== X-Gm-Message-State: AEkoouukVn8lebFGUI94YJaG0N5FKEsO0qx+Ub+OdsegElxB+OC2DsNZwyIy+t+KCsHE3w== X-Received: by 10.129.154.196 with SMTP id r187mr42468189ywg.54.1469972892534; Sun, 31 Jul 2016 06:48:12 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.157.54.140 with SMTP id h12ls9060692otc.40.gmail; Sun, 31 Jul 2016 06:48:11 -0700 (PDT) X-Received: by 10.176.65.1 with SMTP id j1mr24188913uad.102.1469972891875; Sun, 31 Jul 2016 06:48:11 -0700 (PDT) Original-Received: from mail-vk0-x22c.google.com (mail-vk0-x22c.google.com. [2607:f8b0:400c:c05::22c]) by mx.google.com with ESMTPS id 92si6537836uam.124.2016.07.31.06.48.11 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 31 Jul 2016 06:48:11 -0700 (PDT) Received-SPF: pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:400c:c05::22c as permitted sender) client-ip=2607:f8b0:400c:c05::22c; Original-Received: by mail-vk0-x22c.google.com with SMTP id w127so83508057vkh.2 for ; Sun, 31 Jul 2016 06:48:11 -0700 (PDT) X-Received: by 10.31.69.8 with SMTP id s8mr24125842vka.76.1469972891547; Sun, 31 Jul 2016 06:48:11 -0700 (PDT) Original-Received: by 10.103.76.91 with HTTP; Sun, 31 Jul 2016 06:48:10 -0700 (PDT) In-Reply-To: <14df876d-e382-469c-b755-5d285788c7fa@isocpp.org> 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:400c:c05::22c as permitted sender) smtp.mailfrom=ville.voutilainen@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=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:27402 Archived-At: On 31 July 2016 at 16:44, Nicol Bolas wrote: >> Do you know what the reason was for allocator support to be dropped? > According to the proposal that drops it, it was because the whole design was > generally considered faulty, with a number of open defect reports on them. > These faults lead to none of the major standard library implementations > doing it right. libstdc++ never even bothered to offer the allocator > constructor overloads. libc++ provided the constructors, but never used the > allocators. The closest one to right was VS, which would use the allocators, > but didn't propagate them correctly on assignment. The problem with correct propagation is that type erasure eradicates all knowledge of what types the propagation should be queried for. The mixture of purely compile-time information of the propagation traits and the complete lack of any such information at the point of assignment due to type erasure is a fairly bad mixture. -- 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/CAFk2RUYiZ5kmNrgwS5URaW0tJPhi%2B1C1y-1XuysU543xaW82ZA%40mail.gmail.com. .