Re: [boost] Looking for thoughts on a new smart pointer: shared_ptr_nonnull

Subject: Re: [boost] Looking for thoughts on a new smart pointer: shared_ptr_nonnull
From: Nevin Liber (nevin_at_[hidden])
Date: 2013-10-10 11:19:12

On 10 October 2013 03:54, Thorsten Ottosen <thorsten.ottosen_at_[hidden]>wrote:

>
> I'm ok with that, although I think it's possible to have the concept of
> broken contracts separate from the concept of how to deal with broken
> contracts. Is that an unreasonable oppinion?
>

If you are defining the behavior, I don't see how it isn't part of the
contract.  A contract is pretty much "if you pass in X, I'll do Y".

Look at the difference between vector::at() (wide contract with no
preconditions) vs. vector::operator[] (narrow contract with the
precondition that n < size()).  It is impossible to violate the contract
when calling at().
-- 
 Nevin ":-)" Liber  <mailto:nevin_at_[hidden]>  [phone]