220 37557 <CAFk2RUZP6qS5nA-0Pc2TcDrm+fFM-JRiWevyre1srHdCnW08eg@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: Remove floating point requirement for
 unordered (multi) set/map
Date: Thu, 29 Mar 2018 17:11:58 +0300
Lines: 44
Approved: news@gmane.org
Message-ID: <CAFk2RUZP6qS5nA-0Pc2TcDrm+fFM-JRiWevyre1srHdCnW08eg@mail.gmail.com>
References: <4c98e549-8f0c-42e5-a054-0234f7cf1e46@isocpp.org>
 <9d4a8ea3-9e7d-4851-8b28-5cd67779081a@isocpp.org> <CAN5YuFb+Gdsijsjbrm6xx2ASpUNpubApEeVK3MQc1y=NtV8JiQ@mail.gmail.com>
 <1356e140-2985-4fe7-b9ee-70e40738d1cf@isocpp.org> <7b853bcd-47f5-4c2c-841b-13e30472e14c@isocpp.org>
 <af922ddf-a2c4-4654-a246-de2452477c95@isocpp.org> <1df72d61-2659-4864-9a6d-f8ea8fe52792@isocpp.org>
 <8eb5c7cd-42ec-46bd-8aee-842ef11b885e@isocpp.org> <2ad48eb7-a635-4aaf-9216-7a390791c083@isocpp.org>
 <8698cc1b-bce1-4c23-bf81-2cab986afe5a@isocpp.org> <7b2a1e15-f345-4749-ab74-b5a53b5dbed0@isocpp.org>
 <fa334b81-aa3e-4542-92cf-42a890677689@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 1522332598 6150 195.159.176.226 (29 Mar 2018 14:09:58 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Thu, 29 Mar 2018 14:09:58 +0000 (UTC)
To: "ISO C++ Standard - Future Proposals" <std-proposals@isocpp.org>
Original-X-From: std-proposals+bncBC5JHI7A7ALRBL7I6PKQKGQE6D5I3ZI@isocpp.org Thu Mar 29 16:09:54 2018
Return-path: <std-proposals+bncBC5JHI7A7ALRBL7I6PKQKGQE6D5I3ZI@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-ot0-f197.google.com ([74.125.82.197])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <std-proposals+bncBC5JHI7A7ALRBL7I6PKQKGQE6D5I3ZI@isocpp.org>)
	id 1f1YFV-0001VB-Hb
	for gclcip-std-proposals@m.gmane.org; Thu, 29 Mar 2018 16:09:53 +0200
Original-Received: by mail-ot0-f197.google.com with SMTP id d13-v6sf3297226otc.22
        for <gclcip-std-proposals@m.gmane.org>; Thu, 29 Mar 2018 07:12:01 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1522332720; cv=pass;
        d=google.com; s=arc-20160816;
        b=W7eS4kIOOqEWcCFRG229DuTzt3LqAKpPGXbsw8X4ESY0/9ZSby5QPeTUqQag4lGo8R
         c+8Sm+uRQdFwZo1z/htEBhdnDFbSXKpqD0LASgf/mvoyS/BXSt0dRi0adLXpQn7AlLDt
         XZE96jAEQ2zREC5Nr+E7z9ERc+EjkvH+9Vz6dxeGx7qEv/tYhDSLGHWPvkPQ37vaXwdY
         fjhcxtjVn9owFbRW1zmW9PT3P5pI8um6tWZVzrE/CD2+r4sCAlZ7akzt0PyaDDZfUHHm
         dj5qMTVwnmDwygH18h+TT7rq4/3L1Iv52ODC6atF1TbBjd4tVI6LLk3WAB82lBKZ1a/x
         KzjA==
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=iyhQFEaHLpVuARcV5k7cpJdfnxJhiHlib2zuqMD/GuY=;
        b=Kj2w4wx3/oIIMGwCGSNBTr85rcn6vd6/fLiltDkgP6qIR/T2PiV3WjNcfA7vYaM35b
         aBSHpG5NyorYaCTF/IF1nnHJZvI3gkhh/EDYcyuVj6YpvdKjWcbiX8W9IVoEAoLO5dYg
         h52dX5PFTIbxM5vvaa5ADaVaEA2DvzUjfbTAcg78Fk+8LvqEIPkm6RFZ+C6z7XU3UT/e
         4qBalTXNDrOGjDxHF25NdQpqx6CaGgSXd6WGbMT2ykcYYmwKw3K0rwTux/IP37rPf7gV
         7zCfSbd59GUG+l5k+fmxRlghpAIlaKdg2JCX+rq/L9Zuh97ekTKeJk5SEaVMeBLhVrwe
         ZDFA==
