История изменений

сдается мне, что плюсовики перемудрили с const … должна быть некорректна

Это нужно. Простой пример - базовый шаблон итератора, который специализируется константным и неконстантным указателем для константного и неконстантного итератора соответсвенно. В общем в реальных кейсах бывает нужно протщить константность вместе с типом.

А игнор константы при наследовании - ну хз, по-моему вообще мелочь, я даже никогда не думал, что мне такое надо, поэтому и игнорится, видимо.

Из stl:

      typedef __gnu_cxx::__normal_iterator<pointer, vector> iterator;
      typedef __gnu_cxx::__normal_iterator<const_pointer, vector>
      const_iterator;

сдается мне, что плюсовики перемудрили с const … должна быть некорректна

Это нужно. Простой пример - базовый шаблон итератора, который специализируется константным и неконстантным указателем для константного и неконстантного итератора соответсвенно. В общем в реальных кейсах бывает нужно протщить константность вместе с типом.

А игнор константы при наследовании - ну хз, по-моему вообще мелочь, я даже никогда не думал, что мне такое надо, поэтому и игнорится, видимо.