Topic: Add support for move-only types in std::priority_queue


Author: alex.shtf@gmail.com
Date: Thu, 19 Jun 2014 00:46:34 -0700 (PDT)
Raw View
------=_Part_49_15853461.1403163994461
Content-Type: text/plain; charset=UTF-8

Currently there is no clean way use move-only types in std::priority_queue.
The top() function returns a const-reference and the pop() function does
not return anything.
I suggest adding a function, extract_top() that is equivalent to pop()
except that it also returns the element that was at the top.
Like std::vector's pop_back, for consistency, if the priority queue is
empty its behavior is undefined.

--

---
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_49_15853461.1403163994461
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Currently there is no clean way use move-only types in std=
::priority_queue. The top() function returns a const-reference and the pop(=
) function does not return anything.<br>I suggest adding a function, extrac=
t_top() that is equivalent to pop() except that it also returns the element=
 that was at the top.<br>Like std::vector's pop_back, for consistency, if t=
he priority queue is empty its behavior is undefined.<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"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

------=_Part_49_15853461.1403163994461--

.


Author: Nevin Liber <nevin@eviloverlord.com>
Date: Thu, 19 Jun 2014 09:49:10 +0200
Raw View
--089e0141a202274f6004fc2b9f9e
Content-Type: text/plain; charset=UTF-8

On 19 June 2014 09:46, <alex.shtf@gmail.com> wrote:

> Currently there is no clean way use move-only types in
> std::priority_queue. The top() function returns a const-reference and the
> pop() function does not return anything.
> I suggest adding a function, extract_top() that is equivalent to pop()
> except that it also returns the element that was at the top.
>

What should happen if an exception is thrown?
--
 Nevin ":-)" Liber  <mailto:nevin@eviloverlord.com>  (847) 691-1404

--

---
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/.

--089e0141a202274f6004fc2b9f9e
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">On 19 June 2014 09:46,  <span dir=3D"ltr">&lt;<a href=3D"m=
ailto:alex.shtf@gmail.com" target=3D"_blank">alex.shtf@gmail.com</a>&gt;</s=
pan> wrote:<br><div class=3D"gmail_extra"><div class=3D"gmail_quote"><block=
quote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc=
 solid;padding-left:1ex">

<div dir=3D"ltr">Currently there is no clean way use move-only types in std=
::priority_queue. The top() function returns a const-reference and the pop(=
) function does not return anything.<br>I suggest adding a function, extrac=
t_top() that is equivalent to pop() except that it also returns the element=
 that was at the top.<br>

</div></blockquote><div><br></div><div>What should happen if an exception i=
s thrown?</div></div>-- <br>=C2=A0Nevin &quot;:-)&quot; Liber=C2=A0 &lt;mai=
lto:<a href=3D"mailto:nevin@eviloverlord.com" target=3D"_blank">nevin@evilo=
verlord.com</a>&gt;=C2=A0 (847) 691-1404
</div></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"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

--089e0141a202274f6004fc2b9f9e--

.


Author: Alex <alex.shtf@gmail.com>
Date: Thu, 19 Jun 2014 11:36:27 +0300
Raw View
--047d7b2e54b8d46de304fc2c453a
Content-Type: text/plain; charset=UTF-8

You mean that the pop_back() of the adapted container throws? I believe
that the item is lost.
But I believe that priority_queue cannot promise much anyway when
exceptions are thrown. For example, what happens if the comparison function
throws? The heap-order is not preserved and the user cannot rely on the
contents of the priority_queue.


On Thu, Jun 19, 2014 at 10:49 AM, Nevin Liber <nevin@eviloverlord.com>
wrote:

