220 23273 <118cb905-e643-402f-9cdc-5e12f9281811@isocpp.org> article
Path: news.gmane.org!not-for-mail
From: "T. C." <rs2740@gmail.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Bit utilities: standardizing a
 std::bit_reference, a std::bit_pointer and a std::bit_iterator
Date: Wed, 30 Dec 2015 02:03:15 -0800 (PST)
Lines: 113
Approved: news@gmane.org
Message-ID: <118cb905-e643-402f-9cdc-5e12f9281811@isocpp.org>
References: <12c3acce-5247-42a5-b4a7-0caf4889da25@isocpp.org>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_5676_518207532.1451469795278"
X-Trace: ger.gmane.org 1451469804 19614 80.91.229.3 (30 Dec 2015 10:03:24 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 30 Dec 2015 10:03:24 +0000 (UTC)
To: ISO C++ Standard - Future Proposals <std-proposals@isocpp.org>
Original-X-From: std-proposals+bncBCQ43G7NQIIRBZGXR22AKGQEATI2ECI@isocpp.org Wed Dec 30 11:03:23 2015
Return-path: <std-proposals+bncBCQ43G7NQIIRBZGXR22AKGQEATI2ECI@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-ig0-f200.google.com ([209.85.213.200])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-proposals+bncBCQ43G7NQIIRBZGXR22AKGQEATI2ECI@isocpp.org>)
	id 1aEDbH-0002OX-La
	for gclcip-std-proposals@m.gmane.org; Wed, 30 Dec 2015 11:03:23 +0100
Original-Received: by mail-ig0-f200.google.com with SMTP id mw1sf81423153igb.0
        for <gclcip-std-proposals@m.gmane.org>; Wed, 30 Dec 2015 02:03:22 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=isocpp-org.20150623.gappssmtp.com; s=20150623;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :content-type:x-original-sender:reply-to:precedence:mailing-list
         :list-id:x-spam-checked-in-group:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe;
        bh=yS5Ok71kZ8n7CRYsU6la43lsk6UKcwEKzHG3mIJfutA=;
        b=LN9P3PR5ySv23AueX0dCTl/87vUjFGA0s3hspsWm7ug5M2vZ93IzE8VOa38TAzw8Jr
         LWcT2lY2rbtElm22Ywyvr2Ef4iiX1pN2Rly2pgW2bbwEvxtDNfMdEK7mw2afidFNNNJp
         0uj6AFsgxwLY6TawZ7BkO8V19wjiE1N6qopshQkOgQ8U76/06S85WbYccuYxLvPG5CIp
         5fW3vktA8xE6qqX7D55Cn56N84ndfP9khu6kMxyYGWuyNF5kOZemZc4LmcdhHTtWl+Td
         bNnzKLebJKFVoZOfSLwnlDDXBtyfsRhhDPgvlM3/JgwS7//D9+YiHfZ2sW1fd5pVWKZ3
         8ygg==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :content-type:x-original-sender:reply-to:precedence:mailing-list
         :list-id:x-spam-checked-in-group:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe;
        bh=yS5Ok71kZ8n7CRYsU6la43lsk6UKcwEKzHG3mIJfutA=;
        b=PXmoaaVDNFsYgAV/mfAobdPeDZ9A+vuTPExVhh/oKsWaK/DuCFmR6wwexm2CZy38lE
         F4xDAczSN9sCBlCOoS2ha1kQcG9lbamuAiE96pLMFJbW00OnEShXrM1xKBrE1/845jhj
         wNEhJojXZ9SIXIs6QMWnNy3p8ZnpV3seFmPSmGJoXrwjr8aiqLdny80mdJv1beDNInME
         wkn+cgIwA7rX3hKc/IS+o5nqYOZpuO1aTevnttNmgBNE4tVodzh/kVsoFBZa1YhFjcI3
         ZUAHpc89Z742zgzz6j8Gk25sHoWoifFz/RYGZSc0d19iWmVVrSdWIOUEEafr6YLSDyUo
         vdKw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:date:from:to:message-id:in-reply-to:references
         :subject:mime-version:content-type:x-original-sender:reply-to
         :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post
         :list-help:list-archive:list-subscribe:list-unsubscribe;
        bh=yS5Ok71kZ8n7CRYsU6la43lsk6UKcwEKzHG3mIJfutA=;
        b=kLhueCP4vzjVUGcEvTC9OPmZsRojy7gPhZ0Ouxmw4BoZvqXpIk3gABG+v8t6FuVPtr
         +0Rfn/FoZVXMPsvpj/Jh8n8jEN1awQD9hIf6YQMIPIPzPorSEvDpxNPcAwhfxmriro8M
         UjXA/cvU2ophY29DJ+Zg0twbeaxB2qJzuwy26TiTYtDyAkLwqQerhz3JpnIDG4zYGaq6
         ynDEnJU/Ad+hv1TUZgWXdRinpYU6cX8o3breMgYwkzIVZKsNxMuEoyhZ/eOQzFvEfB3t
         hKyU88ZKF/JDTaDISGEfTZ+pZFjvVNiAf56j9BI1ozN7CMWxqptMkILMtB23wywzLslR
         AUqA==
