Boost logo

Boost :

From: Mark Rodgers (mark.rodgers_at_[hidden])
Date: 2000-09-03 14:00:53

> They are fine the current way around and the behaviour is perfectly well
> defined: You are not modifying a const object.

> It already works for this case. The type check is performed using the
> result of typeid rather than dynamic_cast: dynamic_cast<holder<const
> int> *> would fail but typeid(int) == typeid(const int) is true, so it
> works as it stands -- no deconsting through traits is required.

Not OK. The way typeid strips off cv-qualifiers is the problem. Yes,
this does compile, and works in probably 99% of cases, but the result
is still undefined. As you note, the dynamic_cast would fail, which
indicates that the static_cast is invalid. The remove_const is needed
in the target type of the static_cast (in which case you could dispense
with the typeid check and just use dynamic_cast).


Boost list run by bdawes at, gregod at, cpdaniel at, john at