🚀 go-pugleaf

| Peter Hubel <ludvig@daimi.aau.dk> wrote:
|> What I'd like is that '&D::b' is of type 'int D::*' whereas '&B::b' is of
|> type 'int B::*'.

John Max Skaller <maxtal@suphys.physics.su.oz.au> writes:
| I agree completely. But it is not the case. You must write:
|   [...]
|   static_cast<int D::*>(&B::b)
| 
| Even worse, the pointer to member system is functionally incomplete: there's
| no way to add two pointers to members.  Hence it is impossible to navigate a
| membership tree.

I'm intrigued.  Details?  What do you mean, "add"?  "Navigate"?

[ 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. ]