X-Gm-Message-State: ALoCoQnBnELNPPR7MsgatDKtb5KiZZSJJ/jdLcdEBlhxyizGmmcOPve5tFxLxD4l70gPrcUqAu8MVamOe7APrLzeK8z2jkawJA==
X-Received: by 10.182.24.41 with SMTP id r9mr12527707obf.25.1451469797369;
        Wed, 30 Dec 2015 02:03:17 -0800 (PST)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.107.10.106 with SMTP id u103ls3168710ioi.22.gmail; Wed, 30 Dec
 2015 02:03:16 -0800 (PST)
X-Received: by 10.50.124.70 with SMTP id mg6mr133969igb.4.1451469796132;
        Wed, 30 Dec 2015 02:03:16 -0800 (PST)
In-Reply-To: <12c3acce-5247-42a5-b4a7-0caf4889da25@isocpp.org>
X-Original-Sender: rs2740@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:23273
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/23273>

------=_Part_5676_518207532.1451469795278
Content-Type: multipart/alternative; 
	boundary="----=_Part_5677_179956822.1451469795278"

------=_Part_5677_179956822.1451469795278
Content-Type: text/plain; charset=UTF-8



On Tuesday, December 29, 2015 at 10:07:53 PM UTC-5, Vincent Reverdy wrote:
>
> Hello everyone.
>
> Several weeks ago, I posted a first draft 
> <https://groups.google.com/a/isocpp.org/forum/#!searchin/std-proposals/Standardizing$20a$20bit$20reference$20utility$20class$20template/std-proposals/9epHRTc9904/EPJ9p8YmEQAJ> 
> of a proposal whose goal was to standardize a std::bit_reference. 
> I've taken into account the initial comments, and I entirely redesigned 
> the proposal to include a consistent set of bit tools.
> My goal is to have something complete for the next ISO WG21 mailing.
> All critics and comments are welcome, particularly on the design and 
> technical specification part.
>
> Best,
> Vincent
>


bit_iterator's synopsis seems a little broken:
using difference_type = intmax_t
missing semicolon.
using iterator_category = typename underlying_iterator :: iterator_category 
;
underlying_iterator doesn't exist elsewhere, and this needs to go through 
iterator_traits.

Also, the current definition means that bit_iterator<const unsigned int 
*>::reference is bit_reference<unsigned int>, which doesn't seem correct.

-- 

--- 
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.
Visit this group at https://groups.google.com/a/isocpp.org/group/std-proposals/.

------=_Part_5677_179956822.1451469795278
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<br><br>On Tuesday, December 29, 2015 at 10:07:53 PM UTC-5, Vincent Reverdy=
 wrote:<blockquote class=3D"gmail_quote" style=3D"margin: 0;margin-left: 0.=
