Re: [boost] Re: is_convertible corner case

From: Peter Dimov (pdimov_at_[hidden])
Date: 2003-01-24 09:14:22

From: "John Maddock" <jm_at_[hidden]>
>
> I'm beginning to think that the only way to deal with this is to add array
> types to the list of types banned from the "To" parameter.  Otherwise we
get
> into the old context sensitive answer problem.

I think that no special ban list is necessary. Given the specification
"Returns true if and only if an lvalue of type From is convertible to To
(4p3)" the implication is that is_convertible should return false when To is
an array type, as

typedef int T[2];

T t(e);

is not allowed for any e. A similar argument holds for To being abstract or
function type.