ARC-Authentication-Results: i=2; mx.google.com;
       dkim=pass header.i=@gmail.com header.s=20161025 header.b=KEzutr88;
       spf=pass (google.com: domain of ville.voutilainen@gmail.com designates 209.85.220.65 as permitted sender) smtp.mailfrom=ville.voutilainen@gmail.com;
       dmarc=pass (p=NONE sp=QUARANTINE 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:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe;
        bh=iyhQFEaHLpVuARcV5k7cpJdfnxJhiHlib2zuqMD/GuY=;
        b=C9iX8X/GNLT9QabU/WvmfQG6uVk/Jeep0pOg6H5gum9yGAEMEDLDg/vmpmfb4xZzQm
         21rUtBRlQ1EpBpr8VATbxz614HdT92rDQkqaInKhSstjjJVc+AFJep75GrMhE56h7Fzf
         ZG5I3dX1WX1LivZZQoBKjBmfxcemF0WCF0t7I3mgga1/rRO5eCtyyHZmND9BODIrNsOe
         3tXaT7J7nMv9EoxAPxsfX8dp71U3uz3w+0Jb3Re9VB+BCWHLp8LO/zAmoKVpkJ5oLevd
         LoU+zw2dUvtL7NLnKCTvFAOoDFjHFISi2sx0cVtAvLjvOAVI4MGBkE4n4vw5r1KfsH9S
         v1rA==
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=iyhQFEaHLpVuARcV5k7cpJdfnxJhiHlib2zuqMD/GuY=;
        b=kj+Z07w16kU1z3KGMJR0RgjzjavqCFaHajimYTCvRDzJAEqxbTqqHeY8T94R6EOuWW
         1zW2OziaSHe2sa23QMbnSWm6RmZnLJN0juwBeKpnFTAodnDbFGhdckGOLGkZmmeLe2pr
         2WEEm/ONc9aJuu8QZJSDJTfsTvOCF25ZRrXLXo+KnYKF+sElWIDjqjD8I005DdWjz2NT
         bAva6Mk78WgIpKZVOaj0RwMiB3GCIdkWnC7s06USWpTB6mrVmGGQKNQlGP9M++TZ50WH
         gg0pzIEVKpCV1Rvt3fQz3aoOT3LaOvwjItmtIPGdiTS1QQ1jRvu8ZTkxM+Kb3ESwVTht
         lGOA==
X-Gm-Message-State: ALQs6tCNJiy7priPeOGOdvIvzj0vV68laY6jpThGFOBMiRy18Ndxh/ou
	VQV/3Q1wJKso1VXe3K/DVgnHFQ==
X-Google-Smtp-Source: AIpwx4/qEzruiO4qMHYOr4PyYz2ECk6zlA8KenlHODJlEvIBjJxJc6aQxwbPeSF8wHUbQBl1Kv+GRA==
X-Received: by 10.202.175.213 with SMTP id y204mr2204537oie.9.1522332720797;
        Thu, 29 Mar 2018 07:12:00 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 2002:aca:d18:: with SMTP id 24-v6ls735102oin.8.gmail; Thu, 29 Mar
 2018 07:11:59 -0700 (PDT)
X-Received: by 10.202.241.65 with SMTP id p62mr4746145oih.56.1522332719537;
        Thu, 29 Mar 2018 07:11:59 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1522332719; cv=none;
        d=google.com; s=arc-20160816;
        b=c27PLUE8owms9wJMSL/ISF9bUvetqaim6A1GtGmxVoJezg+M9eIv/xywTeNIjRdWh6
         QO6nN6ob3SxSq+xSQ5kFSoxPPWTL1xZT0LON+DHDrbkgkdYtYB0DOmHWte0GHSxbdrHe
         MRKJK41+Kg/dnesTZdUdDUdUFfJi70CL902slJyZSOVqNUHba+L232aRBhbBRlcTaMre
         Cyn1cOlIKTzzBJRekfSwddH6EPFYY0dbjl1+rz3OCOazj30EZ7AgO5JKhP7ThYGWWA6Y
         mj7nNbXopDyteOLRwYC2h8qJzMSuhxEXmlM1mteUb6zQJfPjbze1TebuNgAFqQG0bPtl
         imoA==
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=Qgp+czuzIRkUzyWmKJH4OUWyqoeLjkvpP9/Lqc0mcJg=;
        b=LHvRqQtXBoFpqzRkZdXJoYD94ffwAQkMDjWy3R9MIGBYiN7LRrAotnzaiO4ppHbmBX
         qQfz0WxSYyaI5DhDxl0C+AlVE8I5WqdUxJiWRtpBzKoN/EyxJmuDW4Rl7dQ8l3XOJjbq
         jxKk2QXQ/iIbD//NAD6931o1bnF4j9NzJCLs26oE/XEV2ljvs9iRn4tTG+D/RxLv77Dd
         kb9RJ+pZgmzmFyP/4mVIcXEWmEf1WIb7AFvzkFlwORd6bd9YvzfWgWs23j01iA4fBBDV
         JwDAIeo4rEYHyQPCWi0HNbYQpnNwsFpI0k0X5XaRYdnIMUuwfGGbz8C5j1fj/TyToxhd
         R2Rg==
ARC-Authentication-Results: i=1; mx.google.com;
       dkim=pass header.i=@gmail.com header.s=20161025 header.b=KEzutr88;
       spf=pass (google.com: domain of ville.voutilainen@gmail.com designates 209.85.220.65 as permitted sender) smtp.mailfrom=ville.voutilainen@gmail.com;
       dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com
Original-Received: from mail-sor-f65.google.com (mail-sor-f65.google.com. [209.85.220.65])
        by mx.google.com with SMTPS id b44-v6sor2406491ote.15.2018.03.29.07.11.59
        for <std-proposals@isocpp.org>
        (Google Transport Security);
        Thu, 29 Mar 2018 07:11:59 -0700 (PDT)
Received-SPF: pass (google.com: domain of ville.voutilainen@gmail.com designates 209.85.220.65 as permitted sender) client-ip=209.85.220.65;
X-Received: by 2002:a9d:38e5:: with SMTP id k34-v6mr4643536ote.99.1522332718990;
 Thu, 29 Mar 2018 07:11:58 -0700 (PDT)
Original-Received: by 2002:a9d:183a:0:0:0:0:0 with HTTP; Thu, 29 Mar 2018 07:11:58
 -0700 (PDT)
In-Reply-To: <fa334b81-aa3e-4542-92cf-42a890677689@isocpp.org>
X-Original-Sender: ville.voutilainen@gmail.com
X-Original-Authentication-Results: mx.google.com;       dkim=pass
 header.i=@gmail.com header.s=20161025 header.b=KEzutr88;       spf=pass
 (google.com: domain of ville.voutilainen@gmail.com designates 209.85.220.65
 as permitted sender) smtp.mailfrom=ville.voutilainen@gmail.com;
       dmarc=pass (p=NONE sp=QUARANTINE 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-Spam-Checked-In-Group: 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:37557
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/37557>

On 29 March 2018 at 16:59, Kevin Fitch <kfitch42@gmail.com> wrote:
>
>
> On Wednesday, March 28, 2018 at 5:31:48 PM UTC-4, Ben Craig wrote:
>>
>> Implementations that are targeted at embedded platforms that are fine with
>> allocations, fine with exceptions or termination semantics, but not fine
>> with floating point.
>
> To clarify, was that statement meant to be a question? Perhaps you meant to
> say: Do there exist ... And, I would say, emphatically, there are
> applications using implementations of the STL targeted at embedded platforms
> where that is true. Most often I see applications that are fine with
> allocations (with a few restrictions), but not fine with exceptions or
> floating point. They key is that implementations targeted at embedded
> platforms need to deal with applications that are (or are not) fine with
> each of those (and many other things) independently. You can (with a little
> effort) use all the features of the STL without using exceptions (e.g. using
> operator[] instead of "at" to access members of a vector). You can use
> allocators to deal with restrictions on allocation on the platform...
>>
>>
>> Note however that libc++ and libstdc++ are both open source.  If you are
>> willing to maintain your own toolchain, you can fork them.  If you modify
>> the internals to not use floating point, and you never call the load factor
>> methods, you won't get the floating point size hit.
>
> Sure, and something like that is probably going to have to be my short term
> solution. I was just hoping to get to a place where I (and other developers)
> might not have to do that in the future. My point was that the current
> standard makes it impossible to create an implementation that can be used
> fully while avoiding floating point. I see this at the same level as having
> both operator[] and "at" so that the the user/application can decide what
> features they want to pay for.


Makes perfect sense to me.

-- 
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/CAFk2RUZP6qS5nA-0Pc2TcDrm%2BfFM-JRiWevyre1srHdCnW08eg%40mail.gmail.com.

.
