Subject: Re: [boost] a safe integer library
From: Robert Ramey (ramey_at_[hidden])
Date: 2016-01-13 00:36:23
On 1/12/16 6:57 PM, Brook Milligan wrote:
> On Jan 12, 2016, at 7:30 PM, Robert Ramey <ramey_at_[hidden]> wrote:
>> I don't remember what I was thinking when I wrote that. But it might be that I didn't want users to use the function without checking the return value.
>
> Perhaps that is a more useful statement for the documentation. It is certainly more informative.
>
>>> This solution suggests that wrapping this particular construct in something that is unambiguously safe would be a good idea:
>>>
>>> template < typename R, typename T >
>>> bool is_convertible<R>(T const& t)
>>> { return checked_cast<R>(t).no_exception(); }
Within the design intention of the library of the library one would simply
safe_... x;
int y
try{
y = x; // or x = y;
}
catch(cont std::exception e &){
// cast failed
...
}