Re: [boost] [guidelines] why template errors suck

Subject: Re: [boost] [guidelines] why template errors suck
From: Mathias Gaunard (mathias.gaunard_at_[hidden])
Date: 2010-09-28 13:35:08

On 28/09/10 18:27, David Abrahams wrote:
> At Tue, 28 Sep 2010 11:21:55 -0400 (EDT),
> Jeremiah Willcock wrote:
>>
>>> is_convertible<decltype(f != l), bool>::value
>>> is_convertible<decltype(p(*f)), bool>::value
>>
>> These can be written as "normal" valid expressions:
>>
>> bool(f != l)
>> bool(p(*f))
>
> Isn't bool(x) equivalent to (bool)x?  I think that's valid code for
> any x.

That's valid code for any object x of a built-in type or that is 
implicitly convertible to any built-in type.