🚀 go-pugleaf

Michael Cook <mcook@cognex.com> writes:
	...
>What if I use `dynamic_cast' where `static_cast' would be sufficient?  Is the

Yes, I think this holds in general.

>type /still/ required to be polymorphic?  For example, given this:

> struct B {};
> struct D : B {};
> D* d;

>is this expression valid?

> dynamic_cast<B*>(d)

This surely is.  Draft standard 5.2.6 explains the semantic of
dynamic_cast<T>(v), and sub 5 it gives the possibility...:

5. If T is "pointer to cv1 B" and v has type "pointer to cv2 D" such that
   B is a base class of D, the result is a pointer to the unique  B  sub-
   object of the D object pointed to by v. 



Alex
--
DISCLAIMER: these are TOTALLY personal opinions and viewpoints, NOT connected
in any way with my employer, nor any other organization or individual!
Email: martelli@cadlab.it                            Phone: +39 (51) 597313
CAD.LAB s.p.a., v. Ronzani 7/29, Casalecchio, Italia   Fax: +39 (51) 597120

---
[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  The moderation policy
  is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]