> On 19 June 2014 09:46, <alex.shtf@gmail.com> wrote:
>
>> Currently there is no clean way use move-only types in
>> std::priority_queue. The top() function returns a const-reference and the
>> pop() function does not return anything.
>> I suggest adding a function, extract_top() that is equivalent to pop()
>> except that it also returns the element that was at the top.
>>
>
> What should happen if an exception is thrown?
> --
>  Nevin ":-)" Liber  <mailto:nevin@eviloverlord.com>  (847) 691-1404
>
> --
>
> ---
> You received this message because you are subscribed to a topic in the
> Google Groups "ISO C++ Standard - Future Proposals" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/a/isocpp.org/d/topic/std-proposals/AQ2bJxtT_4g/unsubscribe
> .
> To unsubscribe from this group and all its topics, 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/.
>

--

---
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/.

--047d7b2e54b8d46de304fc2c453a
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:verdana,=
sans-serif">You mean that the pop_back() of the adapted container throws? I=
 believe that the item is lost.<br>But I believe that priority_queue cannot=
 promise much anyway when exceptions are thrown. For example, what happens =
if the comparison function throws? The heap-order is not preserved and the =
user cannot rely on the contents of the priority_queue.<br>
</div></div><div class=3D"gmail_extra"><br><br><div class=3D"gmail_quote">O=
n Thu, Jun 19, 2014 at 10:49 AM, Nevin Liber <span dir=3D"ltr">&lt;<a href=
=3D"mailto:nevin@eviloverlord.com" target=3D"_blank">nevin@eviloverlord.com=
</a>&gt;</span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div dir=3D"ltr"><div class=3D"">On 19 June =
2014 09:46,  <span dir=3D"ltr">&lt;<a href=3D"mailto:alex.shtf@gmail.com" t=
arget=3D"_blank">alex.shtf@gmail.com</a>&gt;</span> wrote:<br>
</div><div class=3D"gmail_extra"><div class=3D"gmail_quote"><div class=3D""=
><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1=
px #ccc solid;padding-left:1ex">

<div dir=3D"ltr">Currently there is no clean way use move-only types in std=
::priority_queue. The top() function returns a const-reference and the pop(=
) function does not return anything.<br>I suggest adding a function, extrac=
t_top() that is equivalent to pop() except that it also returns the element=
 that was at the top.<br>


</div></blockquote><div><br></div></div><div>What should happen if an excep=
tion is thrown?</div></div><span class=3D"HOEnZb"><font color=3D"#888888">-=
- <br>=C2=A0Nevin &quot;:-)&quot; Liber=C2=A0 &lt;mailto:<a href=3D"mailto:=
nevin@eviloverlord.com" target=3D"_blank">nevin@eviloverlord.com</a>&gt;=C2=
=A0 <a href=3D"tel:%28847%29%20691-1404" value=3D"+18476911404" target=3D"_=
blank">(847) 691-1404</a>
</font></span></div></div><div class=3D"HOEnZb"><div class=3D"h5">

<p></p>

-- <br>
<br>
--- <br>
You received this message because you are subscribed to a topic in the Goog=
le Groups &quot;ISO C++ Standard - Future Proposals&quot; group.<br>
To unsubscribe from this topic, visit <a href=3D"https://groups.google.com/=
a/isocpp.org/d/topic/std-proposals/AQ2bJxtT_4g/unsubscribe" target=3D"_blan=
k">https://groups.google.com/a/isocpp.org/d/topic/std-proposals/AQ2bJxtT_4g=
/unsubscribe</a>.<br>

To unsubscribe from this group and all its topics, send an email to <a href=
=3D"mailto:std-proposals+unsubscribe@isocpp.org" target=3D"_blank">std-prop=
osals+unsubscribe@isocpp.org</a>.<br>
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org" target=3D"_blank">std-proposals@isocpp.org</a>.<br>
Visit this group at <a href=3D"http://groups.google.com/a/isocpp.org/group/=
std-proposals/" target=3D"_blank">http://groups.google.com/a/isocpp.org/gro=
up/std-proposals/</a>.<br>
</div></div></blockquote></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"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

--047d7b2e54b8d46de304fc2c453a--

.