8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div dir=3D"ltr">Hello =
everyone.<br><br>Several weeks ago, I posted a <a href=3D"https://groups.go=
ogle.com/a/isocpp.org/forum/#!searchin/std-proposals/Standardizing$20a$20bi=
t$20reference$20utility$20class$20template/std-proposals/9epHRTc9904/EPJ9p8=
YmEQAJ" target=3D"_blank" rel=3D"nofollow" onmousedown=3D"this.href=3D&#39;=
https://groups.google.com/a/isocpp.org/forum/#!searchin/std-proposals/Stand=
ardizing$20a$20bit$20reference$20utility$20class$20template/std-proposals/9=
epHRTc9904/EPJ9p8YmEQAJ&#39;;return true;" onclick=3D"this.href=3D&#39;http=
s://groups.google.com/a/isocpp.org/forum/#!searchin/std-proposals/Standardi=
zing$20a$20bit$20reference$20utility$20class$20template/std-proposals/9epHR=
Tc9904/EPJ9p8YmEQAJ&#39;;return true;">first draft</a> of a proposal whose =
goal was to standardize a std::bit_reference. <br>I&#39;ve taken into accou=
nt the initial comments, and I entirely redesigned the proposal to include =
a consistent set of bit tools.<br>My goal is to have something complete for=
 the next ISO WG21 mailing.<br>All critics and comments are welcome, partic=
ularly on the design and technical specification part.<br><br>Best,<br>Vinc=
ent<br></div></blockquote><div><br></div><div><br></div><div>bit_iterator&#=
39;s synopsis seems a little broken:</div><div class=3D"prettyprint" style=
=3D"border: 1px solid rgb(187, 187, 187); word-wrap: break-word; background=
-color: rgb(250, 250, 250);"><code class=3D"prettyprint"><div class=3D"subp=
rettyprint"><span style=3D"color: #008;" class=3D"styled-by-prettify">using=
</span><span style=3D"color: #000;" class=3D"styled-by-prettify"> differenc=
e_type </span><span style=3D"color: #660;" class=3D"styled-by-prettify">=3D=
</span><span style=3D"color: #000;" class=3D"styled-by-prettify"> intmax_t<=
br></span></div></code></div><div>missing semicolon.</div><div><div class=
=3D"prettyprint" style=3D"border: 1px solid rgb(187, 187, 187); word-wrap: =
break-word; background-color: rgb(250, 250, 250);"><code class=3D"prettypri=
nt"><div class=3D"subprettyprint"><span style=3D"color: #008;" class=3D"sty=
led-by-prettify">using</span><span style=3D"color: #000;" class=3D"styled-b=
y-prettify"> iterator_category </span><span style=3D"color: #660;" class=3D=
"styled-by-prettify">=3D</span><span style=3D"color: #000;" class=3D"styled=
-by-prettify"> </span><span style=3D"color: #008;" class=3D"styled-by-prett=
ify">typename</span><span style=3D"color: #000;" class=3D"styled-by-prettif=
y"> underlying_iterator </span><span style=3D"color: #660;" class=3D"styled=
-by-prettify">::</span><span style=3D"color: #000;" class=3D"styled-by-pret=
tify"> iterator_category </span><span style=3D"color: #660;" class=3D"style=
d-by-prettify">;</span></div></code></div></div><div>underlying_iterator do=
esn&#39;t exist elsewhere, and this needs to go through iterator_traits.</d=
iv><div><br></div><div>Also, the current definition means that=C2=A0bit_ite=
rator&lt;const unsigned int *&gt;::reference is bit_reference&lt;unsigned i=
nt&gt;, which doesn&#39;t seem correct.</div><div><br></div>

<p></p>

-- <br />
<br />
--- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org">std-proposa=
ls+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org">std-proposals@isocpp.org</a>.<br />
Visit this group at <a href=3D"https://groups.google.com/a/isocpp.org/group=
/std-proposals/">https://groups.google.com/a/isocpp.org/group/std-proposals=
/</a>.<br />

------=_Part_5677_179956822.1451469795278--
------=_Part_5676_518207532.1451469795278--

.
