Re: [boost] A small question about shared_ptr

From: Peter Dimov (pdimov_at_[hidden])
Date: 2002-10-19 10:10:32

From: "Daniel Frey" <d.frey_at_[hidden]>
> Hi,
>
> I have a (maybe dumb) question. The current version of shared_ptr contains
code
> like:
>
> typename detail::shared_ptr_traits<T>::reference operator* () const //
never throws
> {
>     BOOST_ASSERT(px != 0);
>     return *px;
> }
>
> What does "never throws" means

It means that operator* doesn't throw when its requirements ("The stored
pointer must not be 0") are met, otherwise the behavior is undefined.

> ... wrt BOOST_ASSERT?

BOOST_ASSERT(px != 0) must not throw when px != 0.

> Isn't this a contradiction?

No. :-)