Author: David Krauss <potswa@gmail.com>
Date: Thu, 19 Jun 2014 16:53:33 +0800
Raw View
--Apple-Mail=_9E64FE6D-3876-4E14-9D0E-3F0E786A80B2
Content-Type: text/plain; charset=ISO-8859-1

A return-by-value pop() is also a perennial request for std::stack etc. The semantics don't work quite to everyone's satisfaction.

Getting away from that space and focusing on what's special about priority_queue, I think we might propose move_top() which
-- returns an rvalue reference
-- does nothing on exception (well, does nothing in any case, but an item is usually not moved if move construction fails)
-- *and* requires that the user pop() before inserting another item into the queue, or they get UB.

On 2014-06-19, at 4:36 PM, Alex <alex.shtf@gmail.com> wrote:

> You mean that the pop_back() of the adapted container throws? I believe that the item is lost.
> But I believe that priority_queue cannot promise much anyway when exceptions are thrown. For example, what happens if the comparison function throws? The heap-order is not preserved and the user cannot rely on the contents of the priority_queue.
>
>
> On Thu, Jun 19, 2014 at 10:49 AM, Nevin Liber <nevin@eviloverlord.com> wrote:
> On 19 June 2014 09:46, <alex.shtf@gmail.com> wrote:
> Currently there is no clean way use move-only types in std::priority_queue. The top() function returns a const-reference and the pop() function does not return anything.
> I suggest adding a function, extract_top() that is equivalent to pop() except that it also returns the element that was at the top.
>
> What should happen if an exception is thrown?
> --
>  Nevin ":-)" Liber  <mailto:nevin@eviloverlord.com>  (847) 691-1404

--

---
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/.

--Apple-Mail=_9E64FE6D-3876-4E14-9D0E-3F0E786A80B2
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset=ISO-8859-1

<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html charset=
=3Dwindows-1252"><meta http-equiv=3D"Content-Type" content=3D"text/html cha=
rset=3Dwindows-1252"></head><body style=3D"word-wrap: break-word; -webkit-n=
bsp-mode: space; -webkit-line-break: after-white-space;">A return-by-value =
pop() is also a perennial request for std::stack etc. The semantics don&rsq=
uo;t work quite to everyone's satisfaction.<div><br></div><div>Getting away=
 from that space and focusing on what&rsquo;s special about priority_queue,=
 I think we might propose move_top() which</div><div>&mdash; returns an rva=
lue reference</div><div>&mdash; does nothing on exception (well, does nothi=
ng in any case, but an item is usually not moved if move construction fails=
)</div><div>&mdash; *<i>and</i>* requires that the user pop() before insert=
ing another item into the queue, or they get UB.<br><div><br></div><div><di=
v><div>On 2014&ndash;06&ndash;19, at 4:36 PM, Alex &lt;<a href=3D"mailto:al=
ex.shtf@gmail.com">alex.shtf@gmail.com</a>&gt; wrote:</div><br class=3D"App=
le-interchange-newline"><blockquote type=3D"cite"><div dir=3D"ltr"><div cla=
ss=3D"gmail_default" style=3D"font-family:verdana,sans-serif">You mean that=
 the pop_back() of the adapted container throws? I believe that the item is=
 lost.<br>But I believe that priority_queue cannot promise much anyway when=
 exceptions are thrown. For example, what happens if the comparison functio=
n throws? The heap-order is not preserved and the user cannot rely on the c=
ontents of the priority_queue.<br>
</div></div><div class=3D"gmail_extra"><br><br><div class=3D"gmail_quote">O=
n Thu, Jun 19, 2014 at 10:49 AM, Nevin Liber <span dir=3D"ltr">&lt;<a href=
=3D"mailto:nevin@eviloverlord.com" target=3D"_blank">nevin@eviloverlord.com=
</a>&gt;</span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin: 0px 0px 0px 0.8ex; borde=
r-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style=
: solid; padding-left: 1ex; position: static; z-index: auto;"><div dir=3D"l=
tr"><div class=3D"">On 19 June 2014 09:46,  <span dir=3D"ltr">&lt;<a href=
=3D"mailto:alex.shtf@gmail.com" target=3D"_blank">alex.shtf@gmail.com</a>&g=
t;</span> wrote:<br>
</div><div class=3D"gmail_extra"><div class=3D"gmail_quote"><div class=3D""=
><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1=
px #ccc solid;padding-left:1ex">

