220 5843 <77e0868c-6aed-4578-acc7-7cf1227465f6@isocpp.org> article
Path: news.gmane.org!not-for-mail
From: Nicol Bolas <jmckesson@gmail.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Remove vector<bool>?
Date: Mon, 26 Aug 2013 16:10:03 -0700 (PDT)
Lines: 86
Approved: news@gmane.org
Message-ID: <77e0868c-6aed-4578-acc7-7cf1227465f6@isocpp.org>
References: <CAGsORuDQdeWAO5yjA6=h0hW9Y0Sj4F1gcHB61udw5JFmtx+g4Q@mail.gmail.com>	<b06daeb3-a585-4c55-aebf-cae643146838@isocpp.org>	<CAGg_6+O_d85CBjT+cTV6vQqepUTXVvUMV_QUioS6ELpQCav6GQ@mail.gmail.com>	<521B07D2.8070000@beamways.com>	<7d0bc129-f8aa-4803-bbd9-bd5ca504d728@isocpp.org>
 <CAGsORuB8omCBfjco6i_zENDn23tx-5wg1jeHuhsGsiVMbGk+Ww@mail.gmail.com>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_33_10759160.1377558603575"
X-Trace: ger.gmane.org 1377558605 20191 80.91.229.3 (26 Aug 2013 23:10:05 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Mon, 26 Aug 2013 23:10:05 +0000 (UTC)
To: std-proposals@isocpp.org
Original-X-From: std-proposals+bncBCEKFTV6ZUMBBTGA56IAKGQENVPO7FA@isocpp.org Tue Aug 27 01:10:09 2013
Return-path: <std-proposals+bncBCEKFTV6ZUMBBTGA56IAKGQENVPO7FA@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-ie0-f198.google.com ([209.85.223.198])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-proposals+bncBCEKFTV6ZUMBBTGA56IAKGQENVPO7FA@isocpp.org>)
	id 1VE5vC-000094-IH
	for gclcip-std-proposals@m.gmane.org; Tue, 27 Aug 2013 01:10:06 +0200
Original-Received: by mail-ie0-f198.google.com with SMTP id 17sf15171721iea.9
        for <gclcip-std-proposals@m.gmane.org>; Mon, 26 Aug 2013 16:10:05 -0700 (PDT)
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
         :x-original-sender:reply-to:precedence:mailing-list:list-id
         :list-post:list-help:list-archive:list-subscribe:list-unsubscribe
         :content-type;
        bh=OwYC7OYWSLtnyLoSCgHHDPFS8K8s29XBzuQwAH8ZJs0=;
        b=oHwEHSjcox39HuSJI6qX1pRlDD2FPtxN87eBH0HhngYbcmUWYIFEJlegcGiA5lgdr2
         zJtu+N1ZQCF96TcAl/vHXtpa1uq3gaIix4/07guLtG1USZRmJPQ3I9AYPmu6mbqjiUBe
         mjb40d7vh0bLc/JPIL+QJI0jmQIdhYJZoHKvcTn2D9SOHmpf7gGC/+HjsYdjWp+q2igX
         RotcDQ3QCsH4rD2U33dpZO4JbxYr3EU6mMxm/XbVFaVDnif5HfxgZw5OX2HmK3MM7q3D
         8gvwC6uWWl13DgVkzyabeko4QFNFasjIuiYOTMEKUoIUnBY7M2423u4XWzWyCYXUOdVV
         NP9w==
X-Received: by 10.182.46.225 with SMTP id y1mr2957198obm.1.1377558605598;
        Mon, 26 Aug 2013 16:10:05 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.182.250.137 with SMTP id zc9ls716178obc.68.gmail; Mon, 26 Aug
 2013 16:10:04 -0700 (PDT)
X-Received: by 10.182.204.8 with SMTP id ku8mr8427obc.7.1377558604798;
        Mon, 26 Aug 2013 16:10:04 -0700 (PDT)
