🚀 go-pugleaf

C++ Std sez (draft std and all recent WPs) in 5.2.9 (2) `The
reinterpret_cast operator shall not cast away constness.'

Unfortunately, whereas this might be possible to enforce for a single
reinterpret_cast<>, a sequence of two can easily discard
cv-qualifiers:

    char const *const *const *const ccpcpcpc;
    char *** cppp;
    cppp = reinterpret_cast<char ***> (reinterpret_cast<int> (ccpcpcpc))

Nasty.

Does a conforming compiler have any responsibility to detect this hole
(seems doable, but definitely a hassle), or is it just an unfortunate
wart?
---
[ 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. ]