<div dir=3D"ltr">Currently there is no clean way use move-only types in std=
::priority_queue. The top() function returns a const-reference and the pop(=
) function does not return anything.<br>I suggest adding a function, extrac=
t_top() that is equivalent to pop() except that it also returns the element=
 that was at the top.<br>


</div></blockquote><div><br></div></div><div>What should happen if an excep=
tion is thrown?</div></div><span class=3D"HOEnZb"><font color=3D"#888888">-=
- <br>&nbsp;Nevin ":-)" Liber&nbsp; &lt;mailto:<a href=3D"mailto:nevin@evil=
overlord.com" target=3D"_blank">nevin@eviloverlord.com</a>&gt;&nbsp; <a hre=
f=3D"tel:%28847%29%20691-1404" value=3D"+18476911404" target=3D"_blank">(84=
7) 691-1404</a>
</font></span></div></div></blockquote></div></div></blockquote></div><br><=
/div></div></body></html>

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

--Apple-Mail=_9E64FE6D-3876-4E14-9D0E-3F0E786A80B2--

.


Author: alex.shtf@gmail.com
Date: Mon, 30 Jun 2014 04:42:26 -0700 (PDT)
Raw View
------=_Part_2519_32333577.1404128547307
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

This sounds like something that can solve the problem and make priority=20
queue be usable with move-only types.


On Thursday, June 19, 2014 11:53:39 AM UTC+3, David Krauss wrote:
>
> A return-by-value pop() is also a perennial request for std::stack etc.=
=20
> The semantics don=E2=80=99t work quite to everyone's satisfaction.
>
> Getting away from that space and focusing on what=E2=80=99s special about=
=20
> priority_queue, I think we might propose move_top() which
> =E2=80=94 returns an rvalue reference
> =E2=80=94 does nothing on exception (well, does nothing in any case, but =
an item=20
> is usually not moved if move construction fails)
> =E2=80=94 **and** requires that the user pop() before inserting another i=
tem into=20
> the queue, or they get UB.
>
> On 2014=E2=80=9306=E2=80=9319, at 4:36 PM, Alex <alex...@gmail.com <javas=
cript:>> wrote:
>
> You mean that the pop_back() of the adapted container throws? I believe=
=20
> that the item is lost.
> But I believe that priority_queue cannot promise much anyway when=20
> exceptions are thrown. For example, what happens if the comparison functi=
on=20
> throws? The heap-order is not preserved and the user cannot rely on the=
=20
> contents of the priority_queue.
>
>
> On Thu, Jun 19, 2014 at 10:49 AM, Nevin Liber <ne...@eviloverlord.com=20
> <javascript:>> wrote:
>
>> On 19 June 2014 09:46, <alex...@gmail.com <javascript:>> wrote:
>>
>>> Currently there is no clean way use move-only types in=20
>>> std::priority_queue. The top() function returns a const-reference and t=
he=20
>>> pop() function does not return anything.
>>> I suggest adding a function, extract_top() that is equivalent to pop()=
=20
>>> except that it also returns the element that was at the top.
>>>
>>
>> What should happen if an exception is thrown?
>> --=20
>>  Nevin ":-)" Liber  <mailto:ne...@eviloverlord.com <javascript:>>  (847)=
=20
>> 691-1404=20
>>
>
>

--=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/.

------=_Part_2519_32333577.1404128547307
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">This sounds like something that can solve the problem and =
make priority queue be usable with move-only types.<br><br><br>On Thursday,=
 June 19, 2014 11:53:39 AM UTC+3, David Krauss wrote:<blockquote class=3D"g=
