Re: [boost] [outcome] comments on Regular ops

Subject: Re: [boost] [outcome] comments on Regular ops
From: Niall Douglas (s_sourceforge_at_[hidden])
Date: 2018-01-22 18:57:57

> No, no. This happens not inside STL, but inside `result`:
> https://github.com/ned14/boost-outcome/blob/master/include/boost/outcome/detail/value_storage.hpp#L257
> Inside the implementation of function `value_storage_nontrivial::swap` you
> are using move construction in certain cases. And this move constructor of
> `T` can potentially throw and may be declared `noexcept(false)`, but you
> will not see it if you are only querying for noexcept swap on `T`.

Oh I see what you mean now. The over tight noexcept spec is a clear bug.
Logged to https://github.com/ned14/outcome/issues/109

Thanks for the report.

Niall

-- 
ned Productions Limited Consulting
http://www.nedproductions.biz/ http://ie.linkedin.com/in/nialldouglas/