It is not clear, if multiple threads are waiting in a
shared_future::get() call, if each will rethrow the stored exception.

Paragraph 9 reads:
    "Throws: the stored exception, if an exception was stored and not
retrieved before."

The "not retrieved before" suggests that only one exception is thrown,
but one exception for each call to get() is needed, and multiple calls
to get() even on the same shared_future object seem to be allowed.

I suggest removing "and not retrieved before" from the Throws paragraph.
I recommend adding a note that explains that multiple calls on get() are
allowed, and each call would result in an exception if an exception was
stored.

--
Thomas J. Gritzan

[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@netlab.cs.rpi.edu]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html                      ]