In-Reply-To: <CAGsORuB8omCBfjco6i_zENDn23tx-5wg1jeHuhsGsiVMbGk+Ww@mail.gmail.com>
X-Original-Sender: jmckesson@gmail.com
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: <http://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <http://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <http://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <http://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <http://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:5843
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/5843>

------=_Part_33_10759160.1377558603575
Content-Type: text/plain; charset=ISO-8859-1



On Monday, August 26, 2013 7:21:04 AM UTC-7, Zhihao Yuan wrote:
>
> On Mon, Aug 26, 2013 at 9:22 AM, Nicol Bolas <jmck...@gmail.com<javascript:>> 
> wrote: 
> > They can do a find-replace on "vector<bool>" with 
> > "bit_vector", and their code should immediately work as before. It needs 
> to 
> > be a drop-in replacement so that they can stop using `vector<bool>`. 
>
> What I don't understand is why all of you think a drop-in replacement 
> of `vector<bool>` is possible.  `vector<bool>` is already proven to 
> be wrong.  Its iterator does not even meet the ForwardIterator 
> requirement.  Change the whole iterator categories just to unblock 
> proxy iterator?  Dave already tried -- not accepted.  `vector<bool>` 
> is just a mistake, a drop-in replacement of an mistake is also wrong.
>

But it is possible. The problem with `vector<bool>` is that it's called a *
vector*, and therefore is expected to actually produce iterators that 
follow the iterator concepts and so forth.

`bit_vector` can do whatever it wants, because it's not a real vector. It 
can spit out "pseudo-iterators". It can do whatever. It can have the 
interface it has, and nobody has any explicit expectations that this 
interface matches that of the containers as defined by chapter 23.

-- 

--- 
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 http://groups.google.com/a/isocpp.org/group/std-proposals/.

------=_Part_33_10759160.1377558603575
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><br>On Monday, August 26, 2013 7:21:04 AM UTC-7, Zhiha=
o Yuan wrote:<blockquote class=3D"gmail_quote" style=3D"margin: 0;margin-le=
ft: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">On Mon, Aug 26, 2=
013 at 9:22 AM, Nicol Bolas &lt;<a href=3D"javascript:" target=3D"_blank" g=
df-obfuscated-mailto=3D"PWtlBeY1oNoJ">jmck...@gmail.com</a>&gt; wrote:
<br>&gt; They can do a find-replace on "vector&lt;bool&gt;" with
<br>&gt; "bit_vector", and their code should immediately work as before. It=
 needs to
<br>&gt; be a drop-in replacement so that they can stop using `vector&lt;bo=
ol&gt;`.
<br>
<br>What I don't understand is why all of you think a drop-in replacement
<br>of `vector&lt;bool&gt;` is possible. &nbsp;`vector&lt;bool&gt;` is alre=
ady proven to
<br>be wrong. &nbsp;Its iterator does not even meet the ForwardIterator
<br>requirement. &nbsp;Change the whole iterator categories just to unblock
<br>proxy iterator? &nbsp;Dave already tried -- not accepted. &nbsp;`vector=
&lt;bool&gt;`
<br>is just a mistake, a drop-in replacement of an mistake is also wrong.<b=
r></blockquote><div><br>But it is possible. The problem with `vector&lt;boo=
l&gt;` is that it's called a <i>vector</i>, and therefore is expected to ac=
tually produce iterators that follow the iterator concepts and so forth.<br=
><br>`bit_vector` can do whatever it wants, because it's not a real vector.=
 It can spit out "pseudo-iterators". It can do whatever. It can have the in=
terface it has, and nobody has any explicit expectations that this interfac=
e matches that of the containers as defined by chapter 23.</div></div>

<p></p>

-- <br />
&nbsp;<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 std-proposals+unsubscribe@isocpp.org.<br />
To post to this group, send email to std-proposals@isocpp.org.<br />
Visit this group at <a href=3D"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

------=_Part_33_10759160.1377558603575--

.