Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.std.c++ > #132

Re: noexcept-specification vs returning a prvalue

Followups directed to: comp.std.c++

Show all headers | View raw

Daniel Krügler wrote:

>
>  On 2011-04-23 18:21, Nikolay Ivchenkov wrote:
>>
[snipped, to avoid overquoting].
>>
>>  Here f is declared with non-throwing exception-specification, though
>>  copy constructor of its return type does not have non-throwing
>>  exception-specification. What is the value of expression noexcept(f())?
>
>  I think the FDIS says that noexcept(f()) shall evaluate to "true" in
>  this example. My interpretation is based on the way how I read the
>  meaning of "A function is said to allow" in [except.spec] p. 8
>  (complemented by p. 12) to refer to exceptions that are possibly
>  invoked by the function implementation including its return statement.
>
[...]
>
>  It could be helpful, if [except.spec] p. 8 and/or p. 12 would be
>  clearer in this regard.
>

The unary "noexcept" operator is specified at 5.3.7[expr.unary.noexcept],
not at [except.spec].


-- 
[ comp.std.c++ is moderated.  To submit articles, try posting with your ]
[ newsreader.  If that fails, use mailto:std-cpp-submit@vandevoorde.com ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html                      ]

Back to comp.std.c++ | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

noexcept-specification vs returning a prvalue  Nikolay Ivchenkov <tsoae@mail.ru> - 2011-04-23 10:21 -0600
  Re: noexcept-specification vs returning a prvalue  Daniel Krügler <daniel.kruegler@googlemail.com> - 2011-04-26 11:05 -0600
    Re: noexcept-specification vs returning a prvalue Johannes Schaub<schaub.johannes@googlemail.com> - 2011-04-27 10:51 -0600
  Re: noexcept-specification vs returning a prvalue  Johannes Schaub <schaub.johannes@googlemail.com> - 2011-04-26 11:04 -0600

csiph-web