mail_quote" style=3D"margin: 0;margin-left: 0.8ex;border-left: 1px #ccc sol=
id;padding-left: 1ex;"><div style=3D"word-wrap:break-word">A return-by-valu=
e pop() is also a perennial request for std::stack etc. The semantics don=
=E2=80=99t work quite to everyone's satisfaction.<div><br></div><div>Gettin=
g away from that space and focusing on what=E2=80=99s special about priorit=
y_queue, I think we might propose move_top() which</div><div>=E2=80=94 retu=
rns an rvalue reference</div><div>=E2=80=94 does nothing on exception (well=
, does nothing in any case, but an item is usually not moved if move constr=
uction fails)</div><div>=E2=80=94 *<i>and</i>* requires that the user pop()=
 before inserting another item into the queue, or they get UB.<br><div><br>=
</div><div><div><div>On 2014=E2=80=9306=E2=80=9319, at 4:36 PM, Alex &lt;<a=
 href=3D"javascript:" target=3D"_blank" gdf-obfuscated-mailto=3D"MmD3Wxc8hZ=
kJ" onmousedown=3D"this.href=3D'javascript:';return true;" onclick=3D"this.=
href=3D'javascript:';return true;">alex...@gmail.com</a>&gt; wrote:</div><b=
r><blockquote type=3D"cite"><div dir=3D"ltr"><div style=3D"font-family:verd=
ana,sans-serif">You mean that the pop_back() of the adapted container throw=
s? I believe that the item is lost.<br>But I believe that priority_queue ca=
nnot promise much anyway when exceptions are thrown. For example, what happ=
ens if the comparison function throws? The heap-order is not preserved and =
the user cannot rely on the contents of the priority_queue.<br>
</div></div><div><br><br><div class=3D"gmail_quote">On Thu, Jun 19, 2014 at=
 10:49 AM, Nevin Liber <span dir=3D"ltr">&lt;<a href=3D"javascript:" target=
=3D"_blank" gdf-obfuscated-mailto=3D"MmD3Wxc8hZkJ" onmousedown=3D"this.href=
=3D'javascript:';return true;" onclick=3D"this.href=3D'javascript:';return =
true;">ne...@eviloverlord.com</a>&gt;</span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;p=
adding-left:1ex"><div dir=3D"ltr"><div>On 19 June 2014 09:46,  <span dir=3D=
"ltr">&lt;<a href=3D"javascript:" target=3D"_blank" gdf-obfuscated-mailto=
=3D"MmD3Wxc8hZkJ" onmousedown=3D"this.href=3D'javascript:';return true;" on=
click=3D"this.href=3D'javascript:';return true;">alex...@gmail.com</a>&gt;<=
/span> wrote:<br>
</div><div><div class=3D"gmail_quote"><div><blockquote class=3D"gmail_quote=
" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div dir=3D"ltr">Currently there is no clean way use move-only types in std=
::priority_queue. The top() function returns a const-reference and the pop(=
) function does not return anything.<br>I suggest adding a function, extrac=
t_top() that is equivalent to pop() except that it also returns the element=
 that was at the top.<br>


</div></blockquote><div><br></div></div><div>What should happen if an excep=
tion is thrown?</div></div><span><font color=3D"#888888">-- <br>&nbsp;Nevin=
 ":-)" Liber&nbsp; &lt;mailto:<a href=3D"javascript:" target=3D"_blank" gdf=
-obfuscated-mailto=3D"MmD3Wxc8hZkJ" onmousedown=3D"this.href=3D'javascript:=
';return true;" onclick=3D"this.href=3D'javascript:';return true;">ne...@ev=
iloverlord.com</a><wbr>&gt;&nbsp; <a value=3D"+18476911404">(847) 691-1404<=
/a>
</font></span></div></div></blockquote></div></div></blockquote></div><br><=
/div></div></div></blockquote></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"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

------=_Part_2519_32333577.1